Experimental Steps
This experiment can only be run on desktop, as it requires the use of a mouse. For detailed experimental steps, please refer to Procedure.
- Click on the plus and minus buttons to add and delete processes.
- After adding a process, the increment in that process' clock can be adjusted.
- Use the Add/Delete buttons to change modes.
- Add events.
- Move the scrollbar to the left and right.
- Add messages between processes.
- See event times.
- Looking at event pop-ups clearly.
Observations
-
Consistency
- The circumstances leading to an inconsistent state involve a deadlock on sending and receiving messages.
-
Scalar time
- Working of the scalar logical clock can be learned by adjusting events and messages.
-
Concurrency
- The circumstances leading to cases where a causal relationship cannot be established between two events.
- Scalar time is insufficient to arrive at such a conclusion.