Atomic heap transactions and fine-grain interrupts

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 9, 1999, Pages 48-59

  Shivers, Olin ^a   Clark, James W ^a   McGrath, Roland ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING;

FINE GRAINS; FUNDAMENTAL OPERATIONS; GARBAGE COLLECTION; HASKELL; LOW LATENCY; LOW OVERHEAD; PERFORMANCE PROBLEMS; SYSTEMS APPLICATIONS;

STORAGE MANAGEMENT;

EID: 17144364707     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/317765.317783     Document Type: Article

References (25)

1. Amer Diwan, Eliot Moss, and Richard Hudson. Compiler support for garbage collection in a statically typed language. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation (PLDI), pages 273-282.
2. Marc Feeley Polling efficiently on stock hardware. In Proceedings of the 1993 ACM SIGPLAN Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark, June 1993, pp. 179-187.
3. P. M. Herlihy. Wait-free synchronization. ACM transactions on programming languages and systems, 13(1), January 1991.
4. James M. Stichnoth, Guei-Yuan Lueh, and Michal Cierniak. Support for garbage collection at every instruction in a Java compiler. Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation (PLDI), pages 118-127, May, 1999.
5. Andrew W. Appel. To the best of our knowledge, this very clever technique is due to Andrew Appel and remains unpublished. One of us (Shivers) saw Andrew sketch this approach out on a blackboard in the late eighties, point out the critical trivial-abort property, and state that it had been implemented and subsequently abandoned. But no description of the technique can be found in any of Appel's published works, and when pressed, he becomes evasive, claims poor memory, and denies any involvement with the covert manipulation of autonomous processor-states. We note without further comment his long-standing support by powerful Department of Defense agencies.
6. The Flux OSKit: A substrate for kernel and language research. Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin and Olin Shivers. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (SOSP-16), October 1997, Saint-Malo, France.
7. J. Gregory Morrisett and Andrew Tolmach. Procs and Locks: A portable multiprocessing platform for Standard ML of New Jersey. In Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, May 1993.
8. Greg Nelson, editor. Systems Programming with Modula-3. Prentice Hall, 1991, Englewood Cliffs, New Jersey.
9. [MLRisc] Little has been published on Lal George's MLRisc code-generator compiler back-end. However, on-line documentation can be found at http://cm.bell-labs.com/cm/cs/ what/smlnj/doc/MLRISC/index.html.
10. David Kranz. Orbit: An Optimizing Compiler for Scheme. Ph.D. dissertation, Yale University, February 1988. Research Report 632, Department of Computer Science. A conferencelength version of this dissertation appears in SIGPLAN 86.
11. David Kranz. Orbit: An Optimizing Compiler for Scheme. Ph.D. dissertation, Yale University, February 1988. Research Report 632, Department of Computer Science. A conferencelength version of this dissertation appears in SIGPLAN 86.
12. Damien Doligez and Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. Proceedings of POPL '93.
13. George C. Necula, Peter Lee. Safe kernel extensions without run-time checking. In Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle, Washington, October 1996.
14. Alan Bawden. "PCLSRing: Keeping process state modular." Unpublished memo, available via anonymous FTP as ftp://ftp.ai.mit. edu/pub/alan/pclsr.memo.
15. Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. Ph.D. dissertation, Columbia University, 1992.
16. Andrew W. Appel, John R. Ellis, and Kai Li. Real-time concurrent collection on stock multiprocessors. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, June 1988.
17. Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In Third International symposium on Programming Language Implementation and Logic Programming, LNCS 528, pages 1-13, Martin Wirsing, editor, August 1991. Springer-Verlag, New York.
18. Mark Hill, et al. Design decisions in Spur. COMPUTER, 19(11):8-22, November 1986.
19. Jonathan A. Rees and Norman I. Adams IV. T: A dialect of Lisp or, Lambda: The ultimate software tool. In Conference Record of the 1982 ACM Symposium on LISP and Functional Programming, pages 114-122, August 1982.
20. Brian N. Bershad, David D. Redell and John R. Ellis. Fast mutual-exclusion for uniprocessors. In Proceedings of the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V), October, 1992. ACM Press, SIGARCH Computer Architecture News 20 (Special Issue October 1992), SIGOPS Operating System Review 26 (Special Issue October 1992), and SIGPLAN Notices 27(9).
21. Brian N. Bershad, David D. Redell and John R. Ellis. Fast mutual-exclusion for uniprocessors. In Proceedings of the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V), October, 1992. ACM Press, SIGARCH Computer Architecture News 20 (Special Issue October 1992), SIGOPS Operating System Review 26 (Special Issue October 1992), and SIGPLAN Notices 27(9).
22. Brian N. Bershad, David D. Redell and John R. Ellis. Fast mutual-exclusion for uniprocessors. In Proceedings of the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V), October, 1992. ACM Press, SIGARCH Computer Architecture News 20 (Special Issue October 1992), SIGOPS Operating System Review 26 (Special Issue October 1992), and SIGPLAN Notices 27(9).
23. Brian N. Bershad, David D. Redell and John R. Ellis. Fast mutual-exclusion for uniprocessors. In Proceedings of the Fifth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS V), October, 1992. ACM Press, SIGARCH Computer Architecture News 20 (Special Issue October 1992), SIGOPS Operating System Review 26 (Special Issue October 1992), and SIGPLAN Notices 27(9).
24. Paul R. Wilson. Uniprocessor garbage collection techniques. In International Workshop on Memory Management, St. Malo, France, September 1992. (Proceedings published as Springer-Verlag Lecture Notes in Computer Science, no. 637). Also available at url ftp://ftp.cs.utexas.edu/pub/ garbage/gcsurvey.ps
25. Paul R. Wilson. Uniprocessor garbage collection techniques. In International Workshop on Memory Management, St. Malo, France, September 1992. (Proceedings published as Springer-Verlag Lecture Notes in Computer Science, no. 637). Also available at url ftp://ftp.cs.utexas.edu/pub/ garbage/gcsurvey.ps