Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula

First Page		Document Content
Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management		Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Download Document from Source Website File Size: 361,53 KB Share Document on Facebook

	ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY DocID: 1xUpu - View Document
	Architectural Semantics for Practical Transactional Memory DocID: 1xTkJ - View Document
	A Case for Using Value Prediction to Improve Performance of Transactional Memory Salil Pant Gregory Byrd DocID: 1uvpi - View Document
	2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies Exploring the Emerging Applications for Transactional Memory Jiaqi Zhang DocID: 1tTyd - View Document
	Memory Management for Concurrent Data Structures on Hardware Transactional Memory Peter Pirkelbauer Amalee Wilson DocID: 1tMZh - View Document