Wait-free queue algorithms for the real-time Java']Java specification

被引:0
作者
Tsigas, Philippas [1 ]
Zhang, Yi [1 ]
Cederman, Daniel [1 ]
Dellsén, Tord [1 ]
机构
[1] Chalmers Univ Technol, Dept Comp Sci, SE-41260 Gothenburg, Sweden
来源
PROCEEDINGS OF THE 12TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM | 2006年
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Efficient algorithmic implementations of wait-free queue classes in the Real-time Specification for Java are presented in this paper The algorithms are designed to exploit the unidirectional nature of these queues and the priority-based scheduling in the specification. The proposed implementations support multiple real-time threads to access the queue in a wait-free manner and at the same time keep the "Write Once, Run Anywhere" principle of Java. Experiments show our implementations outperform the reference implementations, especially with high priority tasks. In the implementations, we introduce a new solution to the "enabled late-write" problem discussed in [9]. The problem is caused by using only memory read/write operations. The new solution is more efficient, with respect to space complexity, compared to previous wait-free implementations, without losing in time complexity.
引用
收藏
页码:373 / +
页数:2
相关论文
共 13 条
  • [1] Anderson J. H., 1997, Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, P229, DOI 10.1145/259380.259443
  • [2] Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors
    Anderson, JH
    Jain, R
    Ramamurthy, S
    [J]. 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 111 - 122
  • [3] The real-time specification for Java']Java
    Bollella, G
    Gosling, J
    [J]. COMPUTER, 2000, 33 (06) : 47 - +
  • [4] Bollella Greg., 2000, REAL TIME SPECIFICAT
  • [5] CEDERMAN D, 2005, THESIS CHALMERS U TE
  • [6] The Real-Time Specification for Java']Java: Current status and future work
    Dibble, P
    Wellings, A
    [J]. SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 71 - 77
  • [7] LINEARIZABILITY - A CORRECTNESS CONDITION FOR CONCURRENT OBJECTS
    HERLIHY, MP
    WING, JM
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (03): : 463 - 492
  • [8] Illegal references in a real-time Java']Java concurrent environment
    Higuera-Toledano, MT
    [J]. SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 321 - 324
  • [9] Ramamurthy S., 1996, Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, P233, DOI 10.1145/248052.248098
  • [10] *TIMESYS, 2005, JAV REF IMPL REAL TI