不忘初心：Research and(then) Development
Paper
Java相关
The java.util.concurrent Synchronizer Framework [pdf] [backup]
-- j.u.c AQSBuilding FIFO and Priority-Queuing
Spin Locks from Atomic Swap [pdf] [backup]
-- CLH自旋锁队列
分布式相关
Impossibility of Distributed Consensus with One Faulty
Process [pdf] [backup]
-- 分布式领域最重要的定理之一：FLP impossible定理及其证明Brewer’s Conjecture and the Feasibility of
Consistent, Available, Partition-Tolerant Web [pdf] [backup]
-- 分布式领域最重要的定理之二：CAP定理及其证明（以上两篇都有Nancy的名字）The Part Time Parliament [pdf] [backup]
-- 分布式领域最著名的一致性算法（没有之一）：PaxosPaxos Made Simple [pdf] [backup]
-- 依然是Paxos，依然是Leslie Lamport，老配方新味道Time, Clocks, and the Ordering of Events in a Distributed System [pdf] [backup]
-- 分布式领域的开山之作，引用次数10000+The Implementation of Reliable Distributed Multiprocess Systems [pdf] [backup]
Consensus on Transaction Commit [pdf] [backup]
-- 作者分别是提出2PC协议的Jim Grey以及提出Paxos协议的Leslie Lamport，阵容属于顶配，结论也很有意思：2PC是“降级”后的Paxos
区块链相关
Bitcoin: A Peer-to-Peer Electronic Cash System [pdf] [backup]
-- 比特币白皮书，中本聪对于比特币的构思只能用“巧夺天工”来形容How to Time-Stamp a Digital Document [pdf] [backup]
-- 白皮书的参考文献之一，通过哈希“链”的形式解决信任问题，去掉POW后的区块链大概就是这个样子
大数据相关
- Resilient Distributed Datasets - A Fault-Tolerant Abstraction for In-Memory Cluster Computing
