Experience with safe manual memory-management in cyclone

International Symposium on Memory Management, ISMM

Volumn , Issue , 2004, Pages 73-84

  Hicks, Michael ^a   Grossman, Dan ^b   Morrisett, Greg ^c   Jim, Trevor ^d  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

^c HARVARD UNIVERSITY   (United States)

^d AT AND T LABS RESEARCH   (United States)

Author keywords

Cyclone; Memory management; Memory safety; Regions; Unique pointers

Indexed keywords

BINARY CODES; COMPUTER PROGRAMMING; COMPUTER SYSTEM RECOVERY; DATA STORAGE EQUIPMENT; DATA STRUCTURES; MULTIMEDIA SYSTEMS; SECURITY OF DATA; SERVERS; WORLD WIDE WEB;

CYCLONE; MANUAL MEMORY-MANAGEMENT; MEMORY SAFETY; REGIONS; UNIQUE POINTERS;

C (PROGRAMMING LANGUAGE);

EID: 21644489245     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1029873.1029883     Document Type: Conference Paper

References (38)

1. Peter Achten and Rinus Plasmeijer. The ins and outs of Clean I/O. Journal of Functional Programming, 5(1):81-110, 1995.
2. Alex Aiken, Manuel Fähndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 174-185, 1995.
3. Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi. Checking and inferring local non-aliasing. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 129-140, June 2003.
4. Henry Baker. Lively linear LISP - look ma, no garbage. ACM SIGPLAN Notices, 27(8):89-98, 1992.
5. Gregory Bellella, editor. The Real-Time Specification for Java. Addison-Wesley, 2000.
6. Hans-Juergen Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software - Practice and Experience, 18(9):807-820, 1988.
7. Chandrasekhar Boyapati, Alexandra Sǎlcianu, William Beebee, and Martin Rinard. Ownership types for safe region-based memory management in real-time Java. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 324-337, June 2003.
8. John Boyland. Alias burying: Unique variables without destructive reads. Software - Practice and Experience, 31(6):533-553, 2001.
9. Dave Clarke and Tobias Wrigstad. External uniqueness is unique enough. In European Conference on Object-Oriented Programming (ECOOP), pages 176-200, July 2003.
10. Cyclone, version 0.8. Available at http://www.eecs.harvard.edu/~greg/cyclone/.
11. Robert DeLine and Manuel Fähndrich. Enforcing high-level protocols in low-level software. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 59-69, June 2001.
12. Manuel Fähndrich and Robert DeLine. Adoption and focus: Practical linear types for imperative programming. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 13-24, June 2002.
13. Matthew Fluet and Daniel Wang. Implementation and performance evaluation of a safe runtime system in Cyclone. In Informal Proceedings of the SPACE 2004 Workshop, January 2004.
14. David Gay and Alex Aiken. Language support for regions. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 70-80, June 2001.
15. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 282-293, June 2002.
16. Niels Hallenberg, Martin Elsman, and Mads Tofte. Combining region inference and garbage collection. In Proc. ACM Conference on Programming Language Design and Implementation (PLDI), pages 141-152, June 2002.
17. Douglas Harms and Bruce Weide. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering, 17(5):424-435, May 1991.
18. Chris Hawblitzel. Adding Operating System Structure to Language-Based Protection. PhD thesis, June 2000.
19. Fritz Henglein, Henning Makholm, and Henning Niss. A direct approach to control-flow sensitive region-based memory management. In Proc. Principles and Practice of Declarative Programming (PPDP), pages 175-186, September 2001.
20. Maurice Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124-149, January 1991.
21. Matthew Hertz and Emery Berger. Automatic vs. explicit memory management: Settling the performance debate. Technical Report CS TR-04-17, University of Massachussetts Department of Computer Science, 2004.
22. Michael Hicks, Adithya Nagajaran, and Robbert van Renesse. MediaNet: User-defined adaptive scheduling for streaming data. In Proc. IEEE Conference on Open Architectures and Network Programming (OPENARCH), pages 87-96, April 2003.
23. Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In Proc. USENIX Annual Technical Conference, pages 275-288, June 2002.
24. Doug Lea. A memory allocator. http://gee.cs.oswego.edu/dl/html/malloc.html.
25. David Mazières. A toolkit for user-level file systems. In Proc. USENIX Annual Technical Conference, pages 261-274, June 2001.
26. Mike Muuss. The story of TTCP. http://ftp.arl.mil/~mike/ttcp.html.
27. Niels Provos. libevent - an event notification library. http://www.monkey.org/~provos/libevent/.
28. Fred Smith, David Walker, and Greg Morrisett. Alias types. In Proc. European Symposium on Programming (ESOP), pages 366-381, March 2000.
29. Tachio Terauchi and Alex Aiken. Memory management with use-counted regions. Technical Report UCB//CSD-04-1314, University of California, Berkeley, March 2004.
30. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy H≤jfeld Olesen, and Peter Sestoft. Programming with regions in the ML Kit (for version 4). Technical report, IT University of Copenhagen, September 2001.
31. Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109-176, February 1997.
32. Philip Wadler. Linear types can change the world! In Programming Concepts and Methods, April 1990. IFIP TC 2 Working Conference.
33. David Walker, Karl Crary, and Greg Morrisett. Typed memory management in a calculus of capabilities. ACM Transactions on Programming Languages and Systems, 24(4):701-771, July 2000.
34. David Walker and Greg Morrisett. Alias types for recursive data structures. In Proc. Workshop on Types in Compilation (TIC), pages 177-206, September 2000.
35. David Walker and Kevin Watkins. On regions and linear types. In Proc. ACM International Conference on Functional Programming (ICFP), pages 181-192, September 2001.
36. Daniel Wang and Andrew Appel. Type-preserving garbage collectors. In Proc. ACM Symposium on Principles of Programming Languages (POPL), pages 166-178, January 2001.
37. Hongwei Xi and Frank Pfenning. Dependent types in practical programming. pages 214-227, January 1999.
38. Benjamin G. Zorn. The measured cost of conservative garbage collection. Software - Practice and Experience, 23(7):733-756, 1993.