[cs63201] HW1 Question 11

[Mikhail Nesterenko]

> "If each process uses a different value "d" (increment) in Lamport's
>    logical clocks, do the clocks still preserve the causality relationship?
> 
>    That is, for two events A and B:
> 
> 	if A -> B  then C(A) < C(B)
> 
>    Explain your answer."
> 
> By this I am assuming you mean something like this?(one just increases
> in a bigger proportion for no reason)?
> 
> P1-  (1) (2) (3) (4)  [along a line]
> P2-  (5) (10) (15) (20)
> 

That is correct. Specifically, the increment is different for each
process. Now, what you have to show is that either the scalar logical
clock that operates this way preserves causality (you have to provide
a counter-example) or give a convincing arugment as to why it does.

Thanks,
-- 
Mikhail