Concurrent GC leveraging transactional memory

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

Volumn , Issue , 2008, Pages 217-226

  McGachey, Phil ^a   Adl Tabatabai, Ali Reza ^b   Hudson, Richard L ^b   Menon, Vijay ^b   Saha, Bratin ^b   Shpeisman, Tatiana ^b  

^a Purdue University   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

Compiler optimizations; Concurrent garbage collection; Strong atomicity; Transactional integrity; Transactional memory; Virtual machines

Indexed keywords

PARALLEL PROGRAMMING; VIRTUAL MACHINE;

COMPILER OPTIMIZATIONS; CONCURRENT GARBAGE COLLECTION; STRONG ATOMICITY; TRANSACTIONAL INTEGRITY; TRANSACTIONAL MEMORY;

STORAGE ALLOCATION (COMPUTER);

EID: 77954921682     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1345206.1345238     Document Type: Conference Paper

References (24)

1. A.-R. Adl-Tabatabai, B. T. Lewis, V. S. Menon, B. R. Murphy, B. Saha, and T. Shpeisman. Compiler and runtime support for efficient software transactional memory. In PLDI 2006.
2. A. W. Appel, J. R. Ellis, and K. Li. Real-time concurrent collection on stock multiprocessors. In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, pages 11-20, New York, NY, USA, 1988. ACM Press.
3. D. Bacon, P. Cheng, and V. Rajan. The metronome: A simpler approach to garbage collection in real-time systems. In In Proceedings of the OTM Workshops: Workshop on Java Technologies for Real-Time and Embedded Systems, 2003.
4. S. M. Blackburn, R. L. Hudson, R. Morrison, J. E. B. Moss, D. S. Munro, and J. Zigman. Starting with termination: a methodology for building distributed garbage collection algorithms. In ACSC '01: Proceedings of the 24th Australasian conference on Computer science, pages 20-28, Washington, DC, USA, 2001. IEEE Computer Society.
5. 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, 2005.
6. R. A. Brooks. Trading data space for reduced time and code space in real-time garbage collection on stock hardware. In LFP 84: Proceedings of the 1984 ACM Symposium on LISP and functional programming, pages 256-262, New York, NY, USA, 1984. ACM Press.
7. C. Click, G. Tene, and M. Wolf. The pauseless gc algorithm. In VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, pages 46-56, New York, NY, USA, 2005. ACM Press.
8. E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens. On-the-fly garbage collection: an exercise in cooperation. Commun. ACM, 21(11):966-975, 1978. (Pubitemid 9401729)
9. K. Fraser. Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003. Technical Report UCAM-CL-TR-579.
10. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
11. J. Guy L. Steele. Multiprocessing compactifying garbage collection. Commun. ACM, 18(9):495-508, 1975.
12. T. Harris and K. Fraser. Language support for lightweight transactions. In OOPSLA 2003.
13. T. Harris, M. Plesko, A. Shinnar, and D. Tarditi. Optimizing memory transactions. In PLDI 2006.
14. M. Herlihy, V. Luchangco, M. Moir, and I. William N. Scherer. Software transactional memory for dynamic-sized data structures. In PODC 2003.
15. M. Herlihy and J. E. B. Moss. Transactional memory: architectural support for lock-free data structures. In ISCA 1993.
16. M. P. Herlihy and J. E. B. Moss. Lock-free garbage collection for multiprocessors. In SPAA '91: Proceedings of'the third annual ACM symposium on Parallel algorithms and architectures, pages 229-236, New York, NY, USA, 1991. ACM Press.
17. R. L. Hudson and J. E. B. Moss. Sapphire: Copying GC without stopping the world. In Joint ACM Java Grande - ISCOPE 2001 Conference, Stanford University, CA, 2001.
18. T. Knight. An architecture for mostly functional languages. In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming, pages 105-112, New York, NY, USA, 1986. ACM Press.
19. H. T. Kung and J. T. Robinson. On optimistic methods for concurrency control. ACM Trans. Database Syst., 6(2), 1981.
20. V. J. Marathe, W. N. Scherer, and M. L. Scott. Design tradeoffs in modern software transactional memory systems. In LCR 2004: Languages, Compilers, and Run-time Support for Scalable Systems.
21. F. Pizlo, D. Frampton, E. Petrank, and B. Steensgaard. Stopless: a real-time garbage collector for multiprocessors. In ISMM '07: Proceedings of the 6th International Symposium on Memory Management, pages 159-172, New York, NY, USA, 2007. ACM.
22. B. Saha, A.-R. Adl-Tabatabai, R. Hudson, C. C. Minh, and B. Hertzberg. McRT-STM: A high performance software transactional memory system for a multi-core runtime. In PPoPP 2006.
23. N. Shavit and D. Touitou. Software transactional memory. InPODC 1995.
24. T. Shpeisman, V. Menon, A.-R. Adl-Tabatabai, S. Balensiefer, D. Grossman, R. L. Hudson, K. F. Moore, and B. Saha. Enforcing isolation and ordering in stm. In J. Ferrante and K. S. McKinley, editors, PLDI2007: Programming Language Design and Implementation, pages 78-88. ACM, 2007.