Paxos is a family of protocols for a network of unreliable processors to agree on a result.
Questions tagged [paxos]
132 questions
2
votes
1 answer
Why does the proposer sends an accept request with the same value it got from the acceptor?
In the second phase of the paxos algorithm, the proposer issues an accept request with the number n and the value v it got from the acceptor, if the acceptor has already chosen a value previously. My questions is why the proposer is doing this?…

fluter
- 13,238
- 8
- 62
- 100
2
votes
0 answers
how eureka peers guarantee the registration information is consistent when sync action fail
PeerAwareInstanceRegistryImpl will sync to other peers when registration changed,the code as follows:
private void replicateInstanceActionsToPeers(Action action, String appName,
String id, InstanceInfo…

wangsan
- 41
- 5
2
votes
2 answers
Is a replication log necessary to achieve linearizability in distributed store
The Raft algorithm used by etcd and ZAB algorithm by Zookeeper are both using replication log to update a state machine.
I was wondering if it's possible to design a similar system by simply using leader election and versioned values. And why those…

skyde
- 2,816
- 4
- 34
- 53
2
votes
2 answers
Multiple IF conditions in Cassandra lightweight transactions/CAS
So I'm trying to do a CAS (compare-and-set) type operation in Cassandra, where I want to do a data update only if a particular non-primary-key column is NULL or < ? where ? is supplied by client-side code.
How do I do this? Something like the…

Nishant Kelkar
- 412
- 1
- 4
- 20
2
votes
1 answer
Light Weight Transactions (LWT) failing while new nodes join cluster
I had a 9 node cluster running Cassandra 2.0.12 (DataStax Community edition). I had to expand this cluster so added 3 more nodes following the DataStax advised as per…

dwivedialok
- 151
- 5
2
votes
1 answer
Why paxos acceptor must send back any value they have already accepted
I'm learning MIT 6.824 class and I have a question about paxos. When proposer send a prepare to acceptor, acceptor will return a prepare_ok with n and v which highest accept see. I wonder why acceptor need to return n and v?

modkzs
- 1,369
- 4
- 13
- 17
2
votes
2 answers
Using Paxos to synchronize a large file across nodes
I'm trying to use Paxos to maintain consensus between nodes on a file that is around 50MB in size, and constantly being modified at individual nodes. I'm running into issues of practicality.
Requirements:
Sync a 50MB+ file across hundreds of…

TheEnvironmentalist
- 2,694
- 2
- 19
- 46
2
votes
2 answers
Spanner's Read-Only Transaction
I do understand Spanner's read-only transaction in one paxos group.
But how does the read-only transaction over more than one paxos group work? The paper says that it uses TT.now().latest as timestamp which then performs a snapshot read with the…

user1091344
- 612
- 6
- 27
2
votes
0 answers
Two-phase commit vs Paxos
I am quite confused with these two technologies.
Are there any relationship between these two technologies
Are there any existing popular open source software implements these technologies? I know zookeeper implements Paxos but what about Two-phase…

Howard
- 19,215
- 35
- 112
- 184
2
votes
1 answer
How does one handled skipped event numbers with Paxos?
If we are running multi-paxos then a node may see:
Propose(N)
Accept!(N,Vn)
Accept!(N+1,Vm)
Accept!(N+4,Vo) // huh? where is +2, +3?
Accept!(N+5,Vp)
This may be because either:
There was a stable leader but the network local to this node dropped…

simbo1905
- 6,321
- 5
- 58
- 86
2
votes
2 answers
In "Part-time Parliament" why does using the membership from decree n-3 work to add or remove members?
Section 3.3.6 of "The Part-Time Parliament" suggests that membership in the parliament (and thus the quorum for decisions) can be changed safely "by letting the membership of Parliament used in passing decree n be specified by the law as of decree…

djmitche
- 409
- 2
- 10
2
votes
1 answer
Why is Chubby lockserver not multi-master?
As I understand Chubby at any given time there are 5 chubby servers. One is the master and handles coordination of writes to the quorum, and the other 4 servers are read only and forward handling of writes to the master. Writes use Paxos to maintain…

user782220
- 10,677
- 21
- 72
- 135
2
votes
1 answer
Model checking Paxos
I have implemented consensus algorithm (based on Paxos). I have added some random test cases and it seems fine. But want to do testing via model check? Couldn't find correct article for it. Please share how to do about model checking in Paxos
Thanks

mohan
- 1,340
- 3
- 15
- 27
1
vote
1 answer
Performance of LWT in scylla/cassandra
Wanted to understand the why do we say the throughput of whole Cassandra/scylla/cockroachDB setup is dependent on LWT/linearised TX.
LWT will affect throughput of a hot key (index or row with a lot of queries), I do understand we can't increase…

siddharthabhi30
- 35
- 6
1
vote
1 answer
The relationship between Paxos family and data consistency
Paxos, a kind of consensus algorithm, plays a vital role in distributed database systems. It can be used to make the distributed system chooses the same proposal. Data consistency is a big problem in the database system. Others consisder that Paxos…

dengzeyuan
- 13
- 2