División de Tecnología de la Información – Group_IO

Group_IO

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

New Group_IO Ada95 Interface. Group_IO was originally designed for Ada83. We have developed a new interface which makes extense use of the new features which provides the new Ada version: Ada95.
Support for dynamic groups. Group_IO was initially designed to support static groups of processes. This means that members only leave the groups when the fail. We are developing new protocols which allow members to enter and leave groups.

References

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