建议程序员都读一读的31篇论文系列笔记(1~2)

序：前几日网上偶然看到”程序员必读论文系列“，顺便搜了一下，发现有多个版本共31篇，不过看起来都不错，故准备花时间都读一下，可以拓宽下视野。来源论文题目主要参考 http://blog.csdn.net/turingbook/article/details/3946421 和 http://top.jobbole.com/17733/ 。每读完一篇论文就写些笔记，或长或短，也就是这几篇文章的由来。

1. An Axiomatic Basis for Computer Programming. 1969年的一篇论文，主要讲用公理基础证明计算机编程的正确性，包括赋值/递推/组合/循环等。不是那么容易读懂，特别是一些数理符号，想要完全看懂估计得查不少书。扫过重要的部分，关键就是 P{Q}R， 即前置条件满足assert(P) 为true，Q是一段程序（可以是多个子程序的组合），后置条件R是人们可以期望的正确结果，跟Q的执行输出有关，若assert(R)为true，可以证明Q是正确的程序。

2. Dynamo: Amazon’s Highly Available Key-value Store.2007年的这篇论文长达16页，详细介绍了曾经服务于Amazon Services的一个key/value 分布式存储系统，包括背景需求，设计与实现，同类产品的研究工作，生产过程中使用Dynamo的经验等。Amazon Services是高度去中心化，松耦合和以服务为导向的架构，故Dynamo也是去中心化的，对于Amazon Services来说只需要通过Key查询数据，故传统关系型数据库复杂的查询逻辑在此派不上用场，此外关系型数据库也没有很好的复制技术，以便支撑因为负载均衡而产生的数据库的扩展和分区需求。如下图所示。一个客户端请求需要多个services服务，需要Aggregator Services来做聚合。一个node认为是一台host，一个instance是多个node的集合，一个services使用自己的instances。