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
	Atomic Instructions in Java David Hovemeyer, William Pugh, and Jaime Spacco Dept. of Computer Science, University of Maryland, College Park, MDUSA {daveho,pugh,jspacco}@cs.umd.edu Abstract. Atomic instructions at DocID: 11Qps - View Document
	Fourth Workshop on Scalable Shared Memory Multiprocessors, Chicago, IL, April 1994 Scalable Atomic Primitives for Distributed Shared Memory Multiprocessors (Extended Abstract) DocID: O3rA - View Document
	Using LLSC to Simplify WSTM-1.ppt DocID: NvSq - View Document
	A Qualitative Survey of Modern Software Transactional Memory Systems∗ Virendra J. Marathe and Michael L. Scott TR 839 Department of Computer Science University of Rochester DocID: NcqS - View Document