Programming with process groups: Group and multicast semantics

Process groups are a natural tool for distributed programming and are increasingly important in distributed computing environments. Discussed here is a new architecture that arose from an effort to simplify Isis process group semantics. The findings include a refined notion of how the clients of a group should be treated, what the properties of a multicast primitive should be when systems contain large numbers of overlapping groups, and a new construct called the causality domain. A system based on this architecture is now being implemented in collaboration with the Chorus and Mach projects.

[1]  Henri E. Bal,et al.  An efficient reliable broadcast protocol , 1989, OPSR.

[2]  Richard D. Schlichting,et al.  Preserving and using context information in interprocess communication , 1989, TOCS.

[3]  Kenneth P. Birman,et al.  A formalism for fault-tolerant applications in asynchronous systems , 1990, EW 4.

[4]  Kenneth P. Birman,et al.  The ISIS project: real experience with a fault tolerant programming system , 1990, EW 4.

[5]  Frank Bernhard Schmuck,et al.  The Use of Efficient Broadcast Protocols in Asynchronous Distributed Systems , 1988 .

[6]  Kenneth P. Birman,et al.  Exploiting replication in distributed systems , 1990 .

[7]  Willy Zwaenepoel,et al.  Distributed process groups in the V Kernel , 1985, TOCS.

[8]  Kenneth P. Birman,et al.  Reliable communication in the presence of failures , 1987, TOCS.

[9]  Joel F. Bartlett,et al.  A NonStop kernel , 1981, SOSP.

[10]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.

[11]  Michel Gien,et al.  Revolution 89 or ''Distributing UNIX Brings it Back to its Original Virtues'' , 1990 .

[12]  John K. Ousterhout,et al.  Medusa: An experiment in distributed operating system structure (Summary) , 1979, SOSP '79.

[13]  Liuba Shrira,et al.  Lazy replication: exploiting the semantics of distributed services (extended abstract) , 1990, OPSR.

[14]  Alfred Z. Spector,et al.  Distributed transactions for reliable systems , 1985, SOSP '85.

[15]  Kenneth P. Birman,et al.  Fast causal multicast , 1990, EW 4.

[16]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.