Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , .

First Page		Document Content
Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety		Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Download Document from Source Website File Size: 253,86 KB Share Document on Facebook

	Understanding and Effectively Preventing the ABA Problem in Descriptor-based Lock-free Designs Damian Dechev Sandia National Laboratories Scalable Computing R & D Department Livermore, CA DocID: 1tZg6 - View Document
	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . DocID: 1pDQ8 - View Document
	Understanding and Effectively Preventing the ABA Problem in Descriptor-based Lock-free Designs Damian Dechev Sandia National Laboratories Scalable Computing R & D Department Livermore, CA DocID: 1mqeH - View Document
	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice DocID: 1lTBN - View Document
	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice DocID: 19fnl - View Document