以拍卖会为背景来演绎Basic Paxos

本文是在以下文章之后写的,是一篇读后感或者作为他的拙劣模仿

以两军问题为背景来演绎Basic Paxos

一群人参加拍卖, 宝贝的主人对拍卖方提出了奇怪的要求, 必须分三个拍卖所同时拍卖

因为这次拍卖很机密, 竞拍人之间互相不知道对方报价情况. 有时候报价还会失败.

 

拍卖方刚好看过Paxos算法, 提出了一个办法:

1) 每个人同时向三个拍卖所报价, 但是不一定每个拍卖所都能收到

 

2) 拍卖师收到报价

2.1) 当报价低于记录的最高价, 拍卖师不接收报价

2.2) 如果宝贝已中标, 拍卖师有义务告诉报价人收件地址(泄露中标人信息真的好吗)

2.2.1) 报价人得知宝贝已中标, 虽然很难受但是要接受, 把这个收件地址保存下来

 

3) 当对其中至少两个报价被拍卖师回复为接收时, 进入提交阶段, 竞拍人把该报价写上收件地址(如果执行过2.2.1, 就用保存的收件地址, 不然就可以自己写)提交给接收的拍卖师

3.1) 当提交价格低于记录的最高价, 拍卖师不接收提交, 提交人需要重新报价

3.2) 当提交价格不低于记录的最高价, 可喜可贺, 提交人中标了, 拍卖师把提交的报价跟收件地址记录下来, 这个提交人可以回家了(收件地址不一定是自己的, 想到这就不太可喜可贺了)

 

Paxos大概就是这样的东西

第一个回家的竞拍人回家后, 收件地址会被所有人知道, 并且不会改变, 这个过程就是新闻中我们常常听到的所谓"达成共识"

至于他回家后最高价还一直在涨, 这就是为了"达成共识"的必要的牺牲