F. Guerra, J. Miranda, J. Santos


Group_IO is an Ada library which facilitates the construction of fault-tolerant distributed applications based on the active replication paradigm. It offers a simple interface to the implementation of reliable atomic, causal and uniform multicase. The work on Group_IO has been motivated by our experience with Isis and similar reliable multicase frameworks. The library allos also client-server interactions where the client may be a group (this interaction is not supported by Isis), and relies on an own consensus protocol to implement the uniform broadcast protocols. Group_IO is the base on which the programming language Drago has been implemented. however it does not require Drago for its use.

Current Work


F. Guerra, S. Arevalo, A. Alvarez, J. Miranda
A Distributed Consensus Protocol with a Coordinator.
International Conference on Decentralized and Distributed Systems. ICDDS'93.
IFIP, Palma de Mallorca (Spain). September 1993. pp 85-96
Available in Postscript: Paper.

F. Guerra, S. Arevalo, A. Alvarez, J. Miranda
A Quick Distributed Consensus Protocol.
Microprocessing and Microprogramming 39 (1993). pp 111-114.
Available in Postscript: Paper.

F. Guerra, J. Miranda, A. Alvarez. S. Arevalo.
An Ada Library to Program Fault-Tolerant Distributed Applications.
Reliable Software Technologies. Ada-Europe'97. 1997. pp.230-243.
Available in Postscript: Paper. Slides.

Last Update: March, 25, 1999.