The timely computing base model and architecture

被引:50
作者
Veríssimo, P [1 ]
Casimiro, A [1 ]
机构
[1] Univ Lisbon, Fac Sci, P-1699 Lisbon, Portugal
关键词
distributed systems; real-time systems; timely computing base; partial synchrony models;
D O I
10.1109/TC.2002.1024739
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Current systems are very often based on large-scale, unpredictable, and unreliable infrastructures. However, users of these systems increasingly require services with timeliness properties. This creates a difficult-to-solve contradiction with regard to the adequate time model: synchronous, or asynchronous? In this paper. we propose an architectural construct and programming model which address this problem. We assume the existence of a component that is capable of executing timely functions, however asynchronous the rest of the system may be. We call this component the Timely Computing Base and it can be used by the other components to execute a set of simple but crucial time-related services. We also show how to use it to build dependable and timely applications exhibiting varying degrees of timeliness assurance, under several synchrony models.
引用
收藏
页码:916 / 930
页数:15
相关论文
共 44 条
[1]  
ABRAMS M, 1995, INFORMATION SECURITY
[2]  
ALMEIDA C, 1998, P 19 IEEE REAL TIM S
[3]  
ALMEIDA C, 1996, P 8 EUR WORKSH REAL
[4]  
ANCEAUME E, 1995, RR2695 INRIA
[5]  
BRAND R, 1995, DATA COMM JUL
[6]  
BURNS A, 1991, P 1 INT WORKSH RESP, P6
[7]  
Burns A., 2001, Real-time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX, V3rd
[8]   Using the Timely Computing Base for Dependable QoS adaptation [J].
Casimiro, A ;
Veríssimo, P .
20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2001, :208-217
[9]   How to build a timely computing base using real-time Linux [J].
Casimiro, A ;
Martins, P ;
Veríssimo, P .
2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 2000, :127-134
[10]  
CASIMIRO A, 2002, P INT C DEP SYST NET