Skip to main content
SpringerLink
Log in

Déterminer un état global dans un système réparti

Determining a global state in a distributed system

  • Published:
Annales Des Télécommunications Aims and scope Submit manuscript

Résumé

Le calcul d’un état global réparti est l’un des paradigmes des problèmes de contrôle des messages entre processus répartis. Après avoir exposé le problème, cet article analyse et présente plusieurs solutions. Celles-ci se distinguent les unes des autres par les hypothèses qu’elles font sur les canaux de communication et les messages de contrôle utilisés. En plus de son caractère synthétique sur le calcul d’un état global réparti, cet article constitue une illustration des hypothèses et difficultés propres au contexte réparti.

Abstract

Recording a global snapshot of a distributed system is one of the paradigms of distributed control problems. This paper presents and analyses several solutions. They differ by the assumptions made on the communication channels and the use of control messages. Moreover, this paper throws light on assumptions and difficulties inherent to a distributed environment.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliographie

  1. Acharya (A.), Badrinath (B. R.). Recording distributed snapshots based on causal order of message delivery.Inf. Proc. Letters (1992),44, pp. 317–321.

    Article  MATH  MathSciNet  Google Scholar 

  2. Ahuja (M). Flush primitives for asynchronous distributed systems.Inf. Proc. Letters (1990),34, n° 2, pp. 5–12.

    Article  MATH  MathSciNet  Google Scholar 

  3. Ahuja (M.). Global snapshots for asynchronous distributed systems with non-FIFO channels.Tech. Rep. 92–268, Univ. of California, San Diego (Nov. 1992), 7 p.

    Google Scholar 

  4. Alagar (S.), Venkatesan (S.). An optimal algorithm for distributed snapshots with causal message ordering.Tech. Rep., Univ. of Texas, Dallas, Texas (1993), 7 p.

    Google Scholar 

  5. Babaoglu (O.), Marzullo (K.). Consistent global states of distributed systems: fondamental concepts and mechanisms. In S. J. Mullender, Editor, Distributed systems, Chap. 4,ACM Press (1993).

  6. Birman (K.), Joseph (T. A.). Reliable communication in the presence of failures.ACM TDCS (Feb. 1987),5, n° 1, pp. 47–76.

    Article  Google Scholar 

  7. Chandy (K. M.), Lamport (L.). Distributed snapshots: determining global states of distributed systems.ACM TOCS (1985),3, n° 1, pp. 63–75.

    Article  Google Scholar 

  8. Chandy (K. M.), Misra (J.). Parallel program design: a foundation.Addison-Wesley (1988), 516 p.

  9. Dukstra (E. W.). The distributed snapshot of K. M. Chandy and L. Lamport.Tech. Rep. EWD864a, Univ. of Texas, Austin, Tex. (1984).

    Google Scholar 

  10. Hélary (J.-M). Observing global states of asynchronous distributed applications.Proc. Workshop on Dist. Alg., Springer Verlag, LNCS 392 (1989), pp. 124–135.

  11. Lai (T. H.), Yang (T. H.). On distributed snapshots.Inf. Proc. Letters (1987),25, pp. 153–158.

    Article  MATH  MathSciNet  Google Scholar 

  12. Lamport (L.). Time, clocks and the ordering of events in a distributed system.Comm. ACM (July 1978),21, n° 7, pp. 558–565.

    Article  MATH  Google Scholar 

  13. Mattern (F.). Virtual time and global states of distributed systems.Proc. of Int. Workshop on Parallel and Dist. Systems, North Holland (1988), pp. 215–226.

  14. Peterson (L. L.), Bucholz (N. C.), Schlichting (R.). Preserving and using context information in interprocess communication.ACM TOCS (1989),7, n° 3, pp. 213–246.

    Article  Google Scholar 

  15. Raynal (M.), Schiper (A.), Toueg (S.). The causal order abstraction and a simple way to implement it.Inf. Proc. Letters (1991),39, pp. 343–350.

    Article  MATH  MathSciNet  Google Scholar 

  16. Raynal (M.). Synchronisation et état global dans les systèmes répartis. Collection EDF,Eyrolles (1992), 230 p.

  17. Sandoz (A.), Schiper (A.). A characterization of consistent distributed snapshot using causal order.Tech. Report RR 92–14, EPLF, Lausanne (Oct. 1992), 9 p.

  18. Schiper (A.), Sandoz (A.), Eggli (J.). A new algorithm to implement causal ordering.Proc. Workshop on Dist. Alg., Springer Verlag, LNCS 392 (1989), pp. 219–232.

  19. Taylor (K.). The role of inhibition in asynchronous consistent cut protocols.Proc. Workshop on Dist. Alg., Springer Verlag, LNCS392 (1989), pp. 280–291.

Download references

Author information

Authors and Affiliations

  1. IRISA Campus de Beaulieu, F-35042, Rennes Cedex, France

    Jean-Michel Hélary, Achour Mostefaoui & Michel Raynal

Authors
  1. Jean-Michel Hélary
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Achour Mostefaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michel Raynal
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Ce travail a bénéficié du soutien du cnet au titre du marché 92 1B 178 (Conception formelle de systèmes de coopération haut débit multimédia, projet Cesame.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hélary, JM., Mostefaoui, A. & Raynal, M. Déterminer un état global dans un système réparti. Ann. Télécommun. 49, 460–469 (1994). https://doi.org/10.1007/BF02999434

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02999434

Mots clés

Key words

Search

Navigation