Time in Distributed System Models and Algorithms

This chapter gives an account of recent advances with regard to both the analysis and the use of time in distributed systems models and algorithms. We discuss timed models for distributed systems, timing failures and their detection, clock synchronisation and time services for large-scale settings, real-time causal delivery and temporal order, and protocols that in one way or the other take advantage from time.

[1]  João Gabriel Silva,et al.  Dependable Computing — EDCC-2 , 1996, Lecture Notes in Computer Science.

[2]  André Schiper,et al.  The Causal Ordering Abstraction and a Simple Way to Implement it , 1991, Inf. Process. Lett..

[3]  David Powell.  Extra Performance Architecture (XPA) , 1991 .

[4]  David R. Cheriton,et al.  Understanding the limitations of causally and totally ordered communication , 1994, SOSP '93.

[5]  Flaviu Cristian,et al.  The Timed Asynchronous Distributed System Model , 1998, IEEE Trans. Parallel Distributed Syst..

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

[7]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[8]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

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

[10]  Paulo Veríssimo,et al.  Timing failure detection and real-time group communication in quasi-synchronous systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[11]  P. Verissimo,et al.  An adaptive real-time group communication protocol , 1995, Proceedings 1995 IEEE International Workshop on Factory Communication Systems. WFCS'95.

[12]  Paulo Veríssimo,et al.  A posteriori agreement for fault-tolerant clock synchronization on broadcast networks , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[13]  Flaviu Cristian,et al.  Early-delivery atomic broadcast , 1990, PODC '90.

[14]  Paulo Veríssimo,et al.  Real-time communication , 1993 .

[15]  Paulo Veríssimo,et al.  xAMp: a multi-primitive group communications service , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[16]  B.W. Parkinson,et al.  NAVSTAR: Global positioning system—Ten years later , 1983, Proceedings of the IEEE.

[17]  Mukesh Singhal,et al.  Logical Time: Capturing Causality in Distributed Systems , 1996, Computer.

[18]  Paulo Veríssimo,et al.  Using Tailored Failure Suspectors to Support Distributed Cooperative Applications , 1995, Parallel and Distributed Computing and Systems.

[19]  Bernadette Charron-Bost,et al.  On the impossibility of group membership , 1996, PODC '96.

[20]  Pedro Antunes,et al.  Enhancing Dependability of Cooperative Applications in Partitionable Environments , 1996, EDCC.

[21]  David Powell.  The Atomic Multicast protocol (AMp) , 1991 .

[22]  Paulo Veríssimo,et al.  The Timely Computing Base , 1999 .

[23]  Mukesh Singhal,et al.  Efficient Δ-causal broadcasting , 1998 .