Benoît Garbinato

Learn More
This paper extends the failures detector approach from crash-stop failures to mute-ness failures. Muteness failures are malicious failures in which a process stops sending algorithm messages, but might continue to send other messages, e.g., "I-am-alive" messages. The paper presents both the speciication of a muteness failure detector, denoted by 3M A , and(More)
Separating different aspects of a program, and encapsulating them inside well defined modules, is considered a good engineering discipline. This discipline is particularly desirable in the development of distributed agreement algorithms which are known to be difficult and error prone. For such algorithms, one aspect that is important to encapsulate is(More)
GARF is an object-oriented tool that supports the design and programming of reliable distributed applications. GARF lies at an intermediate level between applications and process group communication systems. It enables a developer to rst program an application in a centralized environment, then to distribute it and increase its reliability by replicating(More)
This paper introduces the concept of location-based publish/subscribe (LPS), which allows mobile ad hoc applications to anonymously communicate with each other, depending on their locations. With this concept, publish/subscribe topics are typically expressed in a dynamic manner including proximity criteria, e.g., "I subscribe to all events on topic T(More)
Reliable distributed systems involve many complex protocols. In this context, protocol composition is a central concept, because it allows the reuse of robust protocol implementations. In this paper, we describe how the Strategy pattern has been recursively used to support protocol composition in the BAST framework. We also discuss design alternatives that(More)
This paper presents Bast, an object-oriented library of reliable distributed protocols. We show how Bast can be used to build fault-tolerant distributed applications , and how new protocols can be added to it. We discuss some distributed protocol design issues and the way these issues are circumvented in Bast. We brieey describe our Smalltalk and Java(More)
GARF is an object-oriented programming environment aimed to support the design of reliable distributed applications. Its computational model is based on two programming levels: the functional level and the behavioral level. At the functional level, software functionalities are described using passive objects, named data objects, in a centralized, volatile,(More)
We show that scale-free topologies have a positive impact on the performance of gossiping algorithms in peer-to-peer overlay networks. This result is important in the context of ad hoc networks, where each node participates in controlling the network topology. Our study shows that, when combined with such topologies, typical gossiping algorithms tend to(More)