Stack Overflow
Stack Overflow

Questions tagged [paxos]

Paxos is a family of protocols for a network of unreliable processors to agree on a result.

132 questions
4
votes
4 answers

Paxos algorithm in the context of distributed database transaction

I had some confusion about paxos, specifically in the context of database transactions: In the paper "paxos made simple", it says in the second phase that the proposer needs to choose one of the values with the highest sequence number which one of…
bohanl
  • 1,885
  • 4
  • 17
  • 33
4
votes
1 answer

Does paxos "ignore" the request for updating the value if it is not in sync with highest proposal number sent by acceptor?

Title here could be misleading. I will try my best to explain my doubt through an example. I am reading about paxos algorithm from wiki and other sources. 1) Imagine a situation where a client's request to update a value (X in below example) is…
brain storm
  • 30,124
  • 69
  • 225
  • 393
4
votes
1 answer

What's the benefit of advanced master election algorithms over bully algorithm?

I read how current master election algorithms like Raft, Paxos or Zab elect master on a cluster and couldn't understand why they use sophisticated algorithms instead of simple bully algorithm. I'm developing a cluster library and use UDP Multicast…
Boyolame
  • 329
  • 2
  • 13
4
votes
0 answers

paxos when acceptors change its value

In paxos algorithm,there is a description in wiki: Phase 2a: Accept Request If a Proposer receives enough promises from a Quorum of Acceptors, it needs to set a value to its proposal. If any Acceptors had previously accepted any proposal, then…
user1957040
  • 41
  • 2
4
votes
2 answers

What is "value of the highest-numbered proposal" in the Paxos algorithm?

In Paxos made simple Lamport describes Phase 2 (a) of the algorithm as following: If the proposer receives a response to its prepare requests (numbered n) from a majority of acceptors, then it sends an accept request to each of those acceptors…
daniero
  • 335
  • 1
  • 8
  • 11
4
votes
1 answer

How do you mitigate proposal-number overflow attacks in Byzantine Paxos?

I've been doing a lot of research into Paxos recently, and one thing I've always wondered about, I'm not seeing any answers to, which means I have to ask. Paxos includes an increasing proposal number (and possibly also a separate round number,…
Campadrenalin
  • 243
  • 1
  • 7
4
votes
1 answer

paxos value choice

I've read about paxos on wiki page and the paper (paxos made simple). However, I'm still confused by some details: In phase 1a, does the proposer include the value that it intends to choose in the proposal to acceptors? In phase 1b, acceptor is…
Bergwolf
  • 55
  • 7
4
votes
1 answer

Good books on distributed systems

Is there a really good book that covers in depth: two phase commit, paxos as well as limitations in achieving consistency, availability, partition tolerance. Browsing Amazon it is amazing to see the number of distributed systems books that don't…
user782220
  • 10,677
  • 21
  • 72
  • 135
3
votes
1 answer

Paxos understanding

I have read the paper Paxos made simple. And after hard thinking, I come to this conclusion: The Paxos protocol always guarantees the majority of servers accept the same value at the same turn of the proposal and so that finally, we can derive the…
梁雨生
  • 385
  • 3
  • 16
3
votes
2 answers

Simple leader election (Stateless leader election)

I am building an app in golang that I would like to be fault-tolerant. I looked at different algorithms like RAFT and Paxos and their implementations in golang (etcd's raft, hashicorp's raft), but I feel like they might be an overkill for my…
Aibek
  • 318
  • 3
  • 11
3
votes
1 answer

What is the purpose of Chubby Sequencers

While reading article from google about chubby, I didn't really understand the purpose of sequencers Assume we have 4 entities : Chubby cell Client 1 Client 2 Service we want to use and where we will send the requests (for which we need the…
newbie
  • 71
  • 1
  • 1
  • 4
3
votes
2 answers

how to prove a consensus implementation like multipaxos is right?

I want to prove that my implementation of multi-paxos is right. Are there any valid examples for me to test on? Or there can be some other ways to convince others that my implementation is right. I tried to find some paper that contained the…
biscuittown
  • 33
  • 2
3
votes
1 answer

Understanding Cassandra Paxos implementation

In Datastax's docs they say that there are four stages in the Paxos protocol (meaning, in a lightweight transaction): Prepare/Promise Read/Results Propose/Accept Commit/Acknowledge while on the left side are the proposer's stages and on the…
Alon
  • 10,381
  • 23
  • 88
  • 152
3
votes
1 answer

Is Paxos Strongly Consistent?

Consider a distributed system with 3 nodes- n1, n2, n3. There is a shared data, x, among the nodes. Paxos is running on the nodes. In the beginning, x is equal to 4. A client sends an update request to n1 to change the value of x to 5. n1 and n2…
H.H
  • 305
  • 2
  • 9
3
votes
2 answers

Commit Failure in Paxos

I am new to the Distributed System and Consensus Algorithm. I understand how it works but I am confused by some corner cases: when the acceptors received an ACCEPT for an instance but never heard back about what the final consensus or decision is,…
zzqtunaive
  • 43
  • 3
1 2
3
…
8 9