Causality View

The causal relations between processes are shown in the form of arrows pointing from the sender of a message to the receiver. It starts at the local clock time of the sender when sending the message and ends at the local time of the receiving process when receiving the message. It should be noted that the local clock time for the causality view is computed differently to the local clock used for the time stamp of request messages. On receiving a message the causality view's local clock is set to

$$\mbox{\em new value}:=\max(\mbox{\em old value}, \mbox{\em received value})+1.$$

The colouring of relations is realized by colouring all request messages in the associated colour of the sending process while fork messages use the associated colour of the receiving process. This helps the user to see which relations were caused by which.
 

11/16/1999