Architectural Semantics for Practical Transactional Memory

First Page		Document Content
Date: 2016-01-26 12:43:51 Transaction processing Computing Data management Data Concurrency control Nested transaction Database transaction Software transactional memory Atomicity Transactional memory Isolation Linearizability		Architectural Semantics for Practical Transactional Memory Add to Reading List Source URL: www.austenmcdonald.com Download Document from Source Website File Size: 172,16 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