Eventrons: A safe programming construct for high-frequency hard real-time applications

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn 2006, Issue , 2006, Pages 283-294

  Spoonhower, Daniel ^a   Auerbach, Joshua ^b   Bacon, David F ^b   Cheng, Perry ^b   Grove, David ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b IBM RESEARCH   (United States)

Author keywords

Allocation; Real time; Scheduling

Indexed keywords

GARBAGE COLLECTION; NOHEAPREALTIME THREAD CONSTRUCT; PROGRAMMING CONSTRUCT; RUN-TIME MEMORY;

COMPUTER APPLICATIONS; DATA STORAGE EQUIPMENT; REAL TIME SYSTEMS; SCHEDULING; SPECIFICATIONS; VIRTUAL REALITY;

COMPUTER PROGRAMMING;

EID: 33746061679     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133255.1134015     Document Type: Conference Paper

References (24)

1. ARNOLD, M., FINK, S. J., GROVE, D., HIND, M., AND SWEENEY, P. F. A survey of adaptive optimization in virtual machines. Proceedings of the IEEE 93, 2 (2005). Special issue on Program Generation, Optimization, and Adaptation.
2. BACON, D. F., CHENG, P., AND RAJAN, V. T. A real-time garbage collector with low overhead and consistent utilization. In Proceedings of the 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (New Orleans, Louisiana, Jan. 2003). SIGPLAN Notices, 38, 1, 285-298.
3. BOBROW, D. G., AND MURPHY, D. L. Structure of a LISP system using two-level storage. Commun. ACM 10, 3 (1967), 155-159.
4. BOLLELLA, G., ET AL. The Real-Time Specification for Java. The Java Series. Addison-Wesley, 2000.
5. BOLLELLA, G., ET AL. Programming with non-heap memory in the real time specification for Java. In Companion Papers the 18th annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (New York, NY, USA, 2003), pp. 361-369.
6. BOYAPATI, C., SALCIANU, A., BEEBEE, JR., W., AND RINARD, M. Ownership types for safe region-based memory management in real-time Java. In Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (San Diego, California, 2003), pp. 324-337.
7. CHENEY, C. J. A nonrecursive list compacting algorithm. Commun. ACM 13, 11 (1970), 677-678.
8. CORSARO, A., AND CYTRON, R. K. Efficient memory-reference checks for real-time Java. In Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and Tools for Embedded Systems (New York, NY, USA, 2003), pp. 51-58.
9. CORSARO, A., AND SCHMIDT, D. C. Evaluating real-time Java features and performance for real-time embedded systems. In Proceedings of the Eight IEEE Real-Time and Embedded Technology and Applications Symposium (2002).
10. DETERS, M., AND CYTRON, R. K. Automated discovery of scoped memory regions for real-time Java. In Proc. of the Third International Symposium on Memory Management (Berlin, Germany, June 2002). SIGPLAN Notices, 38, 2 Supplement, 25-35.
11. FINK, S., DOLBY, J., AND COLBY, L. Semi-automatic J2EE transaction configuration. Tech. Rep. RC23326, IBM Thomas J. Watson Research Center, Apr. 2004.
12. GROSSMAN, D., MORRISETT, G., JIM, T., HICKS, M., WANG, Y., AND CHENEY, J. Region-based memory management in Cyclone. SIGPLAN Notices 37, 5 (May 2002), 282-293. In Conference on Programming Language Design and Implementation (PLDI).
13. GROVE, D., AND CHAMBERS, C. A framework for call graph construction algorithms. ACM Trans. Program. Lang. Syst. 23, 6 (Nov. 2001), 685-746.
14. The Haskell 98 foreign function interface, www.cse.unsw.edu.au/-~chak/haskell/ffi/.
15. HIGUERA-TOLEDANO, M. T., AND ISSARNY, V. Analyzing the performance of memory management in RTSJ. In Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (2002).
16. HIRZEL, M., DIWAN, A., AND HIND, M. Pointer analysis in the pressence of dynamic class loading. In 18th European Conference on Object-Oriented Programming (ECOOP) (June 2004), vol. 3086 of LNCS, pp. 96-122.
17. High-Res Timer Kernel Patches. i386-hrt-2.6.10.patch and hrt-common-2.6.10.patch at http://easynews.dl.sourceforge.net/sourceforge/high-res-timers.
18. LIANG, S. The Java Native Interface: Programmer's Guide and Specification. Addison Wesley, 1999.
19. MILLER, J. S., AND RAGSDALE, S. The Common Language Infrastructure Annotated Standard. Addison Wesley, 2004.
20. PIZLO, F., Fox, J. M., HOLMES, D., AND VITEK, J. Real-time Java scoped memory: Design patterns and semantics. In Proceedings of the 7th IEEE International Symposium on Object-oriented Real-time distributed Computing (May 2004).
21. QIAN, F., AND HENDREN, L. Towards dynamic interprocedural analysis in JVMs. In 3rd Virtual Machine Research and Technology Symposium (VM) (May 2004), pp. 139-150.
22. TOFTE, M., AND TALPIN, J.-P. Implementation of the typed call-byvalue λ-calculus using a stack of regions. In Proc. of the Twenty-first ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Portland, Oregon, 1994), pp. 188-201.
23. UNGAR, D. M. Generation scavenging: A non-disruptive high performance storage reclamation algorithm. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pennsylvania, 1984), P. Henderson, Ed. SIGPLAN Notices, 19, 5, 157-167.
24. ZHAO, T., NOBLE, J., AND VITEK, J. Scoped types for real-time Java. In Proc. of the Twenty-fifth IEEE International Real-Time Systems Symposium (2004), pp. 241-251.