The ISIS toolkit is a distributed programming environment based on virtually synchronous process groups and group communication We present a new family of protocols in support of this model Our approach revolves around a multicast primitive, called CBCAST, which implements fault-tolerant, causally ordered message delivery. CBCAST can be used directly, or extended into a totally ordered multicast primitive, called ABCAST. It normally delivers messages immediately upon reception, and imposes a space overhead proportional to the size of the groups to which the sender belongs, usually a small number. Both protocols have been implemented as part of a recent version of ISIS and we discuss some of the pragmatic issues that arose and the performanc...
Message ordering is one of the cornerstones of reliable distributed systems. However, some ordering ...
We propose a lightweight fault-tolerant multicast and mem-bership service for real-time process grou...
The ISIS system transforms abstract type specifications into fault-tolerant distributed implementat...
The ISIS toolkit is a distributed programming environment based on virtually synchronous process gro...
Concepts of group (to structure processes) and causality (to structure sendings and deliveries of me...
Process groups are a natural tool for distributed programming, and are increasingly important in dis...
A new protocol is presented that efficiently implements a reliable, causally ordered multicast primi...
Process groups are a natural tool for distributed programming and are increasingly important in dist...
In this thesis, we present new protocols that provide reliable ordered multicasts to multiple overl...
This paper presents the definition and solution to the uniform reliable multicast problem in the vir...
We present a new scalable fault-tolerant algorithm which ensures total order delivery of messages se...
International audienceWe study atomic multicast, a fundamental abstraction for building fault-tolera...
Reliable group ordered delivery of multicast messages in a distributed system is a useful service th...
We describe applications of a new software abstraction called the virtually synchronous process gro...
This thesis provides a layered proof of an algorithm based on the ISIS system that provides causal g...
Message ordering is one of the cornerstones of reliable distributed systems. However, some ordering ...
We propose a lightweight fault-tolerant multicast and mem-bership service for real-time process grou...
The ISIS system transforms abstract type specifications into fault-tolerant distributed implementat...
The ISIS toolkit is a distributed programming environment based on virtually synchronous process gro...
Concepts of group (to structure processes) and causality (to structure sendings and deliveries of me...
Process groups are a natural tool for distributed programming, and are increasingly important in dis...
A new protocol is presented that efficiently implements a reliable, causally ordered multicast primi...
Process groups are a natural tool for distributed programming and are increasingly important in dist...
In this thesis, we present new protocols that provide reliable ordered multicasts to multiple overl...
This paper presents the definition and solution to the uniform reliable multicast problem in the vir...
We present a new scalable fault-tolerant algorithm which ensures total order delivery of messages se...
International audienceWe study atomic multicast, a fundamental abstraction for building fault-tolera...
Reliable group ordered delivery of multicast messages in a distributed system is a useful service th...
We describe applications of a new software abstraction called the virtually synchronous process gro...
This thesis provides a layered proof of an algorithm based on the ISIS system that provides causal g...
Message ordering is one of the cornerstones of reliable distributed systems. However, some ordering ...
We propose a lightweight fault-tolerant multicast and mem-bership service for real-time process grou...
The ISIS system transforms abstract type specifications into fault-tolerant distributed implementat...