Implementing snapshot protocol for message based communication libraries

  • Andrea Clematis
  • Vittoria Gianuzzi
  • Giovanni Sacchetto
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1127)


A snapshot protocol derived from the Lay-Yang colouring algorithm [2] is presented. The special feature of this protocol is the use of system acknowledgement messages, already generated by most communication libraries, to detect snapshot termination. Formal definitions, demonstrations, message complexity (which is O(n) where n is the number of processes) as well as comparisons with other communication protocols are discussed in [1]. In the following we provide a short description of an implementation based on the PVM library.


  1. 1.
    Gianuzzi V.: An optimal snapshot protocol for acknowledged message passing. Tech. Rep. DISI-TR-96-6. submitted for publication (1996).Google Scholar
  2. 2.
    Lai T.-H., Yang T.-H.: On distributed snapshots. Inform. Process. Lett. 25 (1987) 153–258.MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Andrea Clematis
    • 1
  • Vittoria Gianuzzi
  • Giovanni Sacchetto
    • 2
  1. 1.IMA - CNRGenovaItaly
  2. 2.DISI, Universitá di GenovaGenovaItaly

Personalised recommendations