previous up next
Go up to B Distributed Snapshots
Go forward to B.2 Algorithm
RISC-Linz logo

B.1 Problem

We are going to design and to implement a distributed program that simulates the behavior of a banking system:

Let the network value be the sum of all money stored in some node or contained in some message of the network; by above operation this value remains constant but is unknown to every node.

The program is to determine the network value in every node without interrupting normal operation; when the value is known to every node, execution may terminate. An assertion should check whether the result is correct.


Maintainer: Wolfgang Schreiner
Last Modification: October 1, 1998

previous up next