那些年一起追过的…论文

不忘初心：Research and(then) Development

Paper

1. How to Read a Paper [pdf] [backup]

Java相关

1. The java.util.concurrent Synchronizer Framework [pdf] [backup]

2. Scalable Synchronous Queues [pdf] [backup]

3. Building FIFO and Priority-Queuing
   Spin Locks from Atomic Swap [pdf] [backup]
   -- CLH自旋锁队列

分布式相关

1. Impossibility of Distributed Consensus with One Faulty
   Process [pdf] [backup]
   -- 分布式领域最重要的定理之一：FLP impossible定理及其证明

2. Brewer’s Conjecture and the Feasibility of
   Consistent, Available, Partition-Tolerant Web [pdf] [backup]
   -- 分布式领域最重要的定理之二：CAP定理及其证明（以上两篇都有Nancy的名字）

3. The Part Time Parliament [pdf] [backup]
   -- 分布式领域最著名的一致性算法（没有之一）：Paxos

4. Paxos Made Simple [pdf] [backup]
   -- 依然是Paxos，依然是Leslie Lamport，老配方新味道

5. Time, Clocks, and the Ordering of Events in a Distributed System [pdf] [backup]
   -- 分布式领域的开山之作，引用次数10000+

6. The Implementation of Reliable Distributed Multiprocess Systems[pdf] [backup]

7. Consensus on Transaction Commit [pdf] [backup]
   -- 作者分别是提出2PC协议的Jim Grey以及提出Paxos协议的Leslie Lamport，阵容属于顶配，结论也很有意思：2PC是“降级”后的Paxos

区块链相关

1. Bitcoin: A Peer-to-Peer Electronic Cash System [pdf] [backup]
   -- 比特币白皮书，中本聪对于比特币的构思只能用“巧夺天工”来形容

2. How to Time-Stamp a Digital Document [pdf] [backup]
   -- 白皮书的参考文献之一，通过哈希“链”的形式解决信任问题，去掉POW后的区块链大概就是这个样子