Basic View

The basic view shows the communication graph of the network in which each edge also represents a shared resource. Initially all nodes are shown as yellow circles. As the animation proceeds nodes change their colour to

• green when they become interested in a resource
• red when they have managed to access their critical section
• yellow when they have left their critical section

The unique identifiers used for the lexical ordering of events are displayed for each node. They also help to identify nodes in other views.

The edges appear as black coloured polylines by default. If two nodes are competing with each other for a resource then the edge changes into a red arrow. The arrow points to the node which may access a resource first.

For a message which is transmitted on a link, an arrow is shown until the message is received. The arrow points from sender to receiver and continuously changes its size along the edge connecting sender and receiver. A request message is coloured green, while a fork message is coloured blue. If both messages are sent at the same time one arrow is shown which flashes between both colours.

11/16/1999