This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994.
During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds. The volume contains 17 full papers refereed and revised after the workshop so that they reflect original research enriched by insights gained through discussions at the workshop. Among the issues treated are paradigms and concepts, fundamental algorithms and principles, fault-tolerance, real-time, system structures, large case aspects and others.
Author(s): Dag Johansen, Gunnar Hartvigsen (auth.), Kenneth P. Birman, Friedemann Mattern, André Schiper (eds.)
Series: Lecture Notes in Computer Science 938
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 268
Tags: Computer Communication Networks; Operating Systems
Architectural issues in the StormCast system....Pages 1-16
Lessons learned from building and using the Arjuna distributed programming system....Pages 17-32
A high performance totally ordered multicast protocol....Pages 33-57
New applications for group computing....Pages 58-63
Support for information sharing in CSCW based on causally and totally ordered group communication....Pages 64-82
The design of the Transis system....Pages 83-98
The Rampart toolkit for building high-integrity services....Pages 99-110
Deriving optimal checkpoint protocols for distributed shared memory architectures....Pages 111-120
Transaction model vs virtual synchrony model: bridging the gap....Pages 121-132
Modelling darwin in the π-calculus....Pages 133-152
Towards open service environments....Pages 153-163
Correctness proofs of distributed algorithms....Pages 164-177
Deterministic fault injection of distributed systems....Pages 178-196
A non-blocking lightweight implementation of causal order message delivery....Pages 197-213
Merits of a probabilistic approach to properties in process group systems....Pages 214-223
Sequential consistency in distributed systems....Pages 224-241
Speedup limits for tightly-coupled parallel computations....Pages 242-259
