【 在 philbloo 的大作中提到: 】
: Lamport 的特点有二。一是涉及的面很广，二是发现的算法都是平地起高楼，不需要数学基础就能看懂。
: 一方面我很佩服他，另一方面我也觉得他发现的算法都属于伸手就能够得到的果子。跟他入行早有很大关系。
顺序一致性问题确实是伸手就能够得到的果子,各个电脑厂家那时候都在开发多处理器系统,即使没有Lamport也会有其他人很快发现这个问题,但Lamport牛就牛在他比其他人都更早的注意到并深入研究了这个问题

: 数学上完美的程序很容易做到。写程序是工科，数学上的完美离实用还差很远。比如写个 RSA sign，两行就能写完，但一个能用而且安全的版本，我跟两个同事断断续续打磨了一两年。
: ...................
--
FROM 104.133.8.*