The timed asynchronous distributed system model
- 1 June 1999
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Parallel and Distributed Systems
- Vol. 10 (6) , 642-657
- https://doi.org/10.1109/71.774912
Abstract
We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adequately describes current distributed systems such as a network of workstations. We also give an explanation of why practically needed services, such as consensus or leader election, which are not implementable in the time-free model, are implementable in the timed asynchronous system model.Keywords
This publication has 26 references indexed in Scilit:
- ATOMIC BROADCAST: FROM SIMPLE MESSAGE DIFFUSION TO BYZANTINE AGREEMENTPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Building fault-tolerant hardware clocks from COTS componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Implementation and performance of a stable-storage service in UnixPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Group, majority, and strict agreement in timed asynchronous distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synchronous and asynchronousCommunications of the ACM, 1996
- Understanding fault-tolerant distributed systemsCommunications of the ACM, 1991
- Distributed Computing: Models and MethodsPublished by Elsevier ,1990
- Leases: an efficient fault-tolerant mechanism for distributed file cache consistencyPublished by Association for Computing Machinery (ACM) ,1989
- Simulating synchronous processorsInformation and Computation, 1987
- Impossibility of distributed consensus with one faulty processJournal of the ACM, 1985