Replica Management in Real-Time Ada 95 Application

نویسندگان

  • Luis M. Pinho
  • Francisco Vasques
  • Luís Miguel Pinho
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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 ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002