ANALYZING TMFS - A STUDY OF NONDETERMINISM IN REAL-TIME CONCURRENCY

被引：0
|
作者：
REED, GM [1 ]
ROSCOE, AW [1 ]
机构：
[1] UNIV OXFORD,COMP LAB,OXFORD OX1 3QD,ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 491卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
It is well-known that nondeterminism is a consequence of concurrent computation. Modelling it correctly is one of the chief requirements of any theory. In this paper we study how nondeterminism arises in real-time concurrency. The vehicle used is TM(F)S, the timed failures/stability model for CSP. We see both how this model is able to capture a wide range of subtle behaviours which have no direct untimed analogues, and how the axioms of the model can be justified by a detailed study of nondeterminism.
引用
收藏
页码：36 / 63
页数：28
相关论文
共 50 条
  • [41] Applying similarity in concurrency control for real-time database application
    Lam, KY
    Yau, WC
    Lee, VCS
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, 1996, 1134 : 143 - 152
  • [42] On Transactional Memory Concurrency Control in Distributed Real-Time Programs
    Hirve, Sachin
    Lindsay, Aaron
    Ravindran, Binoy
    Palmieri, Roberto
    2013 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2013,
  • [43] Secure Concurrency Control in Firm Real-Time Database Systems
    Binto George
    Jayant R. Haritsa
    Distributed and Parallel Databases, 2000, 8 : 41 - 83
  • [44] Performance of distributed optimistic concurrency control in real-time databases
    Lindström, Jan
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3356 : 243 - 252
  • [45] AgiSim: a Simulator for Real-Time Transaction Scheduling and Concurrency Control
    Xu Jungang
    Li Hui
    Wang Qiang
    FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): MACHINE VISION, IMAGE PROCESSING, AND PATTERN ANALYSIS, 2012, 8349
  • [46] Optimistic similarity-based real-time concurrency control
    Lai, C
    FOURTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM - PROCEEDINGS, 1998, : 189 - 198
  • [47] Secure concurrency control in firm real-time database systems
    George, B
    Haritsa, JR
    DISTRIBUTED AND PARALLEL DATABASES, 2000, 8 (01) : 41 - 83
  • [48] Performance of distributed optimistic concurrency control in real-time Databases
    Lindström, J
    INTELLIGENT INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, 3356 : 243 - 252
  • [49] 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
  • [50] Analysis of concurrency control protocols for real-time database systems
    Ulusoy, O
    INFORMATION SCIENCES, 1998, 111 (1-4) : 19 - 47
12345