On-the-fly garbage collection

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On-the-fly garbage collection: an exercise in cooperation

Full text

Pdf (1.17 MB)

Source

Communications of the ACM archive
Volume 21 , Issue 11 (November 1978) table of contents

Pages: 966 - 975

Year of Publication: 1978

ISSN:0001-0782

Authors

Edsger W. Dijkstra	Burroughs Corporation, Al Nuenen, The Netherlands
Leslie Lamport	SRI International, Menlo Park, CA
A. J. Martin	Philips Research Labs., Eindhoven, The Netherlands
C. S. Scholten	Philips Research Labs., Eindhoven, The Netherlands
E. F. M. Steffens	Philips Research Labs., Eindhoven, The Netherlands

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 23, Downloads (12 Months): 153, Citation Count: 144

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/359642.359655 What is a DOI?

ABSTRACT

As an example of cooperation between sequential processes with very little mutual interference despite frequent manipulations of a large shared data space, a technique is developed which allows nearly all of the activity needed for garbage detection and collection to be performed by an additional processor operating concurrently with the processor devoted to the computation proper. Exclusion and synchronization constraints have been kept as weak as could be achieved; the severe complexities engendered by doing so are illustrated.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975 [doi>10.1145/360933.360975]
	2	David Gries, An exercise in proving parallel programs correct, Communications of the ACM, v.20 n.12, p.921-930, Dec. 1977 [doi>10.1145/359897.359903]
	3	Lamport, L. Proving the correctness of multiprocess programs. IEEE Trans. Software Eng. SE-3, 2 (March 1977), 125-143.
	4	Guy L. Steele, Jr., Multiprocessing compactifying garbage collection, Communications of the ACM, v.18 n.9, p.495-508, Sept. 1975 [doi>10.1145/361002.361005]
	5	Woodger, M. Private communications.

