Empirical and analytic study of stack versus heap cost for languages with closures

Journal of Functional Programming

Volumn 6, Issue 1, 1996, Pages 47-74

  Appel, Andrew W ^a   Shao, Zhong ^a,b  

^a Princeton University   (United States)

^b Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030554372     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S095679680000157X     Document Type: Article

References (44)

1. Allen, M. S. and Becker, M. C. (1993) Multiprocessing aspects of the PowerPC 601. In: IEEE COMPCON, pp. 117-126, February. IEEE Press.
2. Appel, A. W. (1987) Garbage collection can be faster than stack allocation. Infor. Process. Lett., 25(4): 275-279.
3. Appel, A. W. (1989) Simple generational garbage collection and fast allocation. Software - Practice and Experience, 19(2): 171-183.
4. Appel, A. W. (1992) Compiling with Continuations. Cambridge University Press.
5. Appel, A. W. (1994) Emulating write-allocate on a no-write-allocate cache. Technical Report CS-TR-459-94, Princeton University.
6. Appel, A. W. and Trevor, J. (1989) Continuation-passing, closure-passing style. In: 16th ACM Symp. on Principles of Programming Languages, pp. 293-302. ACM Press.
7. Appel, A. W. and Kai Li. (1991) Virtual memory primitives for user programs. In: 4th Int. Conf. Architectural Support for Programming Languages and Operating Systems (SIGPLAN Notices 26(4): 96-107). ACM Press.
8. Appel, A. W. and MacQueen, D. B. (1991) Standard ML of New Jersey. In: Wirsing, M., editor, 3rd Int. Symp. on Programming Language Implementation and Logic Programming, pp. 1-13. Springer-Verlag.
9. Appel, A. W. and Shao, Z. (1992) Callee-save registers in continuation-passing style. Lisp and Symbolic Computation, 5: 189-219.
10. Asprey, T., Averill, G. S., DeLano, E., Mason, R., Weiner, B. and Yetter, J. (1993) Performance features of the PA7100 microprocessor. IEEE Micro, 13(3).
11. Augustsson, L. (1989) Garbage collection in the < v,g >-machine. Technical Report PMG memo 73, Department of Computer Sciences, Chalmers University of Technology.
12. Baker, H. G. (1976) The buried binding and stale binding problems of LISP 1.5. Unpublished paper.
13. Cardelli, L. (1984) Compiling a functional language. In: Symposium on LISP and Functional Programming, pp. 208-217. ACM Press.
14. Chase, D. R. (1988) Safety considerations for storage allocation optimizations. In: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, pp. 1-9. ACM Press.
15. Clinger, W. D., Hartheimer, A. H. and Ost, E. M. (1988) Implementation strategies for continuations. In: ACM Conf. on Lisp and Functional Programming, pp. 124-131. ACM Press.
16. Danvy, O. (1987) Memory allocation and higher-order functions. In: Proc. SIGPLAN'87 Symp. on Interpreters and Interpretive Techniques, pp. 241-252. ACM Press.
17. Digital Equipment Corp. (1992) DECchip(tm) 21064-AA Microprocessor Hardware Reference Manual. First edition. DEC, Maynard, MA.
18. Diwan, A., Tarditi, D. and Moss, E. (1994) Memory subsystem performance of programs using copying garbage collection. In: Proc. 21st Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 1-14. ACM Press.
19. Doligez, D. and Gonthier, G. (1994) Re: stack scanning for generational g.c. Email message 403041606. AA07877@lix.polytechnique.fr.
20. Duba, B., Harper, R. and MacQueen, D. (1991) Typing first-class continuations in ML. In: 18th Ann. ACM Symp. on Principles of Programming Languages, pp. 163-173. ACM Press.
21. Hanson, D. R. (1980) A portable storage management system for the Icon programming language. Software - Practice and Experience, 10: 489-500.
22. Hanson, C. (1990) Efficient stack allocation for tail-recursive languages. In: ACM Conf. on Lisp and Fucntional Programming, pp. 106-118. ACM Press.
23. Hardell, W. R., Hicks, A. A., Howell, L. C., Maule, W. E., Montoye, R. and Tuttle, D. P. (1990) Data cache and storage control units. In: IBM RISC System/6000 Technology, pp. 44-50. IBM.
24. Hieb, R., Dybvig, R. K. and Bruggeman, C. (1990) Representing control in the presence of first-class continuations. In: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, pp. 66-77. ACM Press.
25. Hill, M. D. (1988) A case for direct-mapped caches. IEEE Computer, 21(12): 25-40.
26. Jones, R. (1992) Tail recursion without space leaks. J. Functional Programming, 2(1): 73-79.
27. Jouppi, N. P. (1993) Cache write policies and performance. In: Proc. 20th Ann. Int. Symposium on Computer Architecture, pp. 191-201. ACM Press.
28. Kranz, D., Kelsey, R., Rees, J., Hudak, P., Philbin, J. and Adams, N. (1986) ORBIT: An optimizing compiler for Scheme. SIGPLAN Notices (Proc. Sigplan '86 Symp. on Compiler Construction), 21(7): 219-233.
29. Kranz, D. (1987) ORBIT: An optimizing compiler for Scheme. PhD thesis, Yale University.
30. Leroy, X. (1992) Unboxed objects and polymorphic typing. In: 19th Ann. ACM Symp. on Principles of Programming Languages, pp. 177-188. ACM Press.
31. Rees, J. and Clinger, W. (1986) Revised report on the algorithmic language Scheme. SIGPLAN Notices, 21(12): 37-79.
32. Reinhold, M. B. (1994) Cache performance of garbage-collected programs. In: Proc. SIGPLAN Symp. on Programming Language Design and Implementation, pp. 206-217. ACM Press.
33. Reppy, J. H. (1991) CML: A higher-order concurrent language. In: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, pp. 293-305. ACM Press.
34. Reppy, J. H. (1993) A high-performance garbage collector for Standard ML. Technical memorandum, AT&T Bell Laboratories, Murray Hill, NJ.
35. Runciman, C. and Wakeling, D. (1993) Heap profiling of lazy functional programs. J. Functional Programming, 3(2): 217-246.
36. Shao, Z. and Appel, A. W. (1994) Space-efficient closure representations. In: Proc. ACM Conf. on Lisp and Functional Programming, pp. 150-161. ACM Press.
37. Steele, G. L. (1978) Rabbit: a compiler for Scheme. Technical Report AI-TR-474, MIT, Cambridge, MA.
38. Stefanovic, D. and Moss, J. E. B. (1994) Characterization of object behaviour in Standard ML of New Jersey. In: Proc. ACM Conf. on Lisp and Functional Programming, pp. 43-54. ACM Press.
39. System Performance Evaluation Corp. (1989) SPEC Benchmark Suite Release 1.0. October.
40. Ungar, D. M. (1986) The Design and Evaluation of a High Performance Smalltalk System. MIT Press, Cambridge, MA.
41. Wand, M. (1980) Continuation-based multiprocessing. In: Conf. Record of the 1980 Lisp Conf., pp. 19-28. ACM Press.
42. Wilson, P. R., Lam, M. S. and Moher, T. G. (1992) Caching considerations for generational garbage collection. In: ACM Conf. on Lisp and Functional Programming, pp. 32-42. ACM Press.
43. Wilson, P. R. (1991) Some issues and strategies in heap management and memory hierarchies. SIGPLAN Notices, 26 (3): 45-52.
44. Zorn, B. (1991) The effect of garbage collection on cache performance. Technical Report CU-CS-528-91, University of Colorado, Boulder, CO.