Brief Announcement¶
Preguiça, N., Bauqero, C., Almeida, P. S., Fonte, V., & Gonçalves, R. (2012). Brief Announcement: Efficient Causality Tracking in Distributed Storage Systems with Dotted Version Vectors. Proceedings of PODC '12, 335-336.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Version Vector
- First, vectors grow with the number of writers and can bloat, so real systems prune — and pruning is exactly where subtle causality bugs hide, since dropping a slot too eagerly can turn a real ordering into apparent concurrency or vice versa.
This sourceShows that client-based version vectors grow with the number of writers and that bounding causal metadata can lose ordering information and create false conflicts.
- First, vectors grow with the number of writers and can bloat, so real systems prune — and pruning is exactly where subtle causality bugs hide, since dropping a slot too eagerly can turn a real ordering into apparent concurrency or vice versa.
- Version-Vector or Dotted-Context Exchange
- Its strength is recovering true causal order in a system with no global clock, so concurrent updates are detected rather than silently collapsed — it is the metadata backbone that read-repair, the background exchange, and every merge rule lean on to decide whether to supersede or to flag a conflict.
This sourceShows how dotted version vectors distinguish causally superseded versions from genuinely concurrent versions retained for reconciliation.
- Its strength is recovering true causal order in a system with no global clock, so concurrent updates are detected rather than silently collapsed — it is the metadata backbone that read-repair, the background exchange, and every merge rule lean on to decide whether to supersede or to flag a conflict.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Was it audited? Yes. A second, independent pass read the citation against the article text and recorded a verdict.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:a28e6e695b2a · see in the full table