Abstract
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 arbitrary Ada 95 partitions despite the inherent non-determinism of multitasking, offering k-resilient partitions. The RAPIDS prototype is implemented for the GNAT compiler and evolved from its PCS, Garlic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barrett, P. A.; Hilborne, A. M.; Veríssimo, P. et al.: “The Delta-4 Extra Performance Architecture XPA”, in Proceedings of the 20 th International Symposium on Fault-Tolerant Computing Systems (FTCS-20), pp. 481–488, Newcastle upon Tyne, UK, June 1990.
Birman, K. P.: “The Process Group Approach to Reliable Distributed Computing”, Communications of the ACM 36(12), Dec. 1993, pp. 37–53.
Birrell, A. D.; Nelson, B. J.: “Implementing Remote Procedure Calls”, ACM Transactions on Computer Systems 2(1), 1984, pp. 39–59.
Elnozahy, E. N.: Manetho: Fault Tolerance in Distributed Systems using Rollback Recovery and Process Replication, PhD Thesis, Rice University, Houston TX, USA, Oct. 1993.
Herlihy, M. P.; Wing, J. M.: “Linearizability: A Correctness Criterion for Concurrent Objects”, ACM Transactions on Programming Languages and Systems 12(3), July 1990, pp. 463–492.
ISO: International Standard ISO/IEC 8652:1995(E): Ada Reference Manual, Lecture Notes in Computer Science 1246, Springer Verlag, 1997; ISO, 1995.
Kermarrec, Y.; Pautet, L.; Tardieu, S.: “GARLIC: Generic Ada Reusable Library for Interpartition Communication”, in Proceedings of Tri-Ada’ 95, pp. 263–269, Anaheim CA, USA, Nov. 1995.
Malloth, C.; Felber, P.; Schiper, A.; Wilhelm, U.: “Phoenix: A Toolkit for Building Fault-Tolerant, Distributed Applications in Large-Scale Network”ö, in Workshop on Parallel and Distributed Platforms in Industrial Products, San Antonio TX, USA, Oct. 1995.
Moss, J. E. B.: Nested Transactions: An Approach to Reliable Distributed Computing, PhD Thesis MIT/LCS/TR-260, MIT, Cambridge MA, USA, Apr. 1981.
Powell, D. (Ed.): Delta-4: A Generic Architecture for Dependable Distributed Computing, volume 1 of ESPRIT Research Reports, Project 818/2252-Delta-4, Springer Verlag, 1991.
Schneider, F. B.: “Implementing Fault-Tolerant Services using the State Machine Approach”, ACM Computing Surveys 22(4), Dec. 1990, pp. 299–319.
Strom, R. E.; Yemini, S.: “Optimistic Recovery in Distributed Systems”, ACM Transactions on Computer Systems 3(3), Aug. 1985, pp. 204–226.
Wolf, T.: “Fault Tolerance in Distributed Ada 95”, in Proceedings of the 8th International Real-Time Ada Workshop, pp. 106–110, Ravenscar, UK, Apr. 1997, ACM Ada Letters XVII(5).
Wolf, T.: Replication of Non-Deterministic Objects, PhD Thesis #1903, Swiss Federal Institute of Technology, Lausanne, Switzerland, Nov. 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wolf, T., Strohmeier, A. (1999). Fault Tolerance by Transparent Replication for Distributed Ada 95. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_35
Download citation
DOI: https://doi.org/10.1007/3-540-48753-0_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66093-4
Online ISBN: 978-3-540-48753-1
eBook Packages: Springer Book Archive