CLOTHO: directed test generation for weakly consistent database systems
Citations
7 citations
7 citations
Cites background from "CLOTHO: directed test generation fo..."
...Therefore, we do not discuss related approaches such as analysing the availability on the DBMS level [24] or evaluating the consistency impact on client and DBMS level [5]....
[...]
3 citations
3 citations
3 citations
References
1,086 citations
"CLOTHO: directed test generation fo..." refers background in this paper
...For each benchmark, we initially limited the length of cycles to be at most 4, as all the canonical serializability anomalies, e.g. dirty reads and lost updates are of this length [Berenson et al. 1995]....
[...]
1,028 citations
"CLOTHO: directed test generation fo..." refers background in this paper
...In addition to the above challenges, the high computational cost of detecting serializability anomalies at runtime[Papadimitriou 1979] means that practical testing methods often leverage a set of user-provided application-level invariants and assertions to check for serializability failureinduced…...
[...]
...te, the chance of randomly encountering conflicts of this kind becomes even smaller. In addition to the above challenges, the high computational cost of detecting serializability anomalies at runtime[Papadimitriou 1979] means that practical testing methods often leverage a set of user-provided application-level invariants and assertions to check for serializability failureinducedviolations.But,theseassertionsareoft...
[...]
428 citations
406 citations
"CLOTHO: directed test generation fo..." refers background in this paper
...…of developers’ atomicity assumption for code regions in shared memory programs have been recently introduced where certain conflicting access patterns have been deemed safe due to lack of data flow between the read and write operations involved in such conflicts [Lu et al. 2006; Lucia et al. 2010]....
[...]
351 citations