Replica Management in Real-Time Ada 95 Application
نویسندگان
چکیده
In this paper, we present some of the fault tolerance management mechanisms being implemented in the Multi-μ architecture, namely its support for replica non-determinism. In this architecture, fault tolerance is achieved by node active replication, with software based replica management and fault tolerance transparent algorithms. A software layer implemented between the application and the realtime kernel, the Fault Tolerance Manager (FTManager), is the responsible for the transparent incorporation of the fault tolerance mechanisms The active replication model can be implemented either imposing replica determinism or keeping replica consistency at critical points, by means of Interactive Agreement mechanisms. One of the Multi-μ architecture goals is to identify such critical points, relieving the underlying system from performing the Interactive Agreement in every Ada dispatching point.
منابع مشابه
Replication of Non-deterministic Objects
ii non–deterministic event occurs, a new state interval is started. I study replica organization under this computation model (semi–active replication). In this model, all non–deterministic decisions are made on one distinguished replica (the leader), while all other replicas (the followers) are forced to follow the same sequence of non–deterministic events. I show that it suffices to synchroni...
متن کاملThe Chance for Ada to Support Distribution and Real-Time in Embedded Systems
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applications with hard real-time requirements. This modified implementation, that we call RT-GLADE (Real-Time GLADE), is specially suitable for embedded applications composed of a small number of heterogeneous processors and commun...
متن کاملA POSIX-Ada Interface for Application-Defined Scheduling
This paper presents an application program interface (API) that enables applications running on top of a POSIX operating system to use applicationdefined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is c...
متن کاملAn Ada Interface for Application-Defined Scheduling
This paper presents an application program interface (API) that enables applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is currently implemented on our operating syst...
متن کاملFault Tolerance by Transparent Replication for Distributed Ada 95
This paper presents the foundations of RAPIDS (“Replicated Ada Partitions In Distributed Systems”), an implementation of the Distributed Systems Annex E incorporating the transparent replication of partitions in distributed Ada 95 applications. RAPIDS is a replication manager for semi–active replication based on a piecewise deterministic computation model. It guarantees replica consistency for ...
متن کامل