Abstract
Finalization occurs when a garbage collector informs an application that an object is "almost collectable." It is used to help an application maintain its invariants. To make finalization more useful, this paper defines "almost collectable" in terms of a new class of objects, called ephemerons. Ephemerons are similar to weak pairs, but an object in an ephemeron's key field may be classed as "almost collectable" even if it is reachable from the epehemeron's value fields.
- AAB+91 H. Abclson, N. I. Adams IV, D. H. Bartlcy, G. Brooks, R. IC Dybvig, D. P. Friedman, R. Halstead, C. Hanson, C. T. Haynes, E. Kohlbccker, D. Oxley, K. M. Pitman, G. J. Rozas, G. L. Steele JR., G. J. Sussman, and M. Wand. Revised(4) Report on the Algorithmic Language Scheme. ACM Lisp Pointers, IV(3), November 1991. Google ScholarDigital Library
- ADH+89 R. Atkinson, Alan Demers, Carl Hauscr, Christian Jacobi, Peter Kessler, and Mark Wciser. Experiences creating a portable Cedar. SIGPLAN Notices, 24(7):261-269, July 1989. Google ScholarDigital Library
- BW88 Hans-Juergcn Bochm and Mark Wciser. Garbage collection in an uncooperative environment. Software Practice and Experience, 18(9):807-820, 1988. Google ScholarDigital Library
- COL60 George E. Collins. A method for overlapping and erasure of lists. Communications of the A CM, 3(12):655-657, December 1960. Google ScholarDigital Library
- DB76 L. Peter Deutsch and Daniel G. Bobrow. An cfficient incremental automatic garbage collector. Communications of the ACM, I9(9):522-526, Scptcmbcr 1976. Google ScholarDigital Library
- DBE93 R. Kent Dybvig, Carl Bruggeman, and David Eby. Guardians in a generation-based garbage collector. In Proceedings of SIGPLAN'93 Conference on Programming Languages Design and implementation, volume 28(6):207- 216 ofACM SIGPLAN Notices, Albuquerque, New Mexico, June 1993. ACM Press. Google ScholarDigital Library
- FY69 Robert R. Fenichel and Jerome C. Yochelson. A Lisp garbage collector for virtual memory computer systems. Communications of the ACM, 12(11):611-612, November 1969. Google ScholarDigital Library
- GSJ96 James Gosling, Bill Joy, and Guy Steele. The Java Language Spec~ication, Addison -Wesley, August, 1996. Google ScholarDigital Library
- Hay92 Barry Hayes "Finalization in the Collector Interface" in Menwry Management, Proceedings of The International Workshop on Memory Management, 1992, St. Malo, France, September, 1992, Y. Bekkers and J. Cohen, editors, LNCS 637:277-298, Springer-~erlag. Google ScholarDigital Library
- LH83 Henry Lieberman and Carl E. Hewitt. A real-time garbage collector based on the lifetimes of objects. Communications of the ACM, 26(6):419-29, 1983. Also report TM-184, Laboratory for Computer Science, MIT, Cambridge, MA, July 1980 and AI Lab Memo 569, 1981. Google ScholarDigital Library
- Par90 ParePlace Systems. ObjectWorks/Smalltalk User's Guide, Release 4. ParcPlace Systems, Inc, Mountain View, CA, 1990.Google Scholar
- RAM84 Jonathan A. Rees, Norman I. Adams, and James R. Mccchan. The T Manual. Technical report,. Yale University, January 1984.Google Scholar
- Rov85 Paul Rovncn On adding garbage coUection and runtimc types to a strongly-typed, statically-checked, concurrent language. Technical Report CSL-84-7, Xerox PARC, Palo Alto, CA, July 1985.Google Scholar
- Wil92 Paul R. Wilson. "Uniproccssor Garbage Collection Techniques" in Memory Management, Proceedings of The International Workshop on Memory Management, 1992, St. Malo, France, September, 1992, Y. Bckkcrs and $. Cohen, editors, LNCS 637:1-42, Springer-Verlag. Google ScholarDigital Library
- Xer85 Xerox Corporation. Interlisp Reference Manual, Volume 1. Xerox Corporation, Palo Alto, CA, October 1985.Google Scholar
Index Terms
- Ephemerons: a new finalization mechanism
Recommendations
Ephemerons: a new finalization mechanism
OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applicationsFinalization occurs when a garbage collector informs an application that an object is "almost collectable." It is used to help an application maintain its invariants. To make finalization more useful, this paper defines "almost collectable" in terms of ...
Reference object processing in on-the-fly garbage collection
ISMM '14Most proposals for on-the-fly garbage collection ignore the question of Java's weak and other reference types. However, we show that reference types are heavily used in DaCapo benchmarks. Of the few collectors that do address this issue, most block ...
Reference object processing in on-the-fly garbage collection
ISMM '14: Proceedings of the 2014 international symposium on Memory managementMost proposals for on-the-fly garbage collection ignore the question of Java's weak and other reference types. However, we show that reference types are heavily used in DaCapo benchmarks. Of the few collectors that do address this issue, most block ...
Comments