Evaluating the Expressive Power of the Real-Time Specification for Java*

The goal of this paper is to evaluate the real-time specification for Java proposal by performing several case studies. These case studies include: an extensible general resource controller; atomic action support infrastructure; unbounded and imprecise computations. They have been used previously by the Ada community to evaluate the efficacy of the Ada concurrency and real-time models. Our results indicate that the Real-Time Specification for Java is expressive enough to cope with the demands of real-time concurrent programming. If it can be implemented efficiently, it will provide an alternative to Ada 95 for programming real-time systems.

[1]  Wolfgang A. Halang,et al.  Extending Pearl for industrial real-time applications , 1993, IEEE Software.

[2]  Wulf Werum,et al.  Introduction to PEARL: process and experiment automation realtime language (2nd ed.) , 1983 .

[3]  Alan Burns,et al.  Implementing Atomic Actions in Ada 95 , 1997, IEEE Trans. Software Eng..

[4]  Satoshi Matsuoka,et al.  Analysis of inheritance anomaly in object-oriented concurrent programming languages , 1993 .

[5]  Victor R. Lesser,et al.  Design-to-time scheduling and anytime algorithms , 1996, SGAR.

[6]  Jörg Kienzle,et al.  Integrating object-oriented programming and protected objects in Ada 95 , 2002 .

[7]  Avelino Francisco Zorzo,et al.  Implementation of blocking coordinated atomic actions based on forward error recovery , 1997, J. Syst. Archit..

[8]  Brian Randell,et al.  Reliability Issues in Computing System Design , 1978, CSUR.

[9]  D. B. Lomet.  Process structuring, synchronization, and recovery using atomic actions , 1977 .

[10]  Andy J. Wellings,et al.  Integrating object-oriented programming and protected objects in Ada 95 , 2000, TOPL.

[11]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[12]  Alan Burns,et al.  Ada 95: An Effective Concurrent Programming Language , 1996, Ada-Europe.

[13]  David B. Lomet,et al.  Process structuring, synchronization, and recovery using atomic actions , 1977, Language Design for Reliable Software.

[14]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[15]  Jane W.-S. Liu,et al.  Scheduling Real-Time, Periodic Jobs Using Imprecise Results , 1987, RTSS.

[16]  Alan Burns,et al.  Integrating Unbounded Software Components into Hard Real-Time Systems , 1995 .

[17]  Alexander Romanovsky.  On Structuring Cooperative and Competitive Concurrent Systems , 1999, Comput. J..

[18]  Toby Bloom,et al.  Evaluating synchronization mechanisms , 1979, SOSP '79.