In a similar fashion to Exercise 14.10, show that e e Ve Ve .
What will be an ideal response?
If e and e are successive events occurring at the same process, or if there is a message m such that e = send(m) and e = rcv(m), then the result follows from VC2–VC4. In the latter case the sender includes its timestamp value and the recipient increases its own vector clock entry; all of its other entries remain at least as great as those in the sender’s timestamp.
Assume that the result to be proved is true for all pairs of events connected in a sequence of events (in which either HB1 or HB2 applies between each neighbouring pair) of length N or less (N Š 2).
You might also like to view...
The ____________________ shows a calendar for the current month with a blue box around the current date.
Fill in the blank(s) with the appropriate word(s).
Yelling at your audience means that you ________
A) italicized the text B) used all caps C) bolded the text D) used too large a font size
Screen Tip that displays additional useful and descriptive information about a command is called:
A) edited. B) illustrated. C) aligned. D) enhanced.
Access lists to block a router's outward delivery must be applied as ____________________ filters.
Fill in the blank(s) with the appropriate word(s).