First Page | Document Content | |
---|---|---|
Date: 2013-05-12 14:18:02Computing 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 NeculaAdd to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source WebsiteFile Size: 361,53 KBShare Document on Facebook |
ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITYDocID: 1xUpu - View Document | |
Architectural Semantics for Practical Transactional MemoryDocID: 1xTkJ - View Document | |
A Case for Using Value Prediction to Improve Performance of Transactional Memory Salil Pant Gregory ByrdDocID: 1uvpi - View Document | |
2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies Exploring the Emerging Applications for Transactional Memory Jiaqi ZhangDocID: 1tTyd - View Document | |
Memory Management for Concurrent Data Structures on Hardware Transactional Memory Peter Pirkelbauer Amalee WilsonDocID: 1tMZh - View Document |