A principled approach to nondeferred reference-counting garbage collection

VEE'08 - Proceedings of the 4th International Conference on Virtual Execution Environments

Volumn , Issue , 2008, Pages 131-140

  Joisha, Pramod G ^a  

^a HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Instrumentation; Reference counting; Static analysis

Indexed keywords

COLLECTION METHODS; CONTROL FLOWS; GARBAGE COLLECTION; INSTRUMENTATION; MEMORY-MANAGEMENT; OBJECT-ORIENTED LANGUAGES; ONE-FORM; OPTIMIZING COMPILERS; PROGRAMMING LANGUAGE; REFERENCE COUNTING;

ABSTRACTING; INSTRUMENTS; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; QUERY LANGUAGES; REFUSE COLLECTION; STATIC ANALYSIS; WASTE DISPOSAL;

DATA FLOW ANALYSIS;

EID: 77952393565     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1346256.1346275     Document Type: Conference Paper

References (26)

1. Ole Agesen, David Detlefs, and J. Eliot Moss. Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 269-279, June 1998.
2. Bowen Alpern, C. R. Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove, Michael Hind, Susan Flynn-Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The Jalapeño Virtual Machine. IBM Systems Journal, 39(1):211-238, 2000.
3. Matt Austern. Draft Technical Report on C++ Library Extensions. ISO/IEC DTR 19768, The C++ Standards Committee, June 2005.
4. David F. Bacon, Perry Cheng, and V. T. Rajan. A Unified Theory of Garbage Collection. In Proceedings of the 2004 ACMSIOPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 50-68, October 2004.
5. Jeffrey M. Barth. Shifting Garbage Collection Overhead to Compile Time. Communications of the ACM, 20(7):513-518, July 1977.
6. Hans-Juergen Boehm. Simple GC-Safe Compilation. In Addendum to OOPSLA '91 Proceedings, October 1991.
7. Boost C++Libraries. At http ://www.boost.org.
8. Don Box and Chris Sells. Essential .NET: The Common Language Runtime. Addison-Wesley Publishing Company, Inc., USA, 2003.
9. Jong-Deok Choi, David Grove, Michael Hind, and Vivek Sarkar. Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 21-31, September 1999.
10. George E. Collins. A Method for Overlapping and Erasure of Lists. Communications of the ACM, 3(12):655-657, December 1960.
11. Alain Deutsch. On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 157-168, January 1990.
12. L. Peter Deutsch and Daniel G. Bobrow. An Efficient, Incremental Automatic Garbage Collector. Communications of the ACM, 19(9):522-526, September 1976.
13. Amer Diwan, Eliot Moss, and Richard Hudson. Compiler Support for Garbage Collection in a Statically Typed Language. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 273-282, June 1992.
14. H. Gelernter, J. R. Hansen, and C. L. Gerberich. A FORTRANCompiled List-Processing Language. Journal of the ACM, 7(2):87-101, April 1960.
15. Martin Hirzel, Amer Diwan, and Johannes Henkel. On the Usefulness of Type and Liveness Accuracy for Garbage Collection and Leak Detection. ACM Transactions on Programming Languages and Systems, 24(6):593-624, November 2002.
16. Paul Hudak. A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). In Proceedings of the ACM SIGPLAN Conference on LISP and Functional Programming, pages 351-363, April 1986.
17. Pramod G. Joisha. Compiler Optimizations for Nondeferred Reference-Counting Garbage Collection. In Proceedings of the International Symposium on Memory Management, pages 150-161. ACM Press, June 2006.
18. Pramod G. Joisha. A Principled Approach to Nondeferred ReferenceCounting Garbage Collection. Technical Report MSR-TR-2007-2104, Microsoft Research, August 2007.
19. Pramod G. Joisha. Overlooking Roots: A Framework for Making Nondeferred Reference-Counting Garbage Collection Fast. In Proceedings of the International Symposium on Memory Management, pages 141-158. ACM Press, October 2007.
20. Richard Jones and Rafael Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, Inc., USA, 1996.
21. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification, Second Edition. The Java Series. Addison-Wesley Publishing Company, Inc., USA, 1999.
22. Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, Inc., USA, 1997.
23. Young Gil Park and Benjamin Goldberg. Reference Escape Analysis: Optimizing Reference Counting Based on the Lifetime of References. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pages 178-189, June 1991.
24. Chris Sells and Christopher Tavares. Adding Reference Counting to the Shared Source Common Language Infrastructure. At http://www.sellsbrothers.com/ writing.
25. James M. Stichnoth, Guei-Yuan Lueh, and Michal Ciemiak. Support for Garbage Collection at Every Instruction in a Java Compiler. In Proceedings of the ACM SIGPIAN Conference on Programming Language Design and Implementation, pages 118-127, May 1996.
26. David R. Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A Type-Directed Optimizing Compiler for ML. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-192, May 1996.