A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java']Java™

被引：0
|
作者：
Brosgol, BM
Wellings, A
机构：
[1] Ada Core Technol, Belmont, MA 02478 USA
[2] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
来源：
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003 | 2003年 / 2655卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Asynchronous Transfer of Control ("ATC") is a transfer of control within a thread,(1) triggered not by the thread itself but rather from some external source such as another thread or an interrupt handler. ATC is useful for several purposes; e.g. expressing common idioms such as timeouts and thread termination, and-reducing the latency for responses to events. However, ATC presents significant issues semantically, methodologically, and implementationally. This paper describes the approaches to ATC taken by Ada [2] and the Real-Time Specification for Java [3,4], and compares them with respect to safety, programming style / expressive power, and implementability / latency / efficiency.
引用
收藏
页码：113 / 128
页数：16
相关论文
共 50 条
  • [11] Comparison of Ada and real-time Java']Java™ for safety-critical applications
    Brosgol, Benjamin M.
    Wellings, Andy
    RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 13 - 26
  • [12] Cost enforcement in the real-time specification for Java']Java
    Dos Santos, Osmar Marchi
    Wellings, Andy
    REAL-TIME SYSTEMS, 2007, 37 (02) : 139 - 179
  • [13] The real-time specification for Java']Java: Technical overview
    Bollella, G
    2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 2000, : 47 - 47
  • [14] Real-time Java™ for Ada programmers
    Brosgol, Benjamin M.
    Ada User Journal, 2004, 25 (04): : 220 - 226
  • [15] Challenges in implementing the Real-time Specification for Java']Java (RTSJ) in a commercial real-time Java']Java virtual machine
    Dawson, Michael H.
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 241 - 247
  • [16] A survey and comparison of concurrency and real-time programming support in Java']Java, Ada, and Posix
    Brosgol, B
    TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 362 - 362
  • [17] Extending the concurrency model of the real-time specification for Java']Java
    Basanta-Val, P.
    Garcia-Valls, M.
    Estevez-Ayres, I.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (14): : 1623 - 1645
  • [18] Processing group parameters in the real-time specification for Java']Java
    Burns, A
    Wellings, AJ
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS, 2003, 2889 : 360 - 370
  • [19] A real-time isolate specification for Ravenscar-Java']Java
    Cai, H
    Wellings, A
    SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 325 - 328
  • [20] The distributed real-time specification for Java']Java: an initial proposal
    Jensen, ED
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2001, 16 (02): : 65 - 70
12345