Scoped types for Real-time Java

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2004, Pages 241-251

  Zhao, Tian ^a   Noble, James ^b   Vitek, Jan ^c  

^a UNIVERSITY OF WISCONSIN MILWAUKEE   (United States)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^c PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC MEMORY MANAGEMENT; GARBAGE COLLECTION (GC); MEMORY MANAGEMENT MODEL; REAL-TIME CODES;

DATA STORAGE EQUIPMENT; REAL TIME SYSTEMS; SEMANTICS; SPECIFICATIONS; TREES (MATHEMATICS); VECTORS; VIRTUAL REALITY;

JAVA PROGRAMMING LANGUAGE;

EID: 21644470263     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REAL.2004.51     Document Type: Conference Paper

References (24)

1. G. Bollella, J. Gosling, B. Brosgol, P. Dibble, S. Furr, and M. Turnbull, The Real-Time Specification for Java. Addison-Wesley, June 2000.
2. D. Sharp, "Real-time distributed object computing: Ready for mission-critical embedded system applications," in Proceeding of the Third International Symposium on Distribtued-Objects and Applications, 2001.
3. NASA/JPL and Sun, "Golden gate," 2003, http://research.sun.com/projects/goldengate.
4. Timesys Inc., "JTime," 2003, http://www.timesys.com.
5. 3 Lab, "The ovm customizable virtual machine project," Purdue University, Tech. Rep., 2004.
6. D. G. Bobrow and B. Wegbreit, "A model and stack implementation of multiple environments," Communications of the ACM, vol. 16, pp. 591-602, 1973.
7. K. H. Randall, "Cilk: efficient multithreaded computing," Ph.D. dissertation, Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
8. F. Pizlo, J. Fox, D. Holmes, and J. Vitek, "Real-time Java scoped memory: design patterns and semantics," in Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, May 2004.
9. T. Zhao, J. Palsberg, and J. Vitek, "Lightweight confinement for Featherweight Java," in Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOP-SLA'03). ACM Press, Oct. 2003, pp. 135-148.
10. A. Krishna, D. Schmidt, and R. Klefstad, "Enhancing Real-Time CORBA via Real-Time Java Features," in 24th International Conference on Distributed Computing Systems (ICDCS 2004), Hachioji, Tokyo, Japan, 2004, pp. 66-73.
11. A. Igarashi, B. C. Pierce, and P. Wadler, "Featherweight Java: a minimal core calculus for Java and GJ," ACM Transactions on Programming Languages and Systems, vol. 23, no. 3, pp. 396-450, May 2001.
12. J. Kwon, A. Wellings, and S. King, "Ravenscar-Java: A high integrity profile for real-time Java," in Joint ACM Java Grande/ISCOPE Conference, November 2002.
13. C. Boyapati, A. Salcianu, W. Beebee, Jr., and M. Rinard, "Ownership types for safe region-based memory management in Real-Time Java," in Proceedings of Conference on Programming Languages Design and Implementation. ACM Press, 2003.
14. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney, "Region-based memory management in Cyclone," in Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2002.
15. D. Grossman, "Type-safe multithreading in Cyclone," in ACM Workshop on Types in Language Design and Implementation, January 2003.
16. M. Tofte and L. Birkedal, "A region inference algorithm," ACM Transactions on Programming Languages and Systems, vol. 20, no. 4, pp. 724-767, July 1998.
17. M. Tofte and J.-P. Talpin, "Region-based memory management," Information and Computation, Feb. 1997.
18. W. S. Beebee, Jr. and M. Rinard, "An implementation of scoped memory for real-time Java," in Proceedings of the First International Workshop on Embedded Software (EMSOFT), 2001.
19. A. Corsaro and D. Schmidt, "The design and performace of the jRate Real-Time Java implementation," in The 4th International Symposium on Distributed Objects and Applications (DOA'02), 2002.
20. K. Nilsen, "Adding real-time capabilities to Java," Communications of the ACM, vol. 41, no. 6, pp. 49-56, June 1998. [Online]. Available: http://www.acm.org:80/pubs/citations/journals/cacm/1998-41-6/p49-nilsen/
21. D. Buytaert, F. Arickx, and J. Vos, "A profiler and compiler for the Wonka Virtual Machine," in USENIX JVM'02 Work in Progress, San Francisco, CA, August 2002.
22. J. Tryggvesson, T. Mattsson, and H. Heeb, "Jbed: Java for real-time systems," Dr. Dobb's Journal of Software Tools, vol. 24, no. 11, Nov. 1999.
23. U. Gleim, "JaRTS: A portable implementation of real-time core extensions for Java," in Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM'02). Berkeley, CA, USA: USENIX, 2002.
24. F. Siebert, "Hard real-time garbage collection in the Jamaica Virtual Machine," in Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, 1999.