Unformatted text preview: [Note that Vci[i] only changes whenever an event happens at Pi (local event, send message, or receive message). 2. (a) (1) MCi[j,k] represents Pi's knowledge of Pj's knowledge of the number of events that have happened at Pk. That is, Pi knows that Pj knows that at least MCi[j,k] events have happened at Pk. (b) (1) It changes only whenever Pi receives a message with a matrix timestamp that has a larger value for TS[j,k]. This indicates that the sender knows that Pj knows about more events at Pk than Pi knew that Pj knew about. Clear? [Note that MCi[i,*] is the same at Pi's vector clock.]...
View Full Document
- Fall '08
- Operating Systems, X&Y, Vector clock, Lamport timestamps, A Rush of Blood to the Head