Type-stable memory management (TSM)
Type-stable memory management (TSM)
- Descriptor that is allocated as type Tis guaranteed to remain of type Tfor at least tstable
- I.e. cannot switch quickly from T1 to T2 by reallocation.
- Generalization of existing technique: e.g. process-descriptors are statically allocated at system init, and are type-stable for lifetime of system
T * ptr remains a pointer to an instance of T even if ptr is changed asynchronous by another process