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

	The Serializability of Concurrent Database Updates CHRISTOS H. P A P A D I M I T R I O U Massachusetts Institute of Technology, Cambridge, Massachusetts ABSTRACT A sequence of interleaved user transactions in a database DocID: 1t2Nx - View Document
	Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores Xiangyao Yu George Bezerra DocID: 1rrra - View Document
	BCC: Reducing False Aborts in Optimistic Concurrency Control with Low Cost for In-Memory Databases Yuan Yuan1 , Kaibo Wang1 , Rubao Lee1 , Xiaoning Ding2 , Jing Xing3 , Spyros Blanas1 , Xiaodong Zhang1 1 The DocID: 1r7eW - View Document
	Safely Accessing Time Stamps in Transactions Stephan Diestelhorst Advanced Micro Devices, Inc. Martin Pohlack DocID: 1r1Cv - View Document
	Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie Department of Electrical and Computer Engineering DocID: 1r0uA - View Document