Skip to main content
SpringerLink
Log in

Time in Distributed System Models and Algorithms

  • Chapter
  • First Online:
Advances in Distributed Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1752))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Carlos Almeida and Paulo VerĂ­ssimo. An adaptive real-time group communication protocol. In Proceedings of the First IEEE Workshop on Factory Communication Systems, Leysin, Switzerland, October 1995.

    Google Scholar 

  2. Carlos Almeida and Paulo VerĂ­ssimo. Timing failure detection and real-time group communication in quasi-synchronous systems. In Proceedings of the 8th Euromicro Workshop on Real-Time Systems, L' Aquila, Italy, June 1996. (also available as INESC technical report RT/20-95).

    Google Scholar 

  3. K. Birman and T. Joseph. Reliable Communication in the Presence of Failures. ACM, Transactions on Computer Systems, 5(1), February 1987.

    Google Scholar 

  4. Powell D., Failure Modes Assumptions and Assumption Coverage. Proc. 22th IEEE Symposium on Fault-Tolerant Computing (FTC’92), Boston, MA, 1992, pp. 386–392.

    Google Scholar 

  5. Raynal M., Schiper A. and Toueg S., The Causal Ordering Abstraction and a Simple Way to Implement it. Information procesing Letters, 39:342–350, 1991.

    Google Scholar 

  6. Baldoni R., Mostefaoui A. and Raynal M., Causal Delivery of Messages with Realtime Data in Unreliable Networks. Realtime Systems Journal, 10:245–262, 1996.

    Google Scholar 

  7. Baldoni R., Prakash R., Raynal M. and Singhal M., Effcient Δ-Causal Broadcasting. Computer Systems Science and Engineering, 13(5):125–131, 1998.

    MATH  Google Scholar 

  8. Raynal M. and Singhal M., Logical Time: Capturing Causality in Distributed Systems. Computer, 29(2):49–56, February 1996.

    Article  Google Scholar 

  9. Tushar Chandra, Vassos Hadzilacos, Sam Toueg, and Bernadette Charron-Bost. On the impossibility of group membership. In Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, pages 322–330, Philadelphia, USA, May 1996. ACM.

    Google Scholar 

  10. Tushar Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225–267, March 1996.

    Article  MATH  MathSciNet  Google Scholar 

  11. D. Cheriton and D. Skeen. Understanding the limitations of causally and totally ordered communication. In Proceedings of the 14th Symposium on Operating Systems Principles, Asheville, NC, USA, December 1993.

    Google Scholar 

  12. Françcois J.N. Cosquer, Pedro Antunes, and Paulo Veríssimo. Enhancing dependability of cooperative applications in partitionable environments. In Dependable Computing-EDCC-2, volume 1150 of Lecture Notes in Computer Science, chapter 6, pages 335–352. Springer-Verlag, October 1996.

    Google Scholar 

  13. Françcois J.N. Cosquer, Luís Rodrigues, and Paulo Veríssimo. Using Tailored Failure Suspectors to Support Distributed Cooperative Applications. In Proceedings of the 7th International Conference on Parallel and Distributed Computing and Systems, pages 352–356. IASTED, October 1995.

    Google Scholar 

  14. Flaviu Cristian and Christof Fetzer. The timed asynchronous system model. In Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing, pages 140–149, Munich, Germany, June 1998. IEEE Computer Society Press.

    Google Scholar 

  15. Flaviu Cristian. Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195–212, 1990.

    Article  Google Scholar 

  16. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the Association for Computing Machinery, 32(2):374–382, April 1985.

    MATH  MathSciNet  Google Scholar 

  17. A. Gopal, R. Strong, S. Toueg, and F. Cristian. Early-delivery atomic broadcast (extended abstract). In Proceedings of the 9th ACM Annual Symposium on Principles of Distributed Computing, pages 297–309, Quebec City, Canada, 1990.

    Google Scholar 

  18. Leslie Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 21(7):558–565, July 1978.

    MATH  Google Scholar 

  19. B. Parkinson and S. Gilbert. Navstar: Global positioning system—ten years later. Proceedings of the IEEE, 71(10):1177–1186, October 1983.

    Article  Google Scholar 

  20. L. Rodrigues and P. Veríssimo. xAMp: a Multi-primitive Group Communications Service. In Proceedings of the 11th Symposium on Reliable Distributed Systems, pages 112–121, Houston, Texas, October 1992. IEEE. INESC AR/66-92.

    Google Scholar 

  21. P. VerĂ­ssimo and A. Casimiro. The timely computing base. In Digest of Fast Abstracts, The 29th International Symposium on Fault-Tolerant Computing, Madison, USA, June 1999. IEEE. Extended version in DI/FCUL TR 99-2, Department of Informatics, University of Lisboa, April 1999.

    Google Scholar 

  22. P. Veríssimo, L. Rodrigues, and A. Casimiro. Cesiumspray: a precise and accurate global clock service for large-scale systems. Journal of Real-Time Systems, 12(3):243–294, 1997.

    Article  Google Scholar 

  23. Paulo Veríssimo and Carlos Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), 7(4):35–39, Winter 1995.

    Google Scholar 

  24. P. Veríssimo. Ordering and Timeliness Requirements of Dependable Real-Time Programs. Journal of Real-Time Systems, Kluwer Eds., 7(2):105–128, September 1994. Also as INESC AR/14-94.

    Article  Google Scholar 

  25. P. Veríssimo. Causal Delivery Protocols in Real-time Systems: a Generic Model. Journal of Real-Time Systems, 10(1):45–73, January 1996.

    Article  Google Scholar 

  26. P. VerĂ­ssimo and L. Rodrigues. A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing, Boston-USA, July 1992. IEEE. INESC AR/65-92.

    Google Scholar 

  27. Paulo Veríssimo. Real-time Communication. In S.J. Mullender, editor, Distributed Systems, 2nd Edition, ACM-Press, chapter 17, pages 447–490. Addison-Wesley, 1993.

    Google Scholar 

  28. Paulo Veríssimo, P. Barrett, P. Bond, A. Hilborne, L. Rodrigues, and D. Seaton. The Extra Performance Architecture (XPA). In D. Powell, editor, Delta-4-A Generic Architecture for Dependable Distributed Computing, ESPRIT Research Reports, pages 211–266. Springer Verlag, November 1991c.

    Google Scholar 

  29. Paulo Veríssimo, L. Rodrigues, and J. Rufino. The Atomic Multicast protocol (AMp). In D. Powell, editor, Delta-4-A Generic Architecture for Dependable Distributed Computing, ESPRIT Research Reports, pages 267–294. Springer Verlag, November 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Sciences, Univ. of Lisboa, Lisboa, Portugal

    Paulo VerĂ­ssimo

  2. Campus de Beaulieu Rennes, IRISA, France

    Michel Raynal

Authors
  1. Paulo VerĂ­ssimo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Raynal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Grenoble Laboratoire SIRAC, INRIA Rhône-Alpes, Université Joseph fourier, 655 avenue de l’Europe, 38330, Monbonnot Saint-Martin, France

    Sacha Krakowiak

  2. Department of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK

    Santosh Shrivastava

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

VerĂ­ssimo, P., Raynal, M. (2000). Time in Distributed System Models and Algorithms. In: Krakowiak, S., Shrivastava, S. (eds) Advances in Distributed Systems. Lecture Notes in Computer Science, vol 1752. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46475-1_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-46475-1_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67196-1

  • Online ISBN: 978-3-540-46475-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation