This preview shows page 1. Sign up to view the full content.
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
This note was uploaded on 01/18/2012 for the course COP 5615 taught by Professor Staff during the Fall '08 term at University of Florida.
- Fall '08
- Operating Systems