那些年一起追过的…论文

不忘初心:Research and(then) Development

Paper

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

Java相关

  1. The java.util.concurrent Synchronizer Framework [pdf] [backup]
    -- j.u.c AQS

  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后的区块链大概就是这个样子

大数据相关

  1. Resilient Distributed Datasets - A Fault-Tolerant Abstraction for In-Memory Cluster Computing

Lisp

你可能感兴趣的:(那些年一起追过的…论文)