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

	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . DocID: 1pDQ8 - View Document
	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, DocID: 1p8Ow - View Document
	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar DocID: 1lWgQ - 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