How to build a timely computing base using real-time Linux

We recently introduced a new model to deal with the problem of handling application timeliness requirements in environments with loose real-time guarantees. This model, called the timely computing base (TCB), is partially synchronised. From an engineering point of view it requires systems to be constructed with a small control part, a TCB module, to protect vital resources with respect to timeliness and to provide basic time related services to applications. Although many different instantiations of systems with a TCB can be envisaged we have chosen to implement a TCB using PC hardware running the real-time Linux operating system over a fast Ethernet network. The paper describes the experience gained during the implementation process and shows that it is possible to construct a TCB without the need for special software or hardware components. The problem of achieving real-time communication under RT-Linux is also discussed: we describe the porting of a Linux network driver to RT-Linux, explaining the required modifications to allow predictability.

[1]  Martin de Prycker,et al.  Asynchronous Transfer Mode, Solution for Broadband Isdn , 1991 .

[2]  Flaviu Cristian,et al.  Fail-aware datagram service , 1999, IEE Proc. Softw..

[3]  J. Arlat,et al.  PADRE: a Protocol for Asymmetric Duplex REdundancy , 1999, Dependable Computing for Critical Applications 7.

[4]  Flaviu Cristian,et al.  The Timed Asynchronous Distributed System Model , 1998, IEEE Trans. Parallel Distributed Syst..

[5]  Lixia Zhang,et al.  Resource ReSerVation Protocol (RSVP) - Version 1 Functional Specification , 1997, RFC.

[6]  Dan Hildebrand,et al.  An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[7]  Paulo Veríssimo,et al.  Quasi-Synchronism: a step away from the traditional fault-tolerant real-time system models , 1995 .

[8]  Antonio Casimiro,et al.  The timely computing base: Timely actions in the presence of uncertain timeliness , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[9]  Paulo Veríssimo,et al.  The Timely Computing Base , 1999 .

[10]  Flaviu Cristian,et al.  Fail-awareness in timed asynchronous systems , 1996, PODC '96.

[11]  Pedro Martins,et al.  Event Timestamping Tool: a simple PC based kernel to timestamp distributed events , 2000 .

[12]  Danny Dolev,et al.  On the minimal synchronism needed for distributed consensus , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[13]  David Powell,et al.  Failure mode assumptions and assumption coverage , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[14]  Victor Yodaiken,et al.  A Real-Time Linux , 2000 .

[15]  Nancy A. Lynch,et al.  Consensus in the presence of partial synchrony , 1988, JACM.

[16]  David Powell Failure mode assumptions and assumption coverage , 1992 .

[17]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.