Thread-specific heaps for multi-threaded programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 1, 2001, Pages 18-24

  Steensgaard, Bjarne ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0005238546     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/362426.362432     Document Type: Article

References (21)

1. G. Back, W. C. Hsieh, and J. Lepreau. Processes in kaffeos: Isolation, resource management, and sharing in java. Technical Report UUCS-00-010, Department of Computer Science, University of Utah, Apr. 2000.
2. B. Blanchet. Escape Analysis for Object-Oriented Languages: Application to Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), pages 20-34. ACM Press, Oct. 1999.
3. B. Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 25-37, San Diego, California, Jan. 98.
4. C. J. Cheney. A nonrecursive list compacting algorithm. Commun. ACM, 13(11):677-678, 1970.
5. J.-D. Choi, M. Gupta, M. Serrano, V. C. Shreedhar, and S. Midkiff. Escape Analysis for Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), pages 1-19. ACM Press, Oct. 1999.
6. M. V. Christiansen and P. Velschow. Region-based memory management in java. Master's thesis, University of Copenhagen, Denmark, May 1998.
7. A. Deutsch. On the complexity of escape analysis. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 358-371, Paris, France, Jan. 97.
8. R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi. Marmot: An optimizing compiler for Java. Software: Practice and Experience, 30(3):199-232, Mar. 2000.
9. D. Gay and B. Steensgaard. Fast escape analysis and stack allocation for object-based programs. In 9th International Conference on Compiler Construction, volume 1781 of Lecture Notes in Computer Science, pages 82-93. Springer-Verlag, 2000.
10. D. K. Gifford, P. Jouvelot, M. A. Sheldon, and J. W. O'Toole. Report on the fx-91 programming language. Technical Report TR-531, MIT/LCS, Feb. 1992.
11. N. Hallenberg. Combining garbage collection and region inference in The ML Kit. Master's thesis, University of Copenhagen, Denmark, June 1999.
12. S. Hughes. Compile-time garbage collection for higher-order functional languages. Journal of Logic and Computation, 2(4):483-509, Aug. 1992.
13. K. Inoue, H. Seki, and H. Yagi. Analysis of functional programs to detect run-time garbage cells. ACM Trans. Prog. Lang. Syst., 10(4):555-578, Oct. 1988.
14. M. Mohnen. Efficient compile-time garbage collection for arbitrary data structures. Technical Report 95-08, RWTH Aachen, Department of Computer Science, 1995.
15. A. Mycroft. Polymorphic type schemes and recursive definitions. In Proceedings of the International Symposium on Programming, number 167 in Lecture Notes in Computer Science, pages 217-228. Springer-Verlag, 1984.
16. Y. G. Park and B. Goldberg. Escape analysis on lists. In Proceedings of the AGM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), pages 116-127, 1992.
17. E. Ruf. Removing synchronization operations from java. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, Vancouver, Canada, June 2000. ACM Press.
18. M. Serrano and M. Feeley. Storage use analysis and its applications. In Proceedings of the 1st International Conference on Functional Programming, June 1996.
19. M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value λ-calculus using a stack of regions. In Proceedings 21st SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188-201, Jan. 1994.
20. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, Feb. 1997.
21. J. Whaley and M. Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), pages 187-206. ACM Press. Oct. 1999.