Figure 5 - uploaded by Matthieu Perrin
Content may be subject to copyright.
Download
View publication
Proving that H is causal by contradiction

Proving that H is causal by contradiction

Source publication
Table 1 : Possible executions for the history of Figure 4
Figure 5: Proving that H is causal by contradiction
Modular quasi-causal data structures
Technical Report
Full-text available
  • Nov 2015
In large scale systems such as the Internet, replicating data is an essential feature in order to provide availability and fault-tolerance. Attiya and Welch proved that using strong consistency criteria such as atomicity is costly as each operation may need an execution time linear with the latency of the communication network. Weaker consistency c...
Cite
Download full-text

Contexts in source publication

Context 1
... in Figure 5). w p (X,v) H w r (X,v ′ ) means we can find a sequence of operations op i ∈ H so that ...
Context 2
... M is the message causal order introduced in Section 3.1. We conclude that WRITE p (X,v) M WRITE r (X,v ′ ), i.e., that WRITE p (X,v) belongs to the causal past of WRITE r (X,v ′ ), and hence that q in Figure 5 toco-delivers WRITE r (X,v ′ ) after WRITE p (X,v). We now want to show that WRITE r (X,v ′ ) is toco-delivered by q before q executes r q (X,v). ...