Efficient memory management in a merged heap/stack prolog machine

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2000, Pages 245-256

  Li, Xining ^a  

^a LAKEHEAD UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CACHE MEMORY; COSTS; PROLOG (PROGRAMMING LANGUAGE);

MEMORY MANAGEMENT;

DATA STORAGE EQUIPMENT;

EID: 0034592775     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/351268.351296     Document Type: Conference Paper

References (25)

1. H. Ait-Kaci. Warren's Abstract Machine: a Tutorial Reconstruction. MIT Press, 1991.
2. K. Appleby, M. Carlsson, S. Haridi, and D. Sahlin. Garbage collection for Prolog based on WAM. Communications of the ACM, 31(6):719-741, 1988.
3. D. Barrett and B. Zorn. Garbage collection using a dynamic threatening boundar. In Conference on Programming Language Design and Implementation, pages 301-314. SIGPLAN'95, ACM, 1995.
4. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic memory management for sequential logic programming languages. In IWMM'92, LNCS 637, Springer, pages 344-355, 1992.
5. J. Bevemyr and T. Lindgren. Simple and efficient copying garbage collection for Prolog. In PLILP'94, LNCS 844, Springer, 1994.
6. M. Bruynooghe. Garbage collection in Prolog interpreters. In Implementation of Prolog, pages 259-267. Ellis Horwood Ltd., 1984.
7. C. J. Cheney. A nonrecursive list compacting algorithm. Communications of the ACM, 13(11):677-678, 1970.
8. B. Demoen, G. Engels, and P. Tarau. Segment order preserving copying garbage collection for WAM based prolog. In Proceedings of the 1996 ACM Symposium on Applied Computing, pages 380-386, 1996.
9. Y. Ding and X. Li. Cache performance of chronological garbage collection. In Proceedings of CCECE'98, pages 1-4, 1998.
10. R. R. Fenichel and J. C. Yochelson. A Lisp garbage collector for virtual memory computer systems. Communications of the ACM, 12(11):611-612, 1969.
11. M. J. R. Goncalves and A. W. Appel. Cache performance of fast-allocating programs. In Proceedings of the 7th FPCA, ACM Press, pages 293-305, 1995.
12. R. C. Haygood. Native code compilation in SICStus Prolog. In Proceedings of the 11th International Conference on Logic Programming, Vol. 34(1), pages 191-204, 1994.
13. S. L. Huitouze. A new data structure for implementing extensions to Prolog. In PLILP'90, LNCS 456, Springer, pages 136-150, 1990.
14. R. Jones and R. Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, 1996.
15. A. Marien and B. Demoen. A new scheme for unification in WAM. In Proceedings of the International Symposium on Logic Programming, pages 257-271, 1991.
16. P. Messina, D. Culler, W. Pfeiffer, W. Martin, J. Oden, and G. Smith. The high-performance computing continuum: Architecture. Communications of ACM, 41(11):36-44, 1998.
17. M. B. Reinhold. Cache performance of garbage collected program. SIGPLAN 94-6, ACM, pages 206-217, 1994.
18. D. Sahlin and M. Carlson. Variable shunting for the WAM. SICS Research Report R91:07, 1991.
19. K. Taki. Parallel inference machine PIM. Fifth Generation Computer Systems, pages 50-72, 1992.
20. P. Tarau. Ecological memory management in a continuation passing Prolog engine. In International Workshop IWMM92, LNCS 637, Springer, pages 344-355, 1992.
21. P. Van Roy. 1983-1993: The wonder years of sequential Prolog implementation. J. Logic Programming, 19, 20:385-441, 1994.
22. D. H. D. Warren. An abstract prolog instruction set. Technical Note 309, SIR International, 1983.
23. P. R. Wilson, M. S. Lam, and T. G. Moher. Caching considerations for generational garbage collection. In Proceedings on Lisp and Functional Programming, ACM, pages 32-42, 1992.
24. N. Zhou. Parameter passing and control stack management in Prolog implementation revisited. ACM Trans. on Programming Languages and Systems, pages 1-28, Nov. 1996.
25. B. G. Zorn. The effect of garbage collection on cache performance. In Tech. Report CU-CS-528-91, Univ. of Colorado at Boulder, 1991.