Safe open-nested transactions through ownership

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2009, Pages 151-162

  Agrawal, Kunal ^a   Lee, I Ting Angelina ^a   Sukha, Jim ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Abstract serializabilit; Open nested transactions; Ownership types; Ownership aware transactions; Safe nesting; Semantic deadlock; Serializability by modules; Transactional memory; Transactional memory semantics; XModules

Indexed keywords

ABSTRACT SERIALIZABILIT; OPEN-NESTED TRANSACTIONS; OWNERSHIP TYPES; OWNERSHIP-AWARE TRANSACTIONS; SAFE NESTING; SERIALIZABILITY BY MODULES; TRANSACTIONAL MEMORY; TRANSACTIONAL MEMORY SEMANTICS; XMODULES;

ABSTRACTING; CLIENT SERVER COMPUTER SYSTEMS; DATABASE SYSTEMS; JAVA PROGRAMMING LANGUAGE; PARALLEL PROGRAMMING; SEMANTICS; STORAGE ALLOCATION (COMPUTER);

CONCURRENCY CONTROL;

EID: 67650088254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1504176.1504200     Document Type: Conference Paper

References (13)

1. K. Agrawal, I.-T. A. Lee, and J. Sukha. Safe open-nested transactions through ownership (Technical report). Technical report, Laboratory of Computer Science and Artificial Intelligence, Massachusetts Institute of Technology, June 2008. Available at: http://supertech.csail.mit.edu/papers/safe-tech.pdf.
2. K. Agrawal, C. E. Leiserson, and J. Sukha. Memory models for opennested transactions. In Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC), October 2006. In conjunction ASPLOS.
3. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL), New Orleans, Louisiana, Jan. 2003.
4. B. D. Carlstrom, A. McDonald, M. Carbin, C. Kozyrakis, and K. Olukotun. Transactional collection classes. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming (PPoPP), pages 56-67, New York, NY, USA, 2007. ACM Press. (Pubitemid 47479081)
5. M. Herlihy and E. Koskinen. Transactional boosting: a methodology for highly-concurrent transactional objects. In Proceedings of ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming (PPoPP), pages 207-216, New York, NY, USA, Feb 2008. ACM.
6. M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In Proceedings of the International Symposium on Computer Architecture (ISCA), pages 289-300, 2003.
7. A. McDonald, J. Chung, B. D. Carlstrom, C. Cao Minh, H. Chafi, C. Kozyrakis, and K. Olukotun. Architectural semantics for practical transactional memory. In Proceedings of the International Symposium on Computer Architecture (ISCA), June 2006. (Pubitemid 46016604)
8. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA, USA, 1985.
9. J. E. B. Moss. Open nested transactions : Semantics and support. In Proceedings of the Workshop on Memory Performance Issues (WMPI), Austin, Texas, Feb 2006.
10. J. E. B. Moss and A. L. Hosking. Nested transactional memory: Model and architecture sketches. In Science of Computer Programming, volume 63, pages 186-201. Elsevier, Dec 2006. (Pubitemid 44486443)
11. Y. Ni, V. Menon, A. Adl-Tabatabai, A. L. Hosking, R. L. Hudson, J. E. B. Moss, B. Saha, and T. Shpeisman. Open nesting in software transactional memory. In Proceedings of ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming (PPoPP), Mar. 2007. (Pubitemid 47479082)
12. C. H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, 1979. (Pubitemid 10424639)
13. G. Weikum. A theoretical foundation of multi-level concurrency control. In Proceedings of the ACM SIGACT-SIGMOD symposium on Principles of database systems (PODS), pages 31-43, New York, NY, USA, 1986. ACM Press.