Time required for garbage collection in retention block-structured languages

  • D. M. Berry
  • A. Sorkin
Article

Abstract

This paper investigates the time requirements for an implementation of retention block-structured languages that uses a garbage collector as its sole means for recovering inaccessible storage. The usual three-pass markcompactify-and-update garbage collector is optimized to eliminate the need for the third pass in the event that the executed program is lifetime well-stacking.

Key words

Block-structured languages retention vs. deletion contour model garbage collection time estimates 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    D. M. Berry, “The importance of implementation models in Algol 68 or how to discover the concept of necessary environment,”SIGPLAN Not.5:(9) (September, 1970).Google Scholar
  2. 2.
    D. M. Berry, “Introduction to Oregano,”DSIPL (1971).Google Scholar
  3. 3.
    D. M. Berry, “Block Structure: Retention vs. Deletion,”Proc. Third Symposium on Theory of Computation (1971).Google Scholar
  4. 4.
    D. M. Berry, “On the Design and Specification of the Programming Language Oregano,” UCLA-ENG-7388 Computer Science Department, UCLA (January 1974).Google Scholar
  5. 5.
    D. M. Berry, L. M. Chirica, J. B. Johnston, D. F. Martin, and A. Sorkin, “Time required for reference count management in retention block-structured languages,”Int. J. Comput. Inf. Sci. 7:11–64; 91–119 (1978).Google Scholar
  6. 6.
    P. Branquart and J. Lewi, “A scheme of storage allocation and garbage collection for ALGOL 68,” in Ref. 13 (1970).Google Scholar
  7. 7.
    L. M. Chirica, T. A. Dreisbach, D. F. Martin, J. G. Peetz, and A. Sorkin, “Two PARALLEL EULER Run Time Models: The Dangling Reference, Imposter Environment, and Label Problems,”Proc. ACM Symposium on High Level Language Computer Architecture, SIGPLAN Not.8:(11) (November, 1973).Google Scholar
  8. 8.
    M. J. Fischer, “Lambda Calculus Schemata,”Proc. ACM Conference on Proving Assertions about Programs, SIGPLAN Not.7:(1) (January, 1972).Google Scholar
  9. 9.
    J. B. Johnston, “The Contour Model of Block Structured Processes,”DSIPL (1971).Google Scholar
  10. 10.
    J. B. Johnston, D. M. Berry, and D. P. Murphy, “Expression Stack Management in Nested Declaration Computation,” Eighth Annual Princeton Conference on Information Science and Systems (March 1974).Google Scholar
  11. 11.
    D. Knuth,The Art of Computer Programming, Vol. 1, Chap. 2, (Addison-Wesley, Reading, Mass., 1968).Google Scholar
  12. 12.
    E. I. Organick,Computer Systems Organization (Academic Press, New York, 1973).Google Scholar
  13. 13.
    J. E. L. Peck (Ed.), ALGOL 68 Implementation (North Holland, Amsterdam, 1970).Google Scholar
  14. 14.
    B. Randall and L. J. Russell,ALGOL 60 Implementation (Academic Press, New York, 1964).Google Scholar
  15. 15.
    J. D. Reynolds, “GEDANKEN—A simple typeless language based on the principle of completeness and the reference concept,”Commun. ACM 13(5) (May 1970).Google Scholar
  16. 16.
    H. Schorr and W. M. Waite, “An efficient machine-independent procedure for garbage collection in various list structures,”Commun. ACM 10(8) (August 1967).Google Scholar
  17. 17.
    A. van Wijngaardenet al., “Report on the algorithmic language ALGOL 68,”Num. Math. 14:79–218 (1969).Google Scholar
  18. 18.
    A. van Wijngaardenet al., “Revised Report on the Algorithmic Language ALGOL 68,” Technical Report TR74-3, Computer Science Department, University of Alberta, Edmonton, Alberta (March 1974).Google Scholar
  19. 19.
    K. Walk,et al, Formal Definition of PL/I, ULD Version III (IBM, Vienna, 1969).Google Scholar
  20. 20.
    P. Wegner, “Data structure models for programming languages,”DSIPL (1971).Google Scholar
  21. 21.
    J. M. Wozencraft and A. Evans, “Notes on Programming Linguistics,” Electrical Engineering Department, Massachusetts Institute of Technology (1970).Google Scholar

Copyright information

© Plenum Publishing Corporation 1978

Authors and Affiliations

  • D. M. Berry
    • 1
  • A. Sorkin
    • 1
  1. 1.Computer Science DepartmentUCLALos Angeles

Personalised recommendations