CITED BY 144

	Tamar Domani , Elliot K. Kolodner , Erez Petrank, A generational on-the-fly garbage collector for Java, ACM SIGPLAN Notices, v.35 n.5, p.274-284, May 2000
	Butler W. Lampson, Hints for computer system design, ACM SIGOPS Operating Systems Review, v.17 n.5, p.33-48, October 1983
	M. Schelvis, Incremental distribution of timestamp packets: a new approach to distributed garbage collection, ACM SIGPLAN Notices, v.24 n.10, p.37-48, Oct. 1989
	Taehyoun Kim , Naehyuck Chang , Namyun Kim , Heonshik Shin, Scheduling garbage collector for embedded real-time systems, ACM SIGPLAN Notices, v.34 n.7, p.55-64, July 1999
	José M. Piquer, Indirect distributed garbage collection: handling object migration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.5, p.615-647, Sept. 1996
	A. Udaya Shankar, An introduction to assertional reasoning for concurrent systems, ACM Computing Surveys (CSUR), v.25 n.3, p.225-262, Sept. 1993
	Toshio Endo , Kenjiro Taura, Reducing pause time of conservative collectors, ACM SIGPLAN Notices, v.38 n.2 supplement, February 2003
	Philip L. Lehman , s. Bing Yao, Efficient locking for concurrent operations on B-trees, ACM Transactions on Database Systems (TODS), v.6 n.4, p.650-670, Dec. 1981
	James O'Toole , Scott Nettles , David Gifford, Concurrent compacting garbage collection of a persistent heap, ACM SIGOPS Operating Systems Review, v.27 n.5, p.161-174, Dec. 1993
	Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981
	Laurent Amsaleg , Michael J. Franklin , Olivier Gruber, Garbage collection for a client-server persistent object store, ACM Transactions on Computer Systems (TOCS), v.17 n.3, p.153-201, Aug. 1999
	Thomas W. Doeppner, Jr., Parallel program correctness through refinement, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.155-169, January 17-19, 1977, Los Angeles, California
	Damien Doligez , Xavier Leroy, A concurrent, generational garbage collector for a multithreaded implementation of ML, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.113-123, March 1993, Charleston, South Carolina, United States
	Dale H. Grit , Rex L. Page, Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.49-59, Jan. 1981
	B. Goldberg, Generational reference counting: a reduced-communication distributed storage reclamation scheme, ACM SIGPLAN Notices, v.24 n.7, p.313-321, July 1989
	Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
	O. Nurmi , E. Soisalon-Soininen , D. Wood, Concurrency control in database structures with relaxed balance, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.170-176, March 23-25, 1987, San Diego, California, United States
	Farokh Bastani , Wael Hilal , Ing-Ray Chen, Performance analysis of concurrent maintenance policies for servers in a distributed environment, Proceedings of 1986 ACM Fall joint computer conference, p.611-619, November 1986, Dallas, Texas, United States
	James O'Toole , Scott Nettles, Concurrent replicating garbage collection, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.34-42, July-Sept. 1994
	Paul Hudak, Distributed task and memory management, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.277-289, August 17-19, 1983, Montreal, Quebec, Canada
	David L. Detlefs , Paul A. Martin , Mark Moir , Guy L. Steele, Jr., Lock-free reference counting, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.190-199, August 2001, Newport, Rhode Island, United States
	Lorenz Huelsbergen , Phil Winterbottom, Very concurrent mark-&-sweep garbage collection without fine-grain synchronization, ACM SIGPLAN Notices, v.34 n.3, p.166-175, March 1999
	Kevin C. Kahn , William M. Corwin , T. Don Dennis , Herman D'Hooge , David E. Hubka , Linda A. Hutchins , John T. Montague , Fred J. Pollack, iMAX: A multiprocessor operating system for an object-based computer, ACM SIGOPS Operating Systems Review, v.15 n.5, p.127-136, December 1981
	Fred J. Pollack , George W. Cox , Dan W. Hammerstrom , Kevin C. Kahn , Konrad K. Lai , Justin R. Rattner, Supporting ada memory management in the iAPX-432, ACM SIGARCH Computer Architecture News, v.10 n.2, p.117-131, March 1982
	Martin Rudalics, Distributed copying garbage collection, Proceedings of the 1986 ACM conference on LISP and functional programming, p.364-372, August 1986, Cambridge, Massachusetts, United States
	Mordechai Ben-Ari, Algorithms for on-the-fly garbage collection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.333-344, July 1984
	Udi Manbar , Richard E. Ladner, Concurrency control in a dynamic search structure, ACM Transactions on Database Systems (TODS), v.9 n.3, p.439-455, Sept. 1984
	Scott Nettles , James O'Toole, Real-time replication garbage collection, ACM SIGPLAN Notices, v.28 n.6, p.217-226, June 1993
	R. J. R. Back , F. Kurki-Suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.513-554, Oct. 1988
	Henry Lieberman , Carl Hewitt, A real-time garbage collector based on the lifetimes of objects, Communications of the ACM, v.26 n.6, p.419-429, June 1983
	J. L. W. Kessels, On-the-fly optimization of data structures, Communications of the ACM, v.26 n.11, p.895-901, Nov. 1983
	Ing-Ray Chen , Sayed A. Banawan, A uniform approach to the stability and performance analysis of concurrent data structure maintenance policies, Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, p.160-168, April 1992, Kansas City, Missouri, United States
	Otto Nurmi , Eljas Soisalon-Soininen, Uncoupling updating and rebalancing in chromatic binary search trees, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.192-198, May 29-31, 1991, Denver, Colorado, United States
	Jacques Cohen, Garbage Collection of Linked Data Structures, ACM Computing Surveys (CSUR), v.13 n.3, p.341-367, Sept. 1981
	K. F. Wong , G. G. Coghill , J. M. Hannah, ICMS: an intelligent cell memory system for real-time engineering applications, Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, p.168-172, December 1986, San Francisco, California, United States
	Wolfgang Küchlin, A space-efficient parallel garbage compaction algorithm, Proceedings of the 5th international conference on Supercomputing, p.40-46, June 17-21, 1991, Cologne, West Germany
	Alexander Aiken , Manuel Fähndrich , Raph Levien, Better static memory management: improving region-based analysis of higher-order languages, ACM SIGPLAN Notices, v.30 n.6, p.174-185, June 1995
	Saleh E. Abdullahi , Graem A. Ringwood, Garbage collecting the Internet: a survey of distributed garbage collection, ACM Computing Surveys (CSUR), v.30 n.3, p.330-373, Sept. 1998
	Ravi Sharma , Mary Lou Soffa, Parallel generational garbage collection, ACM SIGPLAN Notices, v.26 n.11, p.16-32, Nov. 1991
	H. T. Kung , Philip L. Lehman, Concurrent manipulation of binary search trees, ACM Transactions on Database Systems (TODS), v.5 n.3, p.354-382, Sept. 1980
	Christian Ungureanu , Benjamin Goldberg, Formal models of distributed memory management, ACM SIGPLAN Notices, v.32 n.8, p.280-291, Aug. 1997
	Paul Hudak , Robert M. Keller, Garbage collection and task deletion in distributed applicative processing systems, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.168-178, August 15-18, 1982, Pittsburgh, Pennsylvania, United States
	Yossi Levanoni , Erez Petrank, An on-the-fly reference counting garbage collector for Java, ACM SIGPLAN Notices, v.36 n.11, p.367-380, 11/01/2001
	Fridtjof Siebert, Guaranteeing non-disruptiveness and real-time deadlines in an incremental garbage collector, ACM SIGPLAN Notices, v.34 n.3, p.130-137, March 1999
	Eric Jul , Henry Levy , Norman Hutchinson , Andrew Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.109-133, Feb. 1988
	Maurice P. Herlihy , J. E. B. Moss, Lock-free garbage collection for multiprocessors, Proceedings of the third annual ACM symposium on Parallel algorithms and architectures, p.229-236, July 21-24, 1991, Hilton Head, South Carolina, United States
	Hans-J. Boehm , Alan J. Demers , Scott Shenker, Mostly parallel garbage collection, ACM SIGPLAN Notices, v.26 n.6, p.157-164, June 1991
	David L. Detlefs , Paul A. Martin , Mark Moir , Guy L. Steele, Jr., Lock-free reference counting, Distributed Computing, v.15 n.4, p.255-271, December 2002
	Pekka P. Pirinen, Barrier techniques for incremental tracing, ACM SIGPLAN Notices, v.34 n.3, p.20-25, March 1999
	Bernard Lang , Christian Queinnec , José Piquer, Garbage collecting the world, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.39-50, January 19-22, 1992, Albuquerque, New Mexico, United States
	Damien Doligez , Georges Gonthier, Portable, unobtrusive garbage collection for multiprocessor systems, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.70-83, January 16-19, 1994, Portland, Oregon, United States
	Martin Larose , Marc Feeley, A compacting incremental collector and its performance in a production quality compiler, ACM SIGPLAN Notices, v.34 n.3, p.1-9, March 1999
	Ulrik Pagh Schultz , Kim Burgaard , Flemming Gram Christensen , Jørgen Lindskov Knudsen, Compiling java for low-end embedded systems, ACM SIGPLAN Notices, v.38 n.7, July 2003
	Adnan Agbaria , Roy Friedman, Virtual-machine-based heterogeneous checkpointing, Software—Practice & Experience, v.32 n.12, p.1175-1192, October 2002
	Susan Owicki, Making the world safe for garbage collection, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.77-86, January 26-28, 1981, Williamsburg, Virginia
	Matthias Meyer, A true hardware read barrier, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada
	Katherine Barabash , Yoav Ossia , Erez Petrank, Mostly concurrent garbage collection revisited, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Y. Ledru, Developing reactive systems in a VDM framework, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Matthias Pfeffer , Theo Ungerer , Stephan Fuhrmann , Jochen Kreuzinger , Uwe Brinkschulte, Real-Time Garbage Collection for a Multithreaded Java Microcontroller, Real-Time Systems, v.26 n.1, p.89-106, January 2004
	A. Udaya Shankar , Simon S. Lam, A stepwise refinement heuristic for protocol construction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.3, p.417-461, July 1992
	A. Moitra , S. S. Iyengar , F. B. Bastani , I. L. Yen, Multilevel Data Structures: Models and Performance, IEEE Transactions on Software Engineering, v.14 n.6, p.858-867, June 1988
	Gregory R. Andrews , Gary M. Levin, On-the-fly deadlock prevention, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.165-172, August 18-20, 1982, Ottawa, Canada
	A. M. Cheadle , A. J. Field , S. Marlow , S. L. Peyton Jones , R. L. While, Non-stop Haskell, ACM SIGPLAN Notices, v.35 n.9, p.257-267, Sept. 2000
	Tian F. Lim , Przemysław Pardyak , Brian N. Bershad, A memory-efficient real-time non-copying garbage collector, ACM SIGPLAN Notices, v.34 n.3, p.118-129, March 1999
	M. P. Herlihy , J. E. B. Moss, Lock-Free Garbage Collection for Multiprocessors, IEEE Transactions on Parallel and Distributed Systems, v.3 n.3, p.304-311, May 1992
	Marc Shapiro , Peter Dickman , David Plainfossé, Robust, distributed references and acyclic garbage collection, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.135-146, August 10-12, 1992, Vancouver, British Columbia, Canada
	J. Pallas , D. Ungar, Multiprocessor Smalltalk: a case study of a multiprocessor-based programming environment, ACM SIGPLAN Notices, v.23 n.7, p.268-277, July 1988
	Perry Cheng , Guy E. Blelloch, A parallel, real-time garbage collector, ACM SIGPLAN Notices, v.36 n.5, p.125-136, May 2001
	Fred J. Pollack , Kevin C. Kahn , Roy M. Wilkinson, The iMAX-432 object filing system, ACM SIGOPS Operating Systems Review, v.15 n.5, p.137-147, December 1981
	Stephen M. Blackburn , Perry Cheng , Kathryn S. McKinley, Myths and realities: the performance impact of garbage collection, ACM SIGMETRICS Performance Evaluation Review, v.32 n.1, June 2004
	B Wah , G J Li, Survey on special purpose computer architectures for AI, ACM SIGART Bulletin
	Martin Hirzel , Amer Diwan , Matthew Hertz, Connectivity-based garbage collection, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Guy E. Blelloch , Perry Cheng, On bounding time and space for multiprocessor garbage collection, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Narendran Sachindran , J. Eliot B. Moss , Emery D. Berger, MC²: high-performance garbage collection for memory-constrained environments, ACM SIGPLAN Notices, v.39 n.10, October 2004
	N. Bagherzadeh , S. -l. Heng , C. -l. Wu, A Parallel Asynchronous Garbage Collection Algorithm for Distributed Systems, IEEE Transactions on Knowledge and Data Engineering, v.3 n.1, p.100-107, March 1991
	Andrew W. Appel, Real-time concurrent collection on stock multiprocessors, ACM SIGPLAN Notices, v.39 n.4, April 2004
	W. H. Bahaa-El-Din , F. B. Bastani , J.-F. Teng, Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers, IEEE Transactions on Software Engineering, v.15 n.12, p.1526-1536, December 1989
	Udi Manber , Richard E. Ladner, Concurrency control in a dynamic search structure, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, March 29-31, 1982, Los Angeles, California
	David Detlefs , Christine Flood , Steve Heller , Tony Printezis, Garbage-first garbage collection, Proceedings of the 4th international symposium on Memory management, October 24-25, 2004, Vancouver, BC, Canada
	Ing-Ray Chen , S. A. Banawan, Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers, IEEE Transactions on Software Engineering, v.19 n.9, p.902-911, September 1993
	Alan Creak, Edsger W. Dijkstra, ACM SIGPLAN Notices, v.37 n.12, December 2002
	David F. Bacon , Perry Cheng , David Grove , Michael Hind , V. T. Rajan , Eran Yahav , Matthias Hauswirth , Christoph M. Kirsch , Daniel Spoonhower , Martin T. Vechev, High-level real-time programming in Java, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	Chen-Yong Cher , Antony L. Hosking , T. N. Vijaykumar, Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign, ACM SIGOPS Operating Systems Review, v.38 n.5, December 2004
	Yoav Ossia , Ori Ben-Yitzhak , Irit Goft , Elliot K. Kolodner , Victor Leikehman , Avi Owshanko, A parallel, incremental and concurrent GC for servers, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Hezi Azatchi , Yossi Levanoni , Harel Paz , Erez Petrank, An on-the-fly mark and sweep garbage collector based on sliding views, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Lars Birkedal , Noah Torp-Smith , John C. Reynolds, Local reasoning about a copying garbage collector, ACM SIGPLAN Notices, v.39 n.1, p.220-231, January 2004
	Martin T. Vechev , David F. Bacon, Write barrier elision for concurrent garbage collectors, Proceedings of the 4th international symposium on Memory management, October 24-25, 2004, Vancouver, BC, Canada
	Yuqiang Xian , Guangze Xiong, Minimizing memory requirement of real-time systems with concurrent garbage collector, ACM SIGPLAN Notices, v.40 n.3, p.40-48, March 2005
	Luc Moreau , Peter Dickman , Richard Jones, Birrell's distributed reference listing revisited, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1344-1395, November 2005
	Mary Croarken , Nathan Ensmenger, Events & sightings, IEEE Annals of the History of Computing, v.25 n.1, p.65-69, January 2003
	Katherine Barabash , Ori Ben-Yitzhak , Irit Goft , Elliot K. Kolodner , Victor Leikehman , Yoav Ossia , Avi Owshanko , Erez Petrank, A parallel, incremental, mostly concurrent garbage collector for servers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1097-1146, November 2005
	Ing-Ray Chen , Sayed A. Banawan, Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization, IEEE Transactions on Software Engineering, v.25 n.5, p.690-700, September 1999
	Daniel Spoonhower , Guy Blelloch , Robert Harper, Using page residency to balance tradeoffs in tracing garbage collection, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
	Leslie Lamport, Arbitration-free synchronization, Distributed Computing, v.16 n.2-3, p.219-237, September 2003
	Yossi Levanoni , Erez Petrank, An on-the-fly reference-counting garbage collector for java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.1, p.1-69, January 2006
	Matthias Meyer, A Novel Processor Architecture with Exact Tag-Free Pointers, IEEE Micro, v.24 n.3, p.46-55, March 2004
	Zhang Ning , Guangze Xiong, Minimizing GC work by analysis of live objects, ACM SIGPLAN Notices, v.41 n.3, March 2006
	Jan E. Jonker, On-the-fly garbage collection for several mutators, Distributed Computing, v.5 n.4, p.187-199, April 1992
	Stephen M. Blackburn , Richard L. Hudson , Ron Morrison , J. Eliot B. Moss , David S. Munro , John Zigman, Starting with termination: a methodology for building distributed garbage collection algorithms, Australian Computer Science Communications, v.23 n.1, p.20-28, January-February 2001
	Timothy J. McEntee, Overview of garbage collection in symbolic computing, ACM SIGPLAN Lisp Pointers, v.1 n.3, p.8-16, August-September 1987
	Noah Torp-Smith , Lars Birkedal , John C. Reynolds, Local reasoning about a copying garbage collector, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-58, July 2008
	Antony L. Hosking, Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada
	C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.596-619, Oct. 1983
	Gerard Tel , Friedemann Mattern, The derivation of distributed termination detection algorithms from garbage collection schemes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.1-35, Jan. 1993
	H. Gao , J. F. Groote , W. H. Hesselink, Lock-free parallel and concurrent garbage collection by mark&sweep, Science of Computer Programming, v.64 n.3, p.341-374, February, 2007
	Christine H. Flood , David Detlefs , Nir Shavit , Xiaolan Zhang, Parallel garbage collection for shared memory multiprocessors, Proceedings of the Java^TM Virtual Machine Research and Technology Symposium on Java^TM Virtual Machine Research and Technology Symposium, p.21-21, April 23-24, 2001, Monterey, California
	Alfonso Sánchez , Luís Veiga , Paulo Ferreira, Distributed garbage collection for wide area replicated memory, Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems, p.5-5, January 29-February 02, 2001, San Antonia, Texas
	Yang Chang , Andy Wellings, Low memory overhead real-time garbage collection for Java, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, October 11-13, 2006, Paris, France
	Rasmus Pedersen , Martin Schoeberl, Exact roots for a real-time garbage collector, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, October 11-13, 2006, Paris, France
	Martin T. Vechev , Eran Yahav , David F. Bacon, Correctness-preserving derivation of concurrent garbage collection algorithms, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Andrew McCreight , Zhong Shao , Chunxiao Lin , Long Li, A general framework for certifying garbage collectors and their mutators, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Leendert van Doorn, A secure java^TM virtual machine, Proceedings of the 9th conference on USENIX Security Symposium, p.2-2, August 14-17, 2000, Denver, Colorado
	David Detlefs , Ross Knippel , William D. Clinger , Matthias Jacob, Concurrent Remembered Set Refinement in Generational Garbage Collection, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.13-26, August 01-02, 2002
	Okehee Goh , Yann-Hang Lee , Ziad Kaakani , Elliott Rachlin, Schedulable garbage collection in CLI virtual execution system, Real-Time Systems, v.36 n.1-2, p.47-74, July 2007
	Sylvain Stanchina , Matthias Meyer, Mark-sweep or copying?: a "best of both worlds" algorithm and a hardware-supported real-time implementation, Proceedings of the 6th international symposium on Memory management, October 21-22, 2007, Montreal, Quebec, Canada
	Paulo Ferreira , Marc Shapiro, Garbage collection and DSM consistency, Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation, p.17-es, November 14-17, 1994, Monterey, California
	Martin Schoeberl , Jan Vitek, Garbage collection for safety critical Java, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria
	Filip Pizlo , Erez Petrank , Bjarne Steensgaard, A study of concurrent real-time garbage collectors, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Filip Pizlo , Erez Petrank , Bjarne Steensgaard, Path specialization: reducing phased execution overheads, Proceedings of the 7th international symposium on Memory management, June 07-08, 2008, Tucson, AZ, USA
	Martin T. Vechev , Eran Yahav , David F. Bacon , Noam Rinetzky, CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Ashwin Ram , Janak H. Patel, Parallel garbage collection without synchronization overhead, ACM SIGARCH Computer Architecture News, v.13 n.3, p.84-90, June 1985
	Stephen M. Blackburn , Perry Cheng , Kathryn S. McKinley, Oil and Water? High Performance Garbage Collection in Java with MMTk, Proceedings of the 26th International Conference on Software Engineering, p.137-146, May 23-28, 2004
	Chun-Xiao Lin , Yi-Yun Chen , Long Li , Bei Hua, Garbage collector verification for proof-carrying code, Journal of Computer Science and Technology, v.22 n.3, p.426-437, May 2007
	Fridtjof Siebert, Eliminating external fragmentation in a non-moving garbage collector for Java, Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems, p.9-17, November 17-19, 2000, San Jose, California, United States
	Marcin Skubiszewski , Patrick Valduriez, Concurrent Garbage Collection in O2, Proceedings of the 23rd International Conference on Very Large Data Bases, p.356-365, August 25-29, 1997
	Laurent Amsaleg , Michael J. Franklin , Olivier Gruber, Efficient Incremental Garbage Collection for Client-Server Object Database Systems, Proceedings of the 21th International Conference on Very Large Data Bases, p.42-53, September 11-15, 1995
	B Meyer, Eiffel: programming for reusability and extendibility, ACM SIGPLAN Notices, v.22 n.2, p.85-94, Feb. 1987
	J. D. Eckart , R. J. LeBlanc, Distributed garbage collection, ACM SIGPLAN Notices, v.22 n.7, p.264-273, July 1987
	Nandakumar Sankaran, A bibliography on garbage collection and related topics, ACM SIGPLAN Notices, v.29 n.9, p.149-158, Sept. 1994
	B. Lang , F. Dupont, Incremental incrementally compacting garbage collection, ACM SIGPLAN Notices, v.22 n.7, p.253-263, July 1987
	Martin Kero , Johan Nordlander , Per Lindgren, A correct and useful incremental copying garbage collector, Proceedings of the 6th international symposium on Memory management, October 21-22, 2007, Montreal, Quebec, Canada
	Phil McGachey , Ali-Reza Adl-Tabatabai , Richard L. Hudson , Vijay Menon , Bratin Saha , Tatiana Shpeisman, Concurrent GC leveraging transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, February 20-23, 2008, Salt Lake City, UT, USA
	Zoe C. H. Yu , Francis C. M. Lau , Cho-Li Wang, Object co-location and memory reuse for Java programs, ACM Transactions on Architecture and Code Optimization (TACO), v.4 n.4, p.1-36, January 2008
	Harel Paz , David F. Bacon , Elliot K. Kolodner , Erez Petrank , V. T. Rajan, An efficient on-the-fly cycle collection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.20-es, August 2007
	Filip Pizlo , Daniel Frampton , Erez Petrank , Bjarne Steensgaard, Stopless: a real-time garbage collector for multiprocessors, Proceedings of the 6th international symposium on Memory management, October 21-22, 2007, Montreal, Quebec, Canada
	Wolfgang Puffitsch, Decoupled root scanning in multi-processor systems, Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems, October 19-24, 2008, Atlanta, GA, USA
	Martin Schoeberl , Wolfgang Puffitsch, Non-blocking object copy for real-time garbage collection, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, September 24-26, 2008, Santa Clara, California
	Michael D. Bond , Kathryn S. McKinley, Tolerating memory leaks, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Wolfgang Puffitsch , Martin Schoeberl, Non-blocking root scanning for real-time garbage collection, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, September 24-26, 2008, Santa Clara, California
	Gabriel Kliot , Erez Petrank , Bjarne Steensgaard, A lock-free, concurrent, and incremental stack scanning for garbage collectors, Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 11-13, 2009, Washington, DC, USA
	Maria Jump , Kathryn S. McKinley, Dynamic shape analysis via degree metrics, Proceedings of the 2009 international symposium on Memory management, June 19-20, 2009, Dublin, Ireland
	Gaël Thomas , Nicolas Geoffray , Charles Clément , Bertil Folliot, Designing highly flexible virtual machines: the JnJVM experience, Software—Practice & Experience, v.38 n.15, p.1643-1675, December 2008
	Shaoshan Liu , Ligang Wang , Xiao-Feng Li , Jean-Luc Gaudiot, Space-and-time efficient garbage collectors for parallel systems, Proceedings of the 6th ACM conference on Computing frontiers, May 18-20, 2009, Ischia, Italy
	Gary H. Sockut , Balakrishna R. Iyer, Online reorganization of databases, ACM Computing Surveys (CSUR), v.41 n.3, p.1-136, July 2009