A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness
暂无分享,去创建一个
[1] Michael F. Spear,et al. Conflict Detection and Validation Strategies for Software Transactional Memory , 2006, DISC.
[2] William N. Scherer,et al. Advanced contention management for dynamic software transactional memory , 2005, PODC '05.
[3] Torvald Riegel,et al. A Lazy Snapshot Algorithm with Eager Validation , 2006, DISC.
[4] Nir Shavit,et al. Transactional Locking II , 2006, DISC.
[5] Torvald Riegel,et al. Time-based transactional memory with scalable time bases , 2007, SPAA '07.
[6] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.
[7] Rachid Guerraoui,et al. Partial snapshot objects , 2008, SPAA '08.
[8] Prasad Jayanti,et al. Efficient and practical constructions of LL/SC variables , 2003, PODC '03.
[9] Michael Mitzenmacher,et al. Compressed bloom filters , 2002, TNET.
[10] Rachid Guerraoui,et al. Toward a theory of transactional contention managers , 2005, PODC '05.
[11] Nir Shavit,et al. Maintaining Consistent Transactional States without a Global Clock , 2008, SIROCCO.
[12] Hagit Attiya,et al. Atomic Snapshots in O(n log n) Operations , 1998, SIAM J. Comput..
[13] Michel Raynal,et al. A Lock-based Protocol for Software Transactional Memory , 2008 .
[14] Burton H. Bloom,et al. Space/time trade-offs in hash coding with allowable errors , 1970, CACM.
[15] Michael L. Scott. Sequential Specification of Transactional Memory Semantics , 2006 .
[16] Mark Moir. Practical implementations of non-blocking synchronization primitives , 1997, PODC '97.
[17] David Hutchison,et al. Scalable Bloom Filters , 2007, Inf. Process. Lett..
[18] Nir Shavit,et al. Software transactional memory , 1995, PODC '95.
[19] Rachid Guerraoui,et al. On the correctness of transactional memory , 2008, PPoPP.
[20] Christos H. Papadimitriou,et al. The serializability of concurrent database updates , 1979, JACM.
[21] João P. Cachopo,et al. Versioned boxes as the basis for memory transactions , 2006, Sci. Comput. Program..
[22] Rachid Guerraoui,et al. Transactions are back---but are they the same? , 2008, SIGA.
[23] Hagit Attiya. Needed: foundations for transactional memory , 2008, SIGA.