The timely computing base model and architecture
Tóm tắt
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: should it be 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.
Từ khóa
#Computer architecture #Real time systems #Timing #Fault tolerant systems #Large-scale systems #Computer networks #Distributed computing #Explosives #Reliability theoryTài liệu tham khảo
10.1109/FTCS.1998.689463
10.1145/226643.226647
ver�ssimo, 1995, Quasi-Synchronism: A Step Away from the Traditional Fault-Tolerant Real-Time System Models, Bull Technical Committee on Operating Systems and Application Environments (TCOS), 7, 35
10.1109/ICDSN.2000.857587
de prycker, 1995, Asynchronous Transfer Mode Solution For Broadband ISDN
ver�ssimo, 1991, The Extra Performance Architecture (XPA), Delta-4 A Generic Architecture for Dependable Distributed Computing, 211
10.1109/RELDIS.2001.970771
brand, 1995, Iso-Ethernet: Bridging the Gap from WAN to LAN, Data Comm
10.1109/DSN.2002.1028883
10.1109/WFCS.2000.882542
kopetz, 1991, An Engineering Approach towards Hard Real-Time System Design, Lecture Notes in Computer Science, 550, 166, 10.1007/3540547428_48
casimiro, 1998, Private Communications
feller, 1971, An Introduction to Probability Theory and Its Applications
zou, 1998, Real-Time Primary-Backup (RTPB) Replication with Temporal Consistency Guarantees, 10.1109/ICDCS.1998.679486
1995, Information Security
10.1109/REAL.1998.739776
ver�ssimo, 1999, The Timely Computing Base
10.1145/112600.112622
10.1145/248052.248120
anceaume, 1995, On the Formal Specification of Group Membership Services
10.1007/BF01088801
10.1109/ICDSN.2000.857535
zhang, 1997, RFC 2205: Resource ReSerVation Protocol (RSVP)version 1 Functional Specification
schulzrinne, 1996, RTP: A Transport Protocol for Real-Time Applications
10.1109/SFCS.1983.41
10.1145/42282.42283
10.1109/FTCS.1992.243562
1965, Bibliography on Time Series and Stochastic Processes
10.1109/12.663771
10.1145/248052.248119
fetzer, 1997, Fail-Awareness: An Approach to Construct Fail-Safe Applications, Proc Ann Int'l Symp Fault-Tolerant Computing, 282
burns, 2001, Real-Time Systems and Programming Languages
10.1109/RTTAS.1998.683195
burns, 1991, A Framework for Building Real-Time Responsive Systems, Proc First Int'l Workshop Responsive Computer Systems, 6
10.1109/EMWRTS.1996.557926
10.1007/BFb0020038
10.1109/RELDIS.1998.740506
10.1109/EDS.1990.138047
10.1109/49.790486
10.1109/TC.2002.1024737
10.1109/IWQOS.2000.847954
10.1109/TC.2002.1024740
10.1007/978-1-4612-0931-7
10.1007/BF01995674