Lock-free and scalable multi-version software transactional memory

ACM SIGPLAN Notices

Volumn 46, Issue 8, 2011, Pages 179-188

  Fernandes, Sérgio Miguel ^a   Cachopo, Joao ^a  

^a INESC ID   (Portugal)

Author keywords

Garbage Collection; Lock Free Synchronization; Multi Version Concurrency Control; Transactional Memory

Indexed keywords

EFFICIENCY LIMITATIONS; GARBAGE COLLECTION; GARBAGE COLLECTION ALGORITHM; LOCK-FREE; LOCK-FREE SYNCHRONIZATION; MANY-CORE; MULTI-VERSION; SCALABILITY PROBLEMS; SOFTWARE TRANSACTIONAL MEMORY; TRANSACTIONAL MEMORY; TRANSACTIONAL SYSTEMS; VALIDATION PHASE; WRITE-BACK;

ALGORITHMS; COMPUTER PROGRAMMING; JAVA PROGRAMMING LANGUAGE; REFUSE COLLECTION; STORAGE ALLOCATION (COMPUTER); WASTE DISPOSAL;

CONCURRENCY CONTROL;

EID: 80053994564     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2038037.1941579     Document Type: Conference Paper

References (20)

1. LSA-STM project home page. http://tmware.org/lsastm.
2. J. Cachopo. Development of Rich Domain Models with Atomic Actions. PhD thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, 2007.
3. J. Cachopo and A. Rito-Silva. Versioned boxes as the basis for memory transactions. Sci. Comput. Program., 63(2):172-185, 2006. (Pubitemid 44486442)
4. N. Carvalho, J. Cachopo, L. Rodrigues, and A. Rito-Silva. Versioned transactional shared memory for the FénixEDU web application. In WDDDM '08: Proceedings of the 2nd workshop on Dependable distributed data management, pages 15-18, New York, NY, USA, 2008. ACM.
5. L. Dalessandro, M. F. Spear, and M. L. Scott. NOrec: Streamlining STMby abolishing ownership records. In PPoPP '10: Proc. 15th ACM Symp. on Principles and Practice of Parallel Programming, jan 2010.
6. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC '06: Proc. 20th International Symposium on Distributed Computing, pages 194-208, sep 2006. Springer-Verlag Lecture Notes in Computer Science volume 4167. (Pubitemid 44849711)
7. R. Ennals. Efficient software transactional memory. Technical Report IRC-TR-05-051, Intel Research Cambridge Tech Report, Jan 2005.
8. P. Felber, C. Fetzer, and T. Riegel. Dynamic performance tuning of word-based software transactional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, pages 237-246, feb 2008.
9. K. Fraser and T. Harris. Concurrent programming without locks. ACM Trans. Comput. Syst., 25(2):5, 2007.
10. R. Guerraoui, M. Kapalka, and J. Vitek. Stmbench7: A benchmark for software transactional memory. In EuroSys '07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, pages 315-324, New York, NY, USA, 2007. ACM. (Pubitemid 47281592)
11. M. Herlihy. Wait-free synchronization. ACM Trans. Program. Lang. Syst., 13(1):124-149, 1991. (Pubitemid 23600427)
12. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In ISCA '93: Proceedings of the 20th annual international symposium on Computer architecture, pages 289-300, New York, NY, USA, 1993. ACM. (Pubitemid 23675551)
13. G. Korland, N. Shavit, and P. Felber. Noninvasive concurrency with Java STM. In MultiProg 2010: Third Workshop on Programmability Issues for Multi-Core Computers, 2010.
14. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 378-391, New York, NY, USA, 2005. ACM.
15. V. J. Marathe and M. Moir. Toward high performance nonblocking software transactional memory. In PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, pages 227-236, New York, NY, USA, 2008. ACM.
16. D. Perelman, R. Fan, and I. Keidar. On maintaining multiple versions in STM. In PODC '10: Proceedings of the 29th ACM symposium on Principles of Distributed Computing, July 2010.
17. T. Riegel, P. Felber, and C. Fetzer. A lazy snapshot algorithm with eager validation. In Proceedings of the 20th International Symposium on Distributed Computing, DISC 2006, volume 4167 of Lecture Notes in Computer Science, pages 284-298. Springer, Sep 2006. ISBN 3- 540-44624-9. (Pubitemid 44849717)
18. B. Saha, A.-R. Adl-Tabatabai, R. L. Hudson, C. C. Minh, and B. Hertzberg. McRT-STM: A high performance software transactional memory system for a multi-core runtime. In Proceedings of the 11th Symposium on Principles and Practice of Parallel Programming, pages 187-197. ACM Press, 2006. (Pubitemid 44758689)
19. N. Shavit and D. Touitou. Software transactional memory. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, pages 204-213. ACM Press, 1995.
20. M. F. Spear, M. M. Michael, and C. von Praun. RingSTM: scalable transactions with a single atomic instruction. In SPAA '08: Proc. twentieth annual symposium on Parallelism in algorithms and architectures, pages 275-284, jun 2008.