High Quality Content by WIKIPEDIA articles! Type-Stable Memory Management refers to the concept of maintaining type between memory allocation and deallocation. This idea is extremely useful in constructing non-blocking synchronization algorithms. The below image describes an algorithm detailing the use of type-stable memory (TSM) allocation for the implementation of a non-blocking link-list modification. Without the use of type-stable memory, the pointer p may incorrectly point to something of a different type. In languages like C or C++, an invalid pointer may cause all sorts of undefined behavior. The use of TSM has greatly simplified the construction of such an algorithm.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.