PDF《The Part-Time Parliament》

3 个银币 如果她相信议会通过的第

155 号法令设置了橄榄的赋税为每吨

3 个银币. 律簿是由檫不掉的 墨水书写的,所以其中的条目不能被改变. 议会协议的第一个需求就是律簿的一致性.也就是任何两个律簿都不能有互相矛盾的内容. 假设议员Φ 在他的律簿中有这样一个条目: 132:只有橄榄油可以用来做灯 那么就不会有其他议员的律簿会记录不同内容的第

132 号法令. 当然, 另一个议员的律簿里 可能还没有第

132 号法令的记录,如果他还不知道第

132 号法令已经通过了. 仅仅有律簿的一致性(Consistency)还不够,因为让每个律簿都保留空白也能满足一致性. 所以需要一些要求(Requirement)来保证法令能最终通过并被记录在律簿中.在现代的议 会中,议员达不成一致妨碍了法令的通过.但是在 Paxon 不是这种状况,这里盛行的是相互 信任的气氛,议员愿意通过任何被提交的法令.但是他们好游历的特性却造成了问题.假如 一组议员通过了

37 号法令: 37:禁止在圣殿的墙上种植 然后离开议会厅参加宴会去了, 接下来另外一组议员进来议会厅, 不知道刚刚发生了什么事 情,然后也通过了一个冲突的

37 号法令: 37:允许自由的艺术表达 那么一致性就失去了 除非足够多的议员在议会厅里呆足够长的时间,否则进展性(Progress)无法保证.因为 Paxos 的议员不愿意缩减他们在外面的活动, 所以无法保证任何法令都会最终被通过. 但是无论如 何,议员们愿意保证,只要他们在议会厅中,他们和他们的助手就会快速的处理所有的议会 事务.这个保证使 Paxos 公民们能够设计出一个满足如下进展性条件(Progress Conditon) 的议会协议: 《The Part-Time Parliament》

4 如果议员中的多数[在翻译进展条件时,我将 Paxos 的单词μ α δ ζ 翻译为议员 中的多数.2.2 节中提出了另一个可取的翻译,并做了讨论] 都在议会厅中, 并且在一个足够长的时间内没有人进出议会厅,那么任一被某个议员提议的法 令都将会被通过,并且每一个被通过的法令都会出现在议会厅中每个议员的律 簿上 1.3.假设(Assumptions) 通过提供给议员必要的资源,议会协议的要求(requirements)是可以达到的.每个议员收到 了一个结实耐用的律簿来记录法令,一支笔,和擦不掉墨水.议员如果离开过议会厅,可能 会在回来后忘记了他们曾经做过什么( (比如)在一个悲剧的事故里,议员 Twvey 被掉下来 的雕像击中了头部而永久失忆了~~ = =! ) ,所以他们会把一些重要的议会任务记在律簿的背 面.律簿上的法令条目永远不会改变,但是律簿背面的备注(notes)可能会被划掉.进展条件 的达成要求议员能够度量时间的流逝,所以给了他们简单的沙漏计时器. 议员任何时候都会带着他们的律簿, 并且总是能够从律簿上阅读到法令条目和尚未划掉的备 注.律簿由最精良的羊皮纸做成,只用来记录最重要的备注(notes).其他备注会被记录到小 纸条(a slip of paper)上,这些小纸条可能会在议员离开议会厅后丢失. 议会厅里比较嘈杂,影响听觉,不可能在里面做演讲.议员只能通过信使来通信,并且有专 款来供议员雇用任意多他们需要的信使. 信使不会篡改消息, 但是他可能会忘记他递送过了 某个消息,并再次递送它.像他们服务的议员一样,信使也只花他们部分的时间在议会职责 上. 一个信使在投递一个消息前可能会离开议会厅去从事其他的事情, 比如一次为期