On the usefulness of type and liveness accuracy for garbage collection and leak detection

ACM Transactions on Programming Languages and Systems

Volumn 24, Issue 6, 2002, Pages 593-624

  Hirzel, Martin ^a   Diwan, Amer ^a   Henkel, Johannes ^a  

^a UCB 450   (United States)

Author keywords

Conservative garbage collection; Experimentation; Languages; Leak detection; Liveness accuracy; Measurement; Performance; Processors Memory management (garbage collection); Program analysis; Type accuracy

Indexed keywords

EID: 0040078395     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/586088.586089     Document Type: Article

References (38)

1. AGESEN, O., DETLEFS, D., AND MOSS, J. E. B. 1998. Garbage collection and local variable type-precision and liveness in Java virtual machines. In Programming Language Design and Implementation (PLDI). ACM, New York, pp. 269-279.
2. ALPERN, B., ATTANASIO, C. R., BARTON, J. J., BURKE, M. G., CHENG, P., CHOI, J.-D., COCCHI, A., FINK, S. J., GROVE, D., HIND, M., HUMMEL, S. F., LIEBER, D., LITVINOV, V., MERGEN, M. F., NGO, T., RUSSELL, J. R., SARKAR, V., SERRANO, M. J., SHEPHERD, J. C., SMITH, S. E., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. 2000. The Jalapeño virtual machine. IBM Syst. J., 39, 1 (Feb.), 211-238.
3. APPEL, A. W. 1990. A runtime system. LISP Symb. Computat., 3, 4 (Nov.), 343-380.
4. ATTANASIO, C. R., BACON, D. F., COCCHI, A., AND SMITH, S. 2001. A comparative evaluation of parallel garbage collector implementations. In Workshop on Languages and Compilers for Parallel Computing (LCPC), (Aug.).
5. BARTLETT, J. F. 1988. Compacting garbage collection with ambiguous roots. Tech. Rep. 88/2. DEC Western Research Laboratory, Palo Alto, Calif. (Also in LISP Pointers 1, 6 (Apr.-June), 2-12.
6. BARTLETT, J. F. 1989. Mostly-copying garbage collection picks up generations and C++. Tech. Rep. DEC Western Research Laboratory, Palo Alto, Calif.
7. BOEHM, H.-J., DEMERS, A. J., AND SHENKER, S. 1991. Mostly parallel garbage collection. In Programming Language Design and Implementation (PLDI) (Nov.). ACM, New York, pp. 157-164.
8. BOEHM, H.-J., DEMERS, A. J., AND WEISER, M. 2002. A garbage collector for C and C++. http://www.hpl.hp.com/personal/Hans_Boehm/gc/.
9. BOEHM, H.-J. AND SHAO, Z. 1993. Inferring type maps during garbage collection. In OOPSLA '93 Workshop on Memory Management and Garbage Collection (Sept.). ACM, New York.
10. BOEHM, H.-J. AND WEISER, M. 1988. Garbage collection in an uncooperative environment Softw. -Pract. Exp. (SPE), 18, 9 (Sept.), 807-820.
11. COLNET, D. COUCAUD, P., AND ZENDRA, O. 1998. Compiler support to customize the mark and sweep algorithm. In International Symposium on Memory Management (ISMM) (Oct.) pp. 154-165.
12. DION, J. AND MONIER, L. 2002. Third degree. http://research.compaq.com/wrl/projects/om/ third.html.
13. DIWAN, A., MOSS, J. E. B., AND HUDSON, R. L. 1992. Compiler support for garbage collection in a statically typed language. In Programming Language Design and Implementation (PLDI) (July). ACM, New York, pp. 273-282.
14. EDISON DESIGN GROUP. 2002. http://www.edg.com.
15. FITZGERALD, R. AND TARDITI, D. 2000. The case for profile-directed selection of garbage collectors. In International Symposium on Memory Management (ISMM) (Oct.), pp. 111-120.
16. GEODESIC SYSTEMS. 2002. Great Circle - Real-time error detection and code diagnosis for developers, http://www.geodesic.com/solutions/products_gc_overview.html.
17. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Addison-Wesley, Reading, Mass.
18. HASTINGS, R. AND JOYCE, B. 1992. Fast detection of memory leaks and access errors. In Proceedings of the Winter '92 USENIX Conference, pp. 125-136.
19. HENDERSON, F. 2002. Accurate garbage collection in an uncooperative environment. In International Symposium on Memory Management (ISMM) (June).
20. HICKS, M. W., MOORE, J. T., AND NETTLES, S. M. 1997. The measured cost of copying garbage collection mechanisms. In International Conference on Functional Programming (ICFP) (June), pp. 292-305.
21. HUDSON, R. L., MOSS, J. E. B., DIWAN, A., AND WEIGHT, C. F. 1991. A language-independent garbage collector toolkit. Tech. Rep. 91-47. Univ. Massachusetts at Amherst, Amherst, Mass.
22. JONES, R. AND LINS, R. 1997. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, New York.
23. MILNER, R., TOFTE, M., AND HARPER, R. 1990. The definition of Standard ML. MIT Press, Cambridge, Mass.
24. NELSON, G. 1991. (Ed.) Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, N.J.
25. RÖJEMO, N. AND RUNCIMAN, C. 1996. Lag, drag, void and use - heap profiling and space-efficient compilation revisited. In International Conference on Functional Programming (ICFP) (Philadelphia, Pa. May) pp. 34-41. (Also available as ACM SIGPLAN Notices 31, 6).
26. RÖJEMO, N. AND RUNCIMAN, C. 1996. Lag, drag, void and use - heap profiling and space-efficient compilation revisited. In International Conference on Functional Programming (ICFP) (Philadelphia, Pa. May) pp. 34-41. (Also available as ACM SIGPLAN Notices 31, 6).
27. SHAHAM, R., KOLODNER, E. K., AND SAGIV, M. 2000. On the effectiveness of GC in Java. In International Symposium on Memory Management (ISMM) (Oct.), pp. 12-17.
28. SHAHAM, R., KOLODNER, E. K., AND SAGIV, M. 2001. Heap profiling for space-efficient Java. In Programming Language Design and Implementation (PLDI) (June). ACM, New York, pp. 104-113.
29. SMITH, F. AND MORRISETT, G. 1998. Comparing mostly-copying and mark-sweep conservative collection. In International Symposium on Memory Management (ISMM) (Oct.), pp. 68-78.
30. STANFORD UNIVERSITY SUIF RESEARCH GROUP. 2002. SUIF compiler system version 1.x. http://suif.stanford.edu/suif/suif1/index.html.
31. STICHNOTH, J. M., LUEH, G.-Y., AND CIERNIAK, M. 1999. Support for garbage collection at every instruction in a Java compiler. In Programming Language Design and Implementation (PLDI) (May). ACM, New York, pp. 118-127.
32. TARDITI, D., MORRISETT, G., CHENG, P., STONE, C., HARPER, R., AND LEE, P. 1996. TIL: A type-directed optimizing compiler for ML. In Programming Language Design and Implementation (PLDI) (May). ACM, New York, pp. 181-192.
33. TOFTE, M. 1998. A brief introduction to regions. In International Symposium on Memory Management (ISMM) (Oct.), pp. 186-195.
34. UNGAR, D. 1984. Generation scavenging: A non-disruptive high performance storage reclamation algorithm. In Software Engineering Symposium on Practical Software Development Environments (SDE). pp. 157-167.
35. WILSON, P. 1992. Uniprocessor garbage collection techniques. In International Workshop on Memory Management (Sept.), pp. 1-42.
36. WILSON, R. P., FRENCH, R. S., WILSON, C. S., AMARASINGHE, S. P., ANDERSON, J.-A. M., TJIANG, S. W. K., LIAO, S.-W., TSENG, C.-W., HALL, M. W., LAM, M. S., AND HENNESSY, J. L. 1994. SUIF: An infrastructure for research on parallelizing and optimizing compilers. ACM SIGPLAN Not. 29, 12 (Dec.), 31-37.
37. ZORN, B. 1993. The measured cost of conservative garbage collection. Softw. - Pract. Exp. 23, 7 (July), 733-756.
38. ZORN, B. G., 1991. The effect of garbage collection on cache performance. Tech. Rep. CU-CS-528-91. Univ. Colorado at Boulder, Boulder, Col., May.