Replica management in real-time Ada 95 applications

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

Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems

This paper presents an architecture (Multi-μ) being implemented to study and develop software based fault tolerant mechanisms for Real-Time Systems, using the Ada language (Ada 95) and Commercial Off-The-Shelf (COTS) components. Several issues regarding fault tolerance are presented and mechanisms to achieve fault tolerance by software active replication in Ada 95 are discussed. The Multi-μ architecture, based on a specifically proposed Fault Tolerance Manager (FTManager), is then described. Finally, some considerations are made about the work being done and essential future developments.

Horace (2), Perse (95), Juvénal (150v) et Térence (163v).

On y a ajouté plusieurs pièces fugitives en prose et en vers (1), une table de comput (94v), et des règles de quantité intitulées "Serviolus" (162).

Justinianus imperator, Institutiones (2-44). - Summa Codicis (44v-95).

Le ms. a appartenu à Antoine Loisel (signature "Ant. Loisel" au f. 2), avocat et grand-père de Claude Joly, chantre de Notre-Dame qui légua les mss. dont il avait hérité de son grand-père au chapitre de Notre-Dame de Paris en 1680. Sur le f. 1v figure l'ex-libris "A la bibliotheque de l'Eglise de Paris", suivi de la cote F11 (XVIIe s.). Notre-Dame.

Recueil de poésies, par « HENRY BAULDE » (fol. 30, 32, 35, 36, 37, 39, 40, 43, 44, 46, 47, 56, 59, 60, 61, 65, 68, 69, 70, 73, 74), « ALAIN CHARRETIER » (fol. 15), « JEHAN DAUTON » (fol. 9), « JEHAN MAROT » (fol. 29, 30), « JEHAN MOLINET » (fol. 77, 85, 90, 93, 94, 95) et « JEHAN ROBERTET » (fol. 1, 75).

Commençant par : « Estant couché soubz ung myrthe plaisant, Et maintz chasteaulx en Espaigne faisant... » et finissant par : « Sans parage ou riens n'est nect, Moulu d'un groz Moulinet. Fin de la complaincte de Grece, composée par le dict Molinet » .

HG 206.85-206.95 Thin Section

Coarse grained sample with sub-angular to sub-rounded clasts. Clasts range from small to medium sized. Major grain crushing seen throughout the sample. Grain stacking and lineations are also present. A dark organic rich domain can be seen within the sample.

HG 276.80-276.95 Thin Section

Coarse grained sample, with grains ranging from small to large in size. Shapes range from angular to rounded. This sample is abundant in lineations, and rotation structures can also be seen around larger aggregates. Many large grains are fractured and minor grain stacking can also be seen.

HG 303.85-303.95

This is a dark grey, coarse grained sediment with inclusions of fine grained sand. Lineations and grains stacking are the most common features seen, along with grain crushing (mainly edge-to-edge). A few minor rotation structures can also be observed with comet structures.

HG 380.85-380.95

Brown sediment with alternating layers of dark and light sediment. Clasts range from small to large, and are sub-angular. Lineations are abundant in this sample, trending mainly in one direction. Some rotation structures are present.

HG 406.85-406.95

Brown sediment with organic matter and clasts ranging from small to large. The clast shape ranges from sub-angular to sub-rounded. Lineations and grain stacking are the most abundant in this sample. Minor amounts of grain crushing can also be seen.

HG 138.80-138.95

Coarse grained sample with grains ranging from small to large in size. Clast shape ranges from sub-angular to well rounded. Edge-to-edge grain crushing is abundant throughout this sample. Minor amounts of rotation structures and lineations can also be seen.

Un texto para la enseñanza del diseño de estructura de concreto conforme al reglamento ACI 318-95

Tesis (Maestria en Ciencias con Especialidad en Ingeniería Estructural) UANL