Hamsaz: replication coordination analysis and synthesis
Citations
21 citations
20 citations
Cites background or result from "Hamsaz: replication coordination an..."
...This correctness problem has been addressed before; however, previous works mostly consider the operation-based propagation approach [11, 13, 19, 24]....
[...]
...This is in contrast to other works on the verification of properties of replicated objects [11, 13]....
[...]
...Houshmand et al.[13] extends CISE by lowering the causal consistency requirements and generating concurrency control protocols....
[...]
17 citations
16 citations
11 citations
References
8,381 citations
6,804 citations
4,389 citations
"Hamsaz: replication coordination an..." refers background or result in this paper
...There has been a known dilemma [Abadi 2012; Fischer et al. 1985; Gilbert and Lynch 2002, 2012] between strong and weak consistency of replicated objects....
[...]
...Following fundamental impossibility results [Fischer et al. 1985; Gilbert and Lynch 2002], this protocol has a trade-off between availability and consistency....
[...]
4,349 citations
"Hamsaz: replication coordination an..." refers background in this paper
...…[Madhusudan and Thiagarajan 2001] to tolerate faults, online services rely on geo-replicated data stores [Cooper et al. 2008; Corbett et al. 2013; DeCandia et al. 2007; Li et al. 2012; Lloyd et al. 2011, 2013; Sovran et al. 2011] to manage the ever-growing amount of data and hand-held devices…...
[...]
...Embedded control systems replicate controllers [Madhusudan and Thiagarajan 2001] to tolerate faults, online services rely on geo-replicated data stores [Cooper et al. 2008; Corbett et al. 2013; DeCandia et al. 2007; Li et al. 2012; Lloyd et al. 2011, 2013; Sovran et al. 2011] to manage the ever-growing amount of data and hand-held devices replicate data for off-line use....
[...]
2,965 citations
"Hamsaz: replication coordination an..." refers methods in this paper
...Strongly consistent replication (via Viewstamp [Oki and Liskov 1988], Paxos [Lamport 1998] and Raft [Ongaro and Ousterhout 2014] protocols) guarantees the same total order of operations across all replicas....
[...]