摘要：
缓存一致性 由于通过提升cpu频率提升性能的道路遇到了能耗墙，进一步提升频率可能会造成CPU温度过高，影响稳定性。为了进一步提升cpu性能，多核CPU逐渐发展起来。然而多核也面临着诸多问题，包括正确性和可扩展性。下面我们就谈谈多核中的缓存一致性。 多核高速缓存架构 主流的多核处理器均采用共享内存，但 阅读全文
摘要：
mmap 和 read 系统流程 在linux文件系统中，通常使用open(), read()读取文件，但操作系统同样提供了mmap()作为读取文件的方式，而这两者有什么不同呢？什么时候用read(), 什么时候用mmap()？ 首先，read 的通常使用方法是 read(fd, buffer, s 阅读全文
摘要：
为什么选择左深连接树 对于n个表的连接，数量为卡特兰数，近似$4^n$，因此为了减少枚举空间，早期的优化器仅考虑左深连接树，将数量减少为$n!$ 但为什么是左深连接树，而不是其他样式呢？ 如果join算法为index join或者hash join，当两张表进行连接的时候，需要为左表建立哈希映射或者 阅读全文
摘要：
综述 由于SQL是声明式语言(declarative)，用户只告诉了DBMS想要获取什么，但没有指出如何计算。因此，DBMS需要将SQL语句转换成可执行的查询计划(Query Plan)。但是对同样的数据可以有多种查询方案，性能也差距很大，查询优化器(Query Optimizer)的任务就是从给定 阅读全文
摘要：
ZooKeeper与之前看的论文不太一样，它主要是描述了一个分布式协调服务，提供了wait-free的api，可以让用户自己设计要求更高的原语。通过Zab协议保证sever之间的一致性，同时让读请求在本地执行，极大地优化了读取速度。 在看完论文之后对ZooKeeper的两个保证有些疑惑，在看了6.8 阅读全文
摘要：
自Paxos问世以来就持续垄断了分布式一致性算法，Paxos这个名词几乎等同于分布式一致性。Google的很多大型分布式系统都采用了Paxos算法来解决分布式一致性问题。在学习了Raft算法之后自然不能错过。 [论文地址] 1. 相关概念 在Paxos算法中，有三种角色： Proposer Acce 阅读全文
摘要：
1. 复制状态机 一致性算法是在复制状态机的背景下产生的。在这种方法下，一组服务器的状态机计算相同状态的相同副本，即使某些服务器宕机，也可以继续运行。 复制状态机通常使用复制日志实现，每个服务器存储一个包含一系列命令的日志，每个日志中命令相同并且顺序也相同。因此每个状态机可以处理相同的命令序列，得到 阅读全文
摘要：
本文为我读GFS论文后做的总结，包括文件系统的读写流程，和一些重要机制。 [Google File System] 设计理念 组件失效被认为是常态事件。GFS包括数百上千台普通设备，在任何时间都有可能发生某些组件无法工作，因此必须实现错误侦测、灾难冗余和自动恢复。 文件大，通常为数GB的文件。因此相 阅读全文
摘要：
最近终于抽出时间开始学习MIT 6.824，本文为我看MapReduce论文和做lab后的总结。MapReduce描述了一种编程模型，由处理数据的map函数生成中间键值对(Key/Value)，再由Reduce函数处理中间键值对生成输出文件。 阅读全文
摘要：
对于崩溃一致性，要求系统要具有原子性(Atomic) An action is atomic if happens completely or not at all 可以用事务来衡量一个行为，在事务提交之前所做的修改为nothing，如果系统发生崩溃则全部undo。事务提交之后则是all，如果崩溃则 阅读全文