Distributed Snapshot

Chandy Lamport Algorithm.

Reference

• Project 1
• Project 2

Vector Clock Trace

Command To Generate Shiviz Log

1. Run the following to generate the log file

go install github.com/DistributedClocks/GoVector

GoVector --log_type shiviz --log_dir /Users/arjunsunilkumar/GolandProjects/0sysdev_dec/chandy-lamport-go/govector --outfile final.log

2. Open the log file in ShiViz

3. Use the following regular expression to parse the log file

(?<host>\S*)\s+(?<clock>\{.*?\})\s+(?<event>.*)

4. Input would look like this

Pending Task

• Revisit Advanced OS slides
• Watch the videos
• Make the concept clearer with an example and counterexample.
• I think some more correctness verification is needed. Also, need to make it generic for any number of processes.