Memory models for open-nested transactions

Proceedings of the 2006 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2006

Volumn , Issue , 2006, Pages 70-81

  Agrawal, Kunal ^a   Leiserson, Charles E ^a   Sukha, Jim ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING; MATHEMATICAL MODELS; OPEN SYSTEMS; SEMANTICS;

ATOMIC TRANSACTIONS; OPEN-NESTED TRANSACTIONS; RACE FREEDOM; SERIALIZABILITY;

DATA STORAGE EQUIPMENT;

EID: 34547513300     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1178597.1178610     Document Type: Conference Paper

References (27)

1. C. Beeri, P. A. Bernstein, and N. Goodman. A model for concurrency in nested transactions systems. Journal of the ACM, 36(2):230-269, 1989.
2. C. Blundell, E. C. Lewis, and M. M. K. Martin. Deconstructing transactions: The subtleties of atomicity. In Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking, Jun 2005.
3. T H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press and McGraw-Hill, second edition, 2001.
4. C. Davies. Recovery semantics for a DB/DC system. In ACM National Conference, pages 136-141, 1973.
5. M. Feng and C. E. Leiserson. Efficient detection of determinacy races in Cilk programs. In SPAA, pages 1-11, Newport, Rhode Island, June 1997.
6. M. Frigo. The weakest reasonable memory model. Master's thesis, Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science, Jan. 1998.
7. M. Frigo and V. Luchangco. Computation-centric memory models. In Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '98), pages 240-249, 1998.
8. J. Gray. The transaction concept: Virtues and limitations. In Proceedings of the 7th International Conference on Very Large Databases, pages 144-154, Sept. 1981.
9. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
10. T Harris. Exceptions and side-effects in atomic blocks. In In PODC Workshop on Concurrency and Synchronization in Java Programs, 2004.
11. M. Herlihy, V. Luchangco, M. Moir, and W. N. Scherer, III. Software transactional memory for dynamic-sized data structures. In Principles of Distributed Computing, pages 92-101, New York, NY, USA, 2003. ACM Press.
12. M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In International Symposium on Computer Architecture, 1993.
13. D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, and M. Wolfe. Dependence graphs and compiler optimizations. In POPL'81: Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 207-218, New York, NY, USA, 1981. ACM Press.
14. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690-691, Sept. 1979.
15. B. Liblet. An operational semantics for LogTM. Technical report, Department of Computer Sciences, University of Wisconsin-Madison, August 2006.
16. A. McDonald, J. Chung, B. D. Carlstrom, C. Cao Minh, H. Chafi, C. Kozyrakis, and K. Olukotun. Architectural semantics for practical transactional memory. In International Symposium on Computer Architecture, June 2006.
17. J. E. B. Moss. Nested transactions and reliable distributed computing. In SRDS, pages 33-39, Pittsburgh, PA, July 1982.
18. J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA, USA, 1985.
19. J. E. B. Moss. Open nested transactions:semantics and support. In Workshop on Memory Performance Issues, Austin, Texas, Feb 2006.
20. J. E. B. Moss, N. D. Griffeth, and M. H. Graham. Abstraction in recovery management. In SIGMOD, pages 72-83, 1986.
21. J. E. B. Moss and A. L. Hosking. Nested transactional memory: Model and preliminary architecture sketches. In Synchronization and Concurrency in Object-Oriented Languages (SCOOL) Conference Proceedings, San Diego, California, Oct. 2005.
22. C. H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, 1979.
23. D. P. Reed. Naming and Synchronization in a Decentralized Computer System. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1978.
24. M. L. Scott. Sequential specification of transactional memory semantics. In TRANSACT: First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006.
25. I. Traiger. Trends in systems aspects of database management. In International Conference on Databases, pages 1-21. Wiley Heyden Ltd, 1983.
26. G. Weikum and H.-J. Schek. Concepts and applications of multilevel transactions and open nested transactions. In Database Transaction Models for Advanced Applications, pages 515-553. Morgan Kaufmann, San Francisco, CA, USA, 1992.
27. C. Zilles and L. Baugh. Extending hardware transactional memory to support, non-busy waiting and non-transactional actions. In TRANSACT: First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006.