【课程报告六】Paxos Made Simple总结

        读完了Paxos Made Simple，对Paxos算法也有了较为全面的认识。老师的paxos也讲了一半了，简单地总结一下这篇文章及Paxos算法。

        首先，老师在讲paxos之前也引入了cap原则和一致性问题，ppt中的问题也有提前涉及，如“cap三选二不是完全放弃可用性或一致性”。不同的地方也有，如：老师将一致性分为线性、顺序、因果等，而我所了解到分强一致性和弱一致性，不知是否是层面不同所导致的区别。在写完这篇报告时老师讲了一半的paxos的课，目前倒没发现有啥方向性错误。有一点需要注意：在对文章中P1规则的原因描述中，老师大致的意思是：因防止某些甚至大部分节点一直拒绝请求而客户点无法正常得到返回值而设置的P1规则。（即在Leslie Lamport场景下防止议员弃票）。所以我认为P1在规定大多数原则是不对的，应该在P2的某个派生规则中提及。

        因为老师的课还未讲完，所有关于paxos的补充会在之后给出。

         最后，自不量力地评价一下这篇文章吧。Leslie Lamport作为paxos算法的开创者，为分布式系统的一致性问题提出了一种良好的解决方案。paxos算法作为解决一致性的典型思想也为很多的算法打下基础。Paxos Made Simple这篇文章在开头就提及paxos算法十分易于理解。对于Lamport来说，这种说法并无夸张或安抚读者阅读情绪的成分。但通篇阅读下来，似乎对于我来说比较跳跃。

可能作者在尽量的简化paxos思想并速求读者理解。文章提出的paxos似乎是处在一种假设下的思想，paxos并没有提出可行性的操作（比如：如何选出杰出者、杰出者失败后又如何不冲突的选出下一任）。最后一段提出的在并发的paxos系统中的状态同步对我来说可谓是一个大跳跃、大转折了。

        Paxos Made Simple很经典但似乎和它的作者Leslie Lamport一样有着一种大师的偏执。