Download Vector length bound

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Mathematical proof wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Classical Hamiltonian quaternions wikipedia , lookup

Vector space wikipedia , lookup

Bra–ket notation wikipedia , lookup

Euclidean vector wikipedia , lookup

Cartesian tensor wikipedia , lookup

Basis (linear algebra) wikipedia , lookup

Transcript
1
Prof. Jennifer Welch
Vector Clock Size Lower Bound
2
Theorem: Any implementation of vector clocks using
vectors of real numbers requires vectors of length
n (number of processes).
Proof: For any value of n, consider this execution:
ai : first send event at process pi
bi : last receive event at pi
Example Bad Execution
3
For n = 4:
Vector Clock Size Lower Bound
4
Claim 1: ai+1 || bi for all i (with wrap-around)
Proof: Since each proc. does all sends before any
receives, there is no transitivity. Also pi+1 does not
send to pi.
Claim 2: ai+1  bj for all j ≠ i.
Proof: If j = i+1, obvious.
If j ≠ i+1, then pi+1 sends to pj:
Vector Clock Size Lower Bound
5


Suppose in contradiction, there is a way to implement
vector clocks with k-vectors of reals, where k < n.
By Claim 1, ai+1 || bi
=> V(ai+1) and V(bi) are incomparable
=> V(ai+1) is larger than V(bi) in some coordinate
h(i)
=> h : {0,…,n-1}  {0,…,k-1}
Vector Clock Size Lower Bound
6

Since k < n, the function h is not 1-1. So there exist
distinct i and j such that h(i) = h(j). Let r be this
common value of h.
V(a0)
V(a1)
…
V(ai+1)
…
V(aj+1)
…
V(an-1)
V(b0)
…
V(bi)
…
V(bj)
…
V(bn-2)
V(bn-1)
two of these
components are
the same, say
h(i) = h(j) = r
Vector Clock Size Lower Bound
7
V(bi)
V(ai+1)
V(bj)
V(aj+1)
Vector Clock Size Lower Bound
8



So V(ai+1) is larger than V(bi) in coordinate r and
V(aj+1) is larger than V(bj) in coordinate r also.
V(aj+1)[r] > V(bj)[r] by def. of r
≥ V(ai+1)[r] by Claim 2 (ai+1  bj) & correct.
≥ V(bi)[r] by def. of r
Thus V(aj+1) !< V(bi), contradicting Claim 2 (aj+1  bi)
and assumed correctness of V.
9