An efficient parallel garbage collection system and its correctness proof

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

Volumn 1977-October, Issue , 1977, Pages 120-131

  Kung, H T ^a   Song, S W ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85023335257     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/sfcs.1977.5     Document Type: Conference Paper

References (8)

1. Dijkstra, E. W. et. al. "On-the-fly Garbage Collection: An Exercise in Cooperation", in Language Hierarchies and Interfaces, edited by F. L. Bauer and K. Samalson, Springer-Verlag, New York, 43-56.
2. Gries, D. "An Exercise in Proving Parallel Programs Correct", in Language Hierarchies and Interfaces, edited by F. L. Bauer and K. Samalson, Springer-Verlag, New York, 57-81.
3. Gries, D. "On Believing Programs To Be Correct", Comm. ACM 20, 49-50.
4. Kung, H. T. and Song, S. W., "Performance Analysis of a Parallel Garbage Collection System", Department of Computer Science Report, Carnegie-Mellon University, August 1977.
5. Knuth, D. E. The Art Computer Programming, vol.1: Fundamental Algorithms. Addison-Wesley, Reading, Mass..
6. Lamport, L. "Garbage Collection with Multiple Processes: an Exercise in Parallelism", in Proc. 1976 International Conference on Parallel Processing, edited by P. H. Enslow Jr., IEEE Computer Society, Long Beach, California, 50-54.
7. Steele, G. L. Jr. "Multiprocessing Compactifying Garbage Collection", Comm. ACM. 18, 495-508.
8. Wadler, P. L. "Analysis of an Algorithm for Real Time Garbage Collection", Comm. ACM 19, 491-500.