Skip to content

Latest commit

 

History

History
37 lines (25 loc) · 1.11 KB

README.md

File metadata and controls

37 lines (25 loc) · 1.11 KB

Distributed Snapshot

Chandy Lamport Algorithm.

Reference

Vector Clock Trace

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

  1. Open the log file in ShiViz

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

(?<host>\S*)\s+(?<clock>\{.*?\})\s+(?<event>.*)
  1. Input would look like this

Shiviz Input

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.