Nested transactional memory: Model and architecture sketches

Science of Computer Programming

Volumn 63, Issue 2, 2006, Pages 186-201

  Moss, J Eliot B ^a   Hosking, Antony L ^b  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

^b Purdue University   (United States)

Author keywords

Closed nesting; Nested transactions; Open nesting; Transactional memory

Indexed keywords

BUFFER STORAGE; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; PROGRAM PROCESSORS;

CLOSED NESTING; NESTED TRANSACTIONS; OPEN NESTING; TRANSACTIONAL MEMORY;

DATA STORAGE EQUIPMENT;

EID: 33749236639     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.05.010     Document Type: Article

References (22)

1. Ananian C.S., Asanovic K., Kuszmaul B.C., Leiserson C.E., and Lie S. Unbounded transactional memory. Proceedings of the International Symposium on High Performance Computer Architecture (2005), IEEE Computer Society 316-327
2. Beeri C., Bernstein P.A., and Goodman N. A model for concurrency in nested transactions systems. J. ACM 36 2 (1989) 230-269
3. Chrysanthis P., and Ramamritham K. Synthesis of extended transaction models using ACTA. ACM T. Database Syst. 19 3 (1994) 450-491
4. Gray J., and Reuter A. Transaction Processing: Concepts and Techniques (1993), Morgan Kaufmann
5. L. Hammond, B.D. Carlstrom, V. Wong, B. Hertzberg, M. Chen, C. Kozyrakis, K. Olukotun, Programming with transactional coherence and consistency (TCC), in: Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, vol. 39, November 2004, pp. 1-13
6. L. Hammond, V. Wong, M. Chen, B.D. Carlstrom, J.D. Davis, B. Hertzberg, M.K. Prabhu, H. Wijaya, C. Kozyrakis, K. Olukotun, Transactional memory coherence and consistency, in: Proceedings of the International Symposium on Computer Architecture, vol. 32, December 2004, pp. 102-113
7. T. Harris, K. Fraser, Language support for lightweight transactions, in: Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, vol. 38, November 2003, pp. 388-402
8. M. Herlihy, J.E.B. Moss, Transactional memory: Architectural support for lock-free data structures, in: Proceedings of the International Symposium on Computer Architecture, 1993, pp. 289-300
9. M. Herlihy, V. Luchangco, M. Moir, W.N. Scherer III, Software transactional memory for dynamic-sized data structures, in: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 2003, pp. 92-101
10. S. Jagannathan, J. Vitek, Optimistic concurrency semantics for transactions in coordination languages, in: Coordination Models and Languages, in: Lecture Notes in Computer Science, vol. 2949, 2004, pp. 183-198
11. J.E.B. Moss, Nested Transactions: An Approach to Reliable Distributed Computing, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA, Apr. 1981; also published as MIT Laboratory for Computer Science Technical Report 260
12. Moss J.E.B. Nested transactions: An approach to reliable distributed computing. Proceedings of the Second Symposium on Reliability in Distributed Software and Database Systems (1982), IEEE, Pittsburgh, PA 33-39
13. Moss J.E.B. Nested Transactions: An Approach to Reliable Distributed Computing (1985), M.I.T. Press, Cambridge, MA
14. J.E.B. Moss, A.L. Hosking, Nested transactional memory: Model and preliminary architecture sketches, in: the OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages, SCOOL (no formal proceedings), October 2005
15. J.E.B. Moss, N.D. Griffeth, M.H. Graham, Abstraction in recovery management, in: Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, Washington, DC, May 1986, pp. 72-83. ACM SIGMOD Record 15, 2 (June 1986)
16. Rajwar R., and Goodman J.R. Speculative lock elision: Enabling highly concurrent multithreaded execution. Proceedings of the International Symposium on Microarchitecture (2001), ACM/IEEE 294-305
17. R. Rajwar, J.R. Goodman, Transactional lock-free execution of lock-based programs, in: Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, October 2002, pp. 5-17. ACM SIGPLAN Notices 37, 10 (October 2002)
18. R. Rajwar, M. Herlihy, K.K. Lai, Virtualizing transactional memory, in: Proceedings of the International Symposium on Computer Architecture, 2005, pp. 494-505
19. N. Shavit, D. Touitou, Software transactional memory, in: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 1995, pp. 204-213
20. J. Vitek, S. Jagannathan, A. Welc, A.L. Hosking, A semantic framework for designer transactions, in: D.E. Schmidt (Ed.), Proceedings of the European Symposium on Programming, in: Lecture Notes in Computer Science, vol. 2986, 2004, pp. 249-263
21. Weikum G., and Schek H.-J. Concepts and Applications of Multilevel Transactions and Open Nested Transactions (1992), Morgan Kaufmann pp. 515-553
22. Welc A., Jagannathan S., and Hosking A.L. Transactional monitors for concurrent objects. In: Odersky M. (Ed). Proceedings of the European Conference on Object-Oriented Programming. Lecture Notes in Computer Science vol. 3086 (2004), Springer-Verlag 519-542