Garbage collection for safety critical Java

Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2007

Volumn , Issue , 2007, Pages 85-93

  Schoeberl, Martin ^a   Vitek, Jan ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b PURDUE UNIVERSITY   (United States)

Author keywords

Garbage collection; Real time system

Indexed keywords

DYNAMIC MEMORY; GARBAGE COLLECTION; REAL TIME SPECIFICATION;

COMPUTER RESOURCE MANAGEMENT; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SECURITY OF DATA; SPECIFICATION LANGUAGES; STORAGE ALLOCATION (COMPUTER);

JAVA PROGRAMMING LANGUAGE;

EID: 38849092499     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1288940.1288953     Document Type: Conference Paper

References (28)

1. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, and Tian Zhao. Scoped Types and Aspects for Real-Time Java. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP 2006), pages 124-147, Nantes, France, July 2006. Springer.
2. Austin Armbuster, Jason Baker, Antonio Cunei, David Holmes, Chapman Flack, Filip Pizlo, Edward Pla, Marek Prochazka, and Jan Vitek. A Real-time Java virtual machine with applications in avionics. ACM Transactions in Embedded Computing Systems (TECS) (to appear), 2007.
3. N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings. Hard real-time scheduling: The deadline monotonic approach. In Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atalanta, 1991.
4. David F. Bacon, Perry Chang, and V.T. Rajan. A real-time garbage collector with low overhead and consistent utilization. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages 285-298, New Orleans, Louisiana, January 2003.
5. Henry G. Baker. List processing in real time on a serial computer. Commun. ACM, 21(4):280-294, 1978.
6. Jason Baker, Antonio Cunei, Filip Pizlo, and Jan Vitek. Accurate garbage collection in uncooperative environments with lazy pointer stacks. In International Conference on Compiler Construction (CC), 2007.
7. Greg Bollella, James Gosling, Benjamin Brosgol, Peter Dibble, Steve Furr, and Mark Turnbull. The Real-Time Specification for Java. Java Series. Addison-Wesley, June 2000.
8. Alan Bums, Brian Dobbing, and G. Romanski. The ravenscar tasking profile for high integrity real-time programs. In Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, pages 263-275. Springer-Verlag, 1998.
9. C. J. Cheney. A nonrecursive list compacting algorithm. Commun. ACM, 13(11):677-678, 1970.
10. Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens. On-the-fly garbage collection: an exercise in cooperation. Commun. ACM, 21(11):966-975, 1978.
11. Chris Hawblitzel, Heng Huang, Lea Wittie, and Juan Chen. A garbage-collecting typed assembly language. In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, pages 41-52, 2007.
12. Roger Henriksson. Scheduling Garbage Colection in Embedded Systems. PhD thesis, Lund University, July 1998.
13. Java Expert Group. Java specification request JSR 302: Safety critical java technology. Available at http://jcp.org/en/jsr/detail?id=302.
14. C. L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1):46-61, 1973.
15. Filip Pizlo, J. M. Fox, David Holmes, and Jan Vitek. Real-time java scoped memory: Design patterns and semantics. In Proceedings of the 7th IEEE International Symposium on, Object-Oriented Real-Time Distributed Computing (ISORC 2004), pages 101-110, 2004.
16. Filip Pizlo, Antony L. Hosking, and Jan Vitek. Hierarchical real-time garbage collection. In LCTES '07: Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools, pages 123-133, New York, NY, USA, 2007. ACM Press.
17. Peter Puschner and Andy Wellings. A profile for high integrity real-time Java programs. In 4th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2001.
18. Sven Gestegard Robertz and Roger Henriksson. Time-triggered garbage collection: robust and adaptive real-time GC scheduling for embedded systems. In LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, pages 93-102, New York, NY, USA, 2003. ACM Press.
19. RTCA/DO-178B. Software considerations in airborne systems and equipment certification. December 1992.
20. Martin Schoeberl. JOP: A Java Optimized Processor for Embedded Real-Time Systems. PhD thesis, Vienna University of Technology, 2005.
21. Martin Schoeberl. Real-time garbage collection for Java. In Proceedings of the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006), pages 424-432, Gyeongju, Korea, April 2006.
22. Martin Schoeberl. Architecture for object oriented programming languages. In Proceedings of the 5th international worksliop on Java technologies for real-time and embedded systems (JTRES 2007), Vienna, Austria, September 2007. ACM Press.
23. Martin Schoeberl, A Java processor architecture for embedded real-time systems. Journal of Systems Architecture, doi:10.1016/j.sysarc.2007.06. 001, 2007.
24. Martin Schoeberl, Hans Sondergaard, Bent Thomsen, and Anders P. Ravn. A profile for safety critical java. In 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pages 94-101, Santorini Island, Greece, May 2007. IEEE Computer Society.
25. Fridtjof Siebert. Hard Realtime Garbage Collection in Modern Object Oriented Programming Languages. Number ISBN: 3-8311-3893-1. aicas Books, 2002.
26. Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, and Jan Vitek. Reflexes: Abstractions for highly responsive systems. In To Appear in the Proceedings of the 2nd International Conference on Virtual Execution Environments (VEE), 2007.
27. Martin T. Vechev, Eran Yahav, David F. Bacon, and Noam Rinetzky. Cgcexplorer: a semi-automated search procedure for provably correct concurrent collectors. In PLDI '07: Proceedings of the ACM SIGPLAN 2007 conference on Programming Language Design and Implementation, pages 456-467, 2007.
28. Taichi Yuasa. Real-time garbage collection on general-purpose machines. Journal of Systems and Software, 11(3):181-198, 1990.