Accès à l'intranetReliable communication protocols
Document Actions
My thesis work was carried out, under the supervision of Professor Jean-Pierre Banâtre, within the LSP INRIA project-team at IRISA in the framework of Gothic project, aiming at designing and implementing a fault tolerant integrated distributed system for a local area network of multiprocessor machines equipped with Fast Stable Memories (MSR). The Gothic programming language, Polygoth, introduces the concept of multiprocedure for building distributed applications. The multiprocedure is a generalization of the procedure allowing parallel execution of several computations.
My thesis work was the design of reliable communication protocols for the implementation of the remote multiprocedure call (RMPC). Problems solved in RPC protocols are only a subset of problems raised by the implementation of RMPC. In a remote procedure call, the control transfer takes place between only two processes while a RMPC implies the control transfer from one or many calling components to one or many called components. In the case of RMPC, the control transfer requires reliable broadcast protocols.
To implement the RMPC protocol, I have defined a reliable communication system. Its main components are a message reliable communication protocol and an ordered atomic broadcast protocol. The main feature of these protocols relies on the use of the MSR associated with each processor to store critical information of the reliable communication system and the communicating process checkpoints.
The Gothic reliable communication system can be used not only for the RMPC but also for other kinds of communication protocols. In particular, I have defined an atomic rendezvous protocol implemented in the Gothic system on top of the reliable message communication protocol.Last modified 12.11.2009 01:51 PM
Snooze energy-efficient cloud manager is open-source!