The Timed Asynchronous Distributed System Model

We propose a formal definition for the timed asynchronous distributed system model and we describe extensive measurements of actual message and process scheduling delays and hardware clock drifts that confirm that this model adequately describes current distributed systems built from networked workstations.

[1]  염흥렬,et al.  [서평]「Applied Cryptography」 , 1997 .

[2]  Flaviu Cristian,et al.  Fail-aware datagram service , 1999, IEE Proc. Softw..

[3]  Flaviu Cristian,et al.  Group, majority, and strict agreement in timed asynchronous distributed systems , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[4]  J. Arlat,et al.  PADRE: a Protocol for Asymmetric Duplex REdundancy , 1999, Dependable Computing for Critical Applications 7.

[5]  Flaviu Cristian,et al.  A Highly Available Local Leader Election Service , 1999, IEEE Trans. Software Eng..

[6]  Paulo Veríssimo,et al.  Quasi-Synchronism: a step away from the traditional fault-tolerant real-time system models , 1995 .

[7]  Flaviu Cristian,et al.  FORTRESS: A System to Support Fail-Aware Real-Time Applications , 1997 .

[8]  Flaviu Cristian,et al.  Synchronous and Asynchronous Group Communication. , 1996 .

[9]  David L. Mills,et al.  Modelling and Analysis of Computer Network Clocks , 1998 .

[10]  Flaviu Cristian,et al.  Implementation and performance of a stable-storage service in Unix , 1996, Proceedings 15th Symposium on Reliable Distributed Systems.

[11]  Gil Neiger,et al.  Simulating synchronized clocks and common knowledge in distributed systems , 1993, JACM.

[12]  F. Cristian,et al.  A fail-aware membership service , 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.

[13]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[14]  Yair Amir,et al.  Evaluating quorum systems over the Internet , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[15]  Nancy A. Lynch,et al.  Distributed Computing: Models and Methods , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[17]  David Powell,et al.  Failure mode assumptions and assumption coverage , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[18]  Flaviu Cristian,et al.  Fail-awareness: an approach to construct fail-safe applications , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[19]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[20]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[21]  Sam Toueg,et al.  Unreliable failure detectors for asynchronous systems (preliminary version) , 1991, PODC '91.

[22]  Jennifer L. Welch,et al.  Simulating Synchronous Processors , 1987, Inf. Comput..

[23]  Nancy A. Lynch,et al.  Consensus in the presence of partial synchrony , 1988, JACM.

[24]  David R. Cheriton,et al.  Leases: an efficient fault-tolerant mechanism for distributed file cache consistency , 1989, SOSP '89.

[25]  Flaviu Cristian,et al.  Fail-awareness in timed asynchronous systems , 1996, PODC '96.

[26]  Keith Marzullo,et al.  Election Vs. Consensus in Asynchronous Systems , 1995 .

[27]  Frank B. Schmuck,et al.  Agreeing on Processor Group Membership in Timed Asynchronous Distributed Systems , 1995 .

[28]  Flaviu Cristian,et al.  Synchronous and asynchronous , 1996, CACM.

[29]  Flaviu Cristian,et al.  Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement , 1995, Inf. Comput..

[30]  Sam Toueg,et al.  Unreliable Failure Detectors for Asynchronous Systems , 1991 .

[31]  Paulo Veríssimo,et al.  AMp: a highly parallel atomic multicast protocol , 1989, SIGCOMM '89.