Safe manual memory management in Cyclone

Science of Computer Programming

Volumn 62, Issue 2, 2006, Pages 122-144

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

^a University of Maryland ^*  (United States)

^b HARVARD UNIVERSITY   (United States)

^c University of Washington   (United States)

^d AT AND T LABS RESEARCH   (United States)

Author keywords

Cyclone; Memory management; Memory safety; Reaps; Reference counting; Regions; Unique pointers

Indexed keywords

ABSTRACTING; COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; RESOURCE ALLOCATION; STATISTICS;

CYCLONE; MEMORY MANAGEMENT; MEMORY SAFETY; REAPS; REGIONS; UNIQUE POINTERS;

PROJECT MANAGEMENT;

EID: 33746224293     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.02.003     Document Type: Article

References (43)

1. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, Y. Wang, Cyclone: A safe dialect of C, in: Proc. USENIX Annual Technical Conference, 2002, pp. 275-288
2. Boehm H.-J., and Weiser M. Garbage collection in an uncooperative environment. Software-Practice and Experience 18 9 (1988) 807-820
3. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, J. Cheney, Region-based memory management in Cyclone, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2002, pp. 282-293
4. Tofte M., and Talpin J.-P. Region-based memory management. Information and Computation 132 2 (1997) 109-176
5. P. Wadler, Linear types can change the world! in: Programming Concepts and Methods, 1990, IFIP TC 2 Working Conference
6. D. Clarke, T. Wrigstad, External uniqueness is unique enough, in: European Conference on Object-Oriented Programming, ECOOP, 2003, pp. 176-200
7. F. Smith, D. Walker, G. Morrisett, Alias types, in: Proc. European Symposium on Programming, ESOP, 2000, pp. 366-381
8. Walker D., Crary K., and Morrisett G. Typed memory management in a calculus of capabilities. ACM Transactions on Programming Languages and Systems 24 4 (2000) 701-771
9. Boyland J. Alias burying: Unique variables without destructive reads. Software-Practice and Experience 31 6 (2001) 533-553
10. C. Hawblitzel, Adding operating system structure to language-based protection, Ph.D. Thesis, Department of Computer Science, Cornell University, June 2000
11. E.D. Berger, B.G. Zorn, K.S. McKinley, Reconsidering custom memory allocation, in: Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, 2002, pp. 1-12
12. M. Hicks, G. Morrisett, D. Grossman, T. Jim, Experience with safe manual memory-management in Cyclone, in: Proc. International Symposium on Memory Management, 2004, pp. 73-84
13. M. Hind, Pointer analysis: Haven't we solved this problem yet? in: Proc. ACM Workshop on Program Analysis for Software Tools and Engineering, PASTE, Snowbird, UT, 2001, pp. 54-61
14. D. Walker, K. Watkins, On regions and linear types, in: Proc. ACM International Conference on Functional Programming, ICFP, 2001, pp. 181-192
15. D. Grossman, Safe programming at the C level of abstraction, Ph.D. Thesis, Cornell University, 2003
16. Grossman D. Quantified types in imperative languages. ACM Transactions on Programming Languages and Systems 28 3 (2006)
17. Deutsch L.P., and Bobrow D.G. An efficient, incremental, automatic garbage collector. Communications of the ACM 19 9 (1976) 522-526
18. R. DeLine, M. Fähndrich, Enforcing high-level protocols in low-level software, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2001, pp. 59-69
19. L. Cardelli, S. Martini, J.C. Mitchell, A. Scedrov, An extension of system F with subtyping, in: Proc. International Conference on Theoretical Aspects of Computer Software, 1991, pp. 750-770
20. H. Xi, F. Pfenning, Dependent types in practical programming, in: Proc. ACM Symposium on Principles of Programming Languages, POPL, 1999, pp. 214-227
21. D. Mazières, A toolkit for user-level file systems, in: Proc. USENIX Annual Technical Conference, 2001, pp. 261-274
22. Provos N. Libevent - an event notification library. http://www.monkey.org/~provos/libevent/
23. M. Hicks, A. Nagajaran, R. van Renesse, MediaNet: User-defined adaptive scheduling for streaming data, in: Proc. IEEE Conference on Open Architectures and Network Programming, OPENARCH, 2003, pp. 87-96
24. M. Fluet, D. Wang, Implementation and performance evaluation of a safe runtime system in Cyclone, in: Informal Proceedings of the Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE) 2004 Workshop, 2004
25. D. Wang, A. Appel, Type-preserving garbage collectors, in: Proc. ACM Symposium on Principles of Programming Languages, POPL, 2001, pp. 166-178
26. Cyclone, version 0.9, http://www.eecs.harvard.edu/~greg/cyclone/, February 2006
27. Zorn B.G. The measured cost of conservative garbage collection. Software - Practice and Experience 23 7 (1993) 733-756
28. M. Hertz, E. Berger, Quantifying the performance of garbage collection vs. explicit memory management, in: Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, 2005
29. M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, Programming with regions in the ML Kit (for version 4), Tech. Rep., IT University of Copenhagen, April 2002
30. A. Aiken, M. Fähndrich, R. Levien, Better static memory management: Improving region-based analysis of higher-order languages, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 1995, pp. 174-185
31. N. Hallenberg, M. Elsman, M. Tofte, Combining region inference and garbage collection, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2002, pp. 141-152
32. D. Gay, A. Aiken, Language support for regions, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2001, pp. 70-80
33. T. Terauchi, A. Aiken, Memory management with use-counted regions, Tech. Rep. UCB//CSD-04-1314, University of California, Berkeley, March 2004
34. D. Walker, G. Morrisett, Alias types for recursive data structures, in: Proc. Workshop on Types in Compilation, TIC, 2000, pp. 177-206
35. F. Henglein, H. Makholm, H. Niss, A direct approach to control-flow sensitive region-based memory management, in: Proc. Principles and Practice of Declarative Programming, PPDP, 2001, pp. 175-186
36. Achten P., and Plasmeijer R. The ins and outs of Clean I/O. Journal of Functional Programming 5 1 (1995) 81-110
37. M. Fähndrich, R. DeLine, Adoption and focus: Practical linear types for imperative programming, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2002, pp. 13-24
38. A. Aiken, J.S. Foster, J. Kodumal, T. Terauchi, Checking and inferring local non-aliasing, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2003, pp. 129-140
39. C. Boyapati, A. Sǎlcianu, W. Beebee, M. Rinard, Ownership types for safe region-based memory management in real-time Java, in: Proc. ACM Conference on Programming Language Design and Implementation, PLDI, 2003, pp. 324-337
40. In: Bellella G. (Ed). The Real-Time Specification for Java (2000), Addison-Wesley
41. Baker H. Lively linear LISP-look ma, no garbage. ACM SIGPLAN Notices 27 8 (1992) 89-98
42. Harms D., and Weide B. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering 17 5 (1991) 424-435
43. Walker D. Substructural Type Systems (2005), MIT Press (Chapter 1)