计算机理论

阿姆达尔定律：在并行计算中用多处理器的应用加速受限于程序所需的串行时间百分比。比如，程序50%是串行的，其他一半可以并行，那么最大的加速比就是2。不管多少处理器并行，这个加速比不可能提高。在这种情况下，改进串行算法可能比多核处理器并行更有效。

局部性原理：局部性分为时间局部性和空间局部性，所谓时间局部性指的是如果一个信息正在被访问，那么在短期内它有可能会被再次访问；所谓空间局部性指的是如果一个信息正在被访问，那么与它存储位置相近的信息也可能马上会被访问。

CAP原则是Consistency（一致性）、Availability（可用性）和Partition-tolerance（分区容错性）的缩写，它是分布式系统中的平衡理论。在分布式系统中，一致性要求所有节点每次读操作都能保证获取最新数据；可用性要求无论任何故障产生后都能保证服务仍然可用；分区容错性要求被分区的节点可以正常对外提供服务。

BASE原则是Basically Available（基本可用）、Soft-state（软状态）和Eventually Consistent（最终一致性）的缩写，它是最终一致性的理论支撑。简单地理解，在分布式系统中，允许损失部分可用性，并且不同节点进行数据同步的过程存在延时，但是在经过一段时间的修复后，能够达到数据的最终一致性。BASE强调的是数据的最终一致性。相比于ACID而言，BASE通过允许损失部分可用性来获得一致性。