Type Stable Memory Management

Type Stable Memory Management

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.

----References: The Synergy Between Non-blocking Synchronization and Operating System StructureUSENIX 2nd Symposium on OS Design and Implementation (OSDI '96) Michael Greenwald and David CheritonComputer Science DepartmentStanford University [http://www.usenix.org/publications/library/proceedings/osdi96/full_papers/greenwald/index.html]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Management of schizophrenia — depends largely on medications and on psychosocial interventions. No single approach is widely considered effective for all patients, though in the United States and most Western countries, psychiatric medication is often the primary method of… …   Wikipedia

  • Memory improvement — The hippocampus regulates memory function. Memory improvement is the act of improving one s memory. Medical research of memory deficits and age related memory loss has resulted in new explanations and treatment techniques to improve memory,… …   Wikipedia

  • Comparison of relational database management systems — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations …   Wikipedia

  • Shape memory alloy — A shape memory alloy (SMA, also known as a smart alloy, memory metal, or muscle wire) is an alloy that remembers its shape, and can be returned to that shape after being deformed, by applying heat to the alloy. When the shape memory effect is… …   Wikipedia

  • Terror management theory — (TMT) is a developing area of study within the academic study of psychology. It looks at what researchers claim to be the implicit emotional reactions of people when confronted with the psychological terror of knowing we will eventually die (it… …   Wikipedia

  • Shape-memory alloy — A shape memory alloy (SMA, smart metal, memory metal, memory alloy, muscle wire, smart alloy) is an alloy that remembers its original, cold forged shape: returning the pre deformed shape by heating. This material is a lightweight, solid state… …   Wikipedia

  • Customer relationship management — (CRM) is a widely implemented strategy for managing a company’s interactions with customers, clients and sales prospects. It involves using technology to organize, automate, and synchronize business processes principally sales activities, but… …   Wikipedia

  • Comparison of object database management systems — Features Information about what fundamental ODBMS features are implemented natively. Name Current Stable Version Language(s) SQL support Datatypes License Description Caché 2010.1.4 ObjectScript (dynamic language), Basic. Java/.NET object mapping …   Wikipedia

  • Perl — This article is about the programming language. For other uses, see Perl (disambiguation). Perl Paradig …   Wikipedia

  • Microsoft SQL Server — Developer(s) Microsoft Stable release SQL Server 2008 R2 (10.50.2500.0 Service Pack 1) / July 11, 2011; 4 months ago …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”