Ownership types for safe region-based memory management in real-time Java

ACM SIGPLAN Notices

Volumn 38, Issue 5, 2003, Pages 324-337

  Boyapati, Chandrasekhar ^a   Sǎlcianu, Alexandru ^a   Beebee Jr , William ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Encapsulation; Ownership types; Real time; Regions

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; TIME SHARING PROGRAMS;

REAL TIME PROGRAMS; REAL TIME SPECIFICATION FOR JAVA; SAFE REGION BASED MEMORY MANAGEMENT;

PROGRAM DIAGNOSTICS;

EID: 1442288749     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780822.781168     Document Type: Conference Paper

References (43)

1. O. Agesen, S. N. Freund, and J. C. Mitchell. Adding type parameterization to the Java language. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1997.
2. A. Aiken, M. Fähndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995.
3. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
4. D. F. Bacon, P. Cheng, and V. T. Rajan. A real-time garbage collector with low overhead and consistent utilization. In Principles of Programming Languages (POPL), January 2003.
5. H. G. Baker. List processing in real-time on a serial computer. Communications of the ACM, 21(4):280-94, 1978.
6. W. Jr. Beebee, Region-based memory management for Real-Time Java. MEng thesis, Massachusetts Institute of Technology, September 2001.
7. W. Beebee, Jr. and M. Rinard. An implementation of scoped memory for Real-Time Java. In First International Workshop on Embedded Software (EMSOFT), October 2001.
8. G. Bollella, B. Brosgol, P. Dibble, S. Furr, J. Gosling, D. Hardin, and M. Turnbull. The Real-Time Specification for Java. Addison-Wesley, 2000. Latest version available from http://www.rtj.org.
9. C. Boyapati. Ownership types for safe object-oriented programming. PhD thesis, Massachusetts Institute of Technology. In preparation.
10. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
11. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In Principles of Programming Languages (POPL), January 2003.
12. C. Boyapati, B. Liskov, and L. Shrira. Ownership types and safe lazy upgrades in object-oriented databases. Technical Report TR-858, MIT Laboratory for Computer Science, July 2002.
13. C. Boyapati, B. Liskov, L. Shrira, C. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. Submitted for publication, March 2003.
14. C. Boyapati, and M. Rinard. A parameterized type system for race-free Java programs. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001.
15. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1998.
16. M. V. Christiansen, F. Henglein, H. Niss, and P. Velschow. Safe region-based memory management for objects. Technical Report D-397, DIKU, University of Copenhagen, October 1998.
17. D. G. Clarke. Ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
18. D. G. Clarke and S. Drossopoulou. Ownership, encapsulation and disjointness of type and effect. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
19. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1998.
20. D. G. Clarke and T. Wrigstad. External uniqueness is unique enough. In European Conference for Object-Oriented Programming (ECOOP), July 2003.
21. A. Corsaro and D. Schmidt. The design and performance of the jRate Real-Time Java implementation. In International Symposium on Distributed Objects and Applications (DOA), October 2002.
22. A. Corsaro and D. Schmidt. Evaluating Real-Time Java features and performance for real-time embedded systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), September 2002.
23. K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Principles of Programming Languages (POPL), January 1999.
24. M. Day, R. Gruber, B. Liskov, and A. C. Myers. Subtypes vs. where clauses: Constraining parametric polymorphism. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1995.
25. R. DeLine and M. Fähndrich. Enforcing high-level protocols and low-level software. In Programming Language Design and Implementation (PLDI), June 2001.
26. M. Deters and R. Cytron. Automated discovery of scoped memory regions for Real-Time Java. In International Symposium on Memory Management (ISMM), June 2002.
27. M. Deters, N. Leidenfrost, and R. Cytron. Translation of Java to Real-Time Java using aspects. In International Workshop on Aspect-Oriented Programming and Separation of Concerns, August 2001.
28. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Principles of Programming Languages (POPL), January 1998.
29. D. Gay and A. Aiken. Memory management will explicit regions. In Programming Language Design and Implementation (PLDI), June 1998.
30. D. Gay and A. Aiken. Language support for regions. In Programming Language Design and Implementation (PLDI), June 2001.
31. O. Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.
32. O. Gheorghioiu, A. Sǎlcianu, and M. C. Rinard. Interprocedural compatibility analysis for static object preallocation. In Principles of Programming Languages (POPL), January 2003.
33. D. Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
34. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In Programming Language Design and Implementation (PLDI), June 2001.
35. K. R. M. Leino, and G. Nelson. Data abstraction and information hiding. Research Report 160, Compaq Systems Research Center, November 2000.
36. K. R. M. Leino, A. Poetzsch-Heffter, and Y. Zhou. Using data groups to specify and check side effects. In Programming Language Design and Implementation (PLDI), June 2002.
37. J. M. Lucassen, and D. K. Gifford. Polymorphic effect systems. In Principles of Programming Languages (POPL), January 1988.
38. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Principles of Programming Languages (POPL), January 1997.
39. A. Sǎlcianu. Pointer analysis and its application for Java programs. MEng thesis, Massachusetts Institute of Technology, September 2001.
40. A. Sǎlcianu, C. Boyapati, W. Beebee, Jr., and M. Rinard. A type system for safe region-based memory management in Real-Time Java. Technical Report TR-869, MIT Laboratory for Computer Science, November 2002.
41. A. Sǎlcianu, and M. Rinard. Pointer and escape analysis for multithreaded programs. In Principles and Practice of Parallel Programming (PPoPP), June 2001.
42. M. Tofte, and J. Talpin. Region-based memory management. In Information and Computation 132(2), February 1997.
43. M. Tofte, and J. Talpin. Implementing the call-by-value λ-calculus using a stack of regions. In Principles of Programming Languages (POPL), January 1994.