Implementing snapshot protocol for message based communication libraries
A snapshot protocol derived from the Lay-Yang colouring algorithm  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 . In the following we provide a short description of an implementation based on the PVM library.