The timed asynchronous distributed system model

Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998

Volumn 1998-January, Issue , 1998, Pages 642-657

  Cristian, Flaviu ^a   Fetzer, Christof ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; FAULT TOLERANCE;

ASYNCHRONOUS DISTRIBUTED SYSTEM; CLOCK DRIFT; DISTRIBUTED SYSTEMS; FORMAL DEFINITION; MEASUREMENTS OF; NETWORKED WORKSTATIONS; PROCESS SCHEDULING;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 27544449244     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/71.774912     Document Type: Conference Paper

References (23)

1. Y. Amir and A. Wool. Evaluating quorum systems over the internet. In Proc. 26th Int Symp on Fault-tolerant Computing, pages 26-35, Sendai, Japan, June 1996.
2. T. Chandra, V. Hadzilacos, S. Toueg, and B. Charron-Bost. On the impossibility of group membership. In Proceedings of the Fifteenth ACM Symposium on Principles of Distributed Computing, pages 322-330, May 1996.
3. T. Chandra and S. Toueg. Unreliable failure detectors for asynchronous systems. In Proceedings of the 10th ACM Symposium on Principles of Distributed Computing, pages 325-340, Aug 1991.
4. F. Cristian. Probabilistic clock synchronization. Distributed Computing, 3: 146-158, 1989.
5. F. Cristian. Understanding fault-tolerant distributed systems. Communications of ACM, 34(2): 56-78, Feb 1991.
6. F. Cristian. Group, majority, and strict agreement in timed asynchronous distributed systems. In Proc. of the 26th Int. Symposium on Fault-Tolerant Computing, pages 178-187, Sendai, Japan, June 1996.
7. F. Cristian. Synchronous and asynchronous group communication. Communications of the ACM, 39(4): 88-97, Apr 1996.
8. F. Cristian, S. Mishra, and Y. Hyun. Implementation and performance of a stable storage service for unix. In Proceedings of the 15th Symposium on Reliable Distributed Systems, pages 86-95, Niagara-on-the-Lake, Canada, Oct 1996.
9. F. Cristian and F. Schmuck. Agreeing on processor-group membership in asynchronous distributed systems. Technical Report CSE95-428, Dept of Computer Science and Engineering, University of California, San Diego, La Jolla, CA, 1995.
10. C. Dwork, N. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2): 288-323, Feb 1988.
11. C. Fetzer and F. Cristian. On the possibility of consensus in asynchronous systems. In Proceedings of the 1995 Pacific Rim Int'l Symp. on Fault-Tolerant Systems, Newport Beach, CA, Dec 1995. http://www-cse.ucsd.edu/~cfetzer/CONS/cons.html.
12. C. Fetzer and F. Cristian. A fail-aware datagram service. In Proceedings of the 2nd Annual Workshop on Fault-Tolerant Parallel and Distributed Systems, Geneva, Switzerland, Apr 1997. http://www-cse.ucsd.edu/~cfetzer/FADS/fads.html.
13. C. Fetzer and F. Cristian. A fail-aware membership service. In Proceedings of the 16th Symposium on Reliable Distributed Systems, Oct 1997. http://www-cse.ucsd.edu/~cfetzer/FAMS/fams.html.
14. C. Fetzer and F. Cristian. Fail-awareness: An approach to construct fail-safe applications. In Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing, Seattle, Jun 1997. http://www-cse.ucsd.edu/~cfetzer/FAPS/faps.html.
15. C. Fetzer and F. Cristian. Fortress: A system to support fail-aware real-time applications. In IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, Seattle, Dec 1997. http://www-cse.ucsd.edu/~cfetzer/FORTRESS/fortress.html.
16. C. Fetzer and F. Cristian. A highly available local leader service. In Proceedings of the Sixth IFIP International Working Conference on Dependable Computing for Critical Applications, Grainau, Germany, Mar 1997. http://www-cse.ucsd.edu/~cfetzer/HALL/hall.html.
17. C. Fetzer and F. Cristian. in preparation. Technical report, UCSD, 1998.
18. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2): 374-382, Apr 1985.
19. D. L. Mills. Internet time synchronization: the network time protocol. IEEE Trans. Communications, 39(10): 1482-1493, Oct 1991.
20. D. L. Mills. Modelling and analysis of computer network clocks. Technical Report 92-5-2, University of Delaware, Electrical Engineering Department, May 1992.
21. J. Postel. User datagram protocol. Technical Report RFC768, USC / Information Sciences Institute, 1980.
22. B. Schneier. Applied Cryptography. John Wiley, 1996.
23. P. Verissimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. IEEE TCOS Bulletin, 7(4), Dec 1995.