A Concurrent Copying Garbage Collector for Languages That Distinguish (im)mutable data

ACM SIGPLAN Notices

Volumn 28, Issue 7, 1993, Pages 73-82

  Huelsbergen, Lorenz ^a   Larus, James R ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976843302     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/173284.155340     Document Type: Article

References (27)

1. A. W. Appel. Garbage collection can be faster than stack allocation. Information Processing Letters, 25:275-279, 1987.
2. A. W. Appel. Runtime tags aren't necessary. Lisp and Symbolic Computation, 2:153-162, 1989.
3. A. W. Appel. Simple generational garbage collection and fast allocation. Software Practice & Experience, 19(2):171-183, February 1989.
4. A. W. Appel. A runtime system. Lisp and Symbolic Computation, 3:343-380, 1990.
5. A. W. Appel. Compiling with Continuations. University of Cambridge Press, 1992.
6. A. W. Appel, J. R. Ellis, and K. Li. Real-time concurrent collection on stock multiprocessors. In Conference on Programming Language Design and Implementation, pages 11-20. Association for Computing Machinery, June 1988.
7. A. W. Appel and D. B. MacQueen. A Standard ML compiler. Functional Programming Languages and Computer Architecture, 274:301-324, 1987.
8. H. G. Baker. List processing in real time on a serial computer. Communications of the ACM, 21(4):280-294, April 1978.
9. R. A. Brooks. Trading data space for reduced time and code space in real time garbage collection on stock hardware. In Lisp and Functional Programming, pages 256-262. Association for Computing Machinery, August 1984.
10. C. J. Cheney. A nonrecursive list compacting algorithm. Communications of the ACM, 13(11):677-678, November 1970.
11. D. Doligez and X. Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Symposium on Principles of Programming Languages, pages 113-123. Association for Computing Machinery, 1993.
12. R. R. Fenichel and J. C. Yochelson. A Lisp garbage-collector for virtual memory computer systems. Communications of the ACM, 12(11):611-12, November 1969.
13. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J. Hennessy. Memory consistency and event ordering in scalable shared-memory multiprocessors. In International Symposium on Computer Architecture, pages 15-26. Association for Computing Machinery, May 1990.
14. R. H. Halstead, Jr. Implementation of Multilisp: Lisp on a multiprocessor. In Lisp and Functional Programming, pages 9-17. Association for Computing Machinery, August 1984.
15. M. P. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13:124-149, January 1991.
16. M. P. Herlihy and J. E. B. Moss. Lock-free garbage collection for multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 3(3):304-311, May 1992.
17. P. Hudak, S. P. Jones, P. Wadler, et al. Report on the programming language Haskell. SIGPLAN Notices, 27(5), May 1992.
18. H. Lieberman and C. Hewitt. A real-time garbage collector based on the lifetimes of objects. Communications of the ACM, 26(6):419-429, June 1983.
19. J. McCarthy. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM, pages 184-195, April 1960.
20. R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, 1978.
21. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
22. S. Nettles and J. O'Toole. Replication-based real-time garbage collection. In Conference on Programming Language Design and Implementation. Association for Computing Machinery, 1993. (To appear).
23. S. C. North and J. H. Reppy. Concurrent garbage collection on stock hardware. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, pages 113-133. Springer-Verlag, 1987.
24. Guy L. Steele Jr. Multiprocessing compactifying garbage collection. Communications of the ACM, 18(9):495-508, September 1975.
25. D. Tarditi, A. Acharya, and P. Lee. No assembly required: Compiling Standard ML to C. Technical Report CMU-CS-90-187, School of Computer Science, Carnegie Mellon University, November 1990.
26. D. Ungar. The Design and Evaluation of a High Performance Smalltalk System. MIT Press, 1987.
27. B. Zorn. Comparing mark-and-sweep and stop-and-copy garbage collection. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, pages 87-98, Nice, France, June 1990.