Closed bbengfort closed 8 years ago
This is complete except that the Replicas need to modify the
LamportVersion.counter[replica.id].value = latest_seen_value
When a version comes in that has a version number higher than their current counter (e.g. to implement the Lamport Scalar clock.
Unfortunately we haven't not implemented this in order to record global staleness numbers.
Import version numbers as (Lamport Scaler, Replica ID).