弱内存模型的 CPU 乱序问题检测方法
摘要： 简述弱内存模型的 CPU 乱序问题背景以及探讨一种适合生产环境中使用的检测方法
转载或者引用本文内容请注明来源及原作者
有些 cpu 为了提高性能，引入了一些优化手段，导致指令实际执行的 “效果” 可能与程序顺序不同，具有这种内存模型的 cpu 通常被称为 ”弱内存模型“。同时，还有另外
...
剖析 Omid 分布式事务设计思路
发表于
摘要：分析了 Omid 分布式事务在一些细节上的设计思路和取舍。
转载或者引用本文内容请注明来源及原作者
背景Yahoo 需要一种可扩展、可靠且能提供 ACID 语义的分布式事务服务。
条件和约束
兼容多种 NoSQL kv 存储（当前基于 HBase），这点和 Percolator 类似，后者
...
剖析 Percolator 分布式事务设计思路
发表于
摘要：分析了 Percolator 分布式事务在一些细节上的设计思路和取舍。
转载或者引用本文内容请注明来源及原作者
背景Google 搜索引擎的网页索引一直是由 MapReduce 进行批处理建立的，但是 MapReduce 对于索引的增量更新来说处理代价很大，必须针对整个数据仓库重新处理。因
...
Pre-Vote在Etcd中的实现
发表于
摘要：Raft利用Pre-Vote解决了server rejoin过程时造成的Disruptive（不必要的重新选举）问题，本文探究了该算法在Etcd中是如何实现的。
利用Pre-Vote优化Leader ElectionDiego Ongaro在其博士论文”Consensus: Bridging
...
Raft简单在哪儿？
发表于
摘要：通过muti-paxos的角度来看raft，总结出raft在借鉴multi-paxos的同时于哪些方面进行了取舍，在带来的understandable的同时又失去了什么。
Raft对multi-Paxos的简化Raft的结构和multi-paxos非常相似，同样是leader-based，然而
...
从Leaderless multi-Paxos到Leader-based multi-Paxos
发表于
从leaderless到leader-based在上篇Leaderless multi-Paxos Replicated State Machine中分析了leaderless multi-paxos的一些特点，包括支持client通过各个server并发提交（但是需要注意并发度大时，log ind
...
Leaderless multi-Paxos Replicated State Machine
发表于
摘要：总结了从single decree到leaderless multi-paxos的演进，并行化提交的可行性与限制，以及一些涉及实现的细节。
从single instance到multi instance如果把对一个值的共识确定过程称为一个paxos instance，那么一个基于paxos的r
...
Basic Paxos的唯一性保证
发表于
摘要：通过对Basic Paxos的重新审视，发现Lamport在算法中对预提议（prepare请求）和提议（accept请求）所作出的一系列要求实质是在提议之间建立了某种happens-before关系，以保证在异步环境下能够满足共识值的唯一性。
回顾Paxos需要满足的条件安全性条件（safet
...
Internal Causality的跟踪（tracking）
发表于
Internal Causality的跟踪（tracking）consistent prefix read问题前文中提到了在multi-leader场景中的consistent prefix read问题（异步、半同步方式导致的Replication落后（ Lag）问题），用户B从某partitio
...
复制（Replication）
发表于
复制（Replication）使用复制的理由与面临的问题定义：通过互联网络，在不同的机器（machine）上保存相同的数据
几点理由：
兼顾地理位置迥异的客户，减少他们的访问延迟（latency）
机器互相备份，提高可用性（availability）
水平扩展（scale out）机器数目，提高
...