Detecting and Avoiding Atomicity Violations Luis Ceze, University of Washington sa pa

First Page		Document Content
Date: 2010-01-12 02:04:58 Data Information Computing Linearizability Atomicity Lock Isolation Transaction processing Concurrency control Data management		Detecting and Avoiding Atomicity Violations Luis Ceze, University of Washington sa pa Add to Reading List Source URL: www.nii.ac.jp Download Document from Source Website File Size: 500,36 KB Share Document on Facebook

	Outline Motivation Analysis Of Accessed Objects Conclusion Implementing Atomicity with Locks DocID: 1vflQ - View Document
	Fundamentals Atomicity Keep Off the Grass Locking the Right Path for Atomicity DocID: 1ug7J - View Document
	Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang DocID: 1tPwi - View Document
	Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles DocID: 1tBzB - View Document
	Keep O The Grass: Locking the Right Path for Atomicity Dave Cunningham, Khilan Gudka, and Susan Eisenbach Imperial College London {dc04,kg103,sue}@doc.ic.ac.uk DocID: 1t6tT - View Document