羽飞的专栏

本文是我对与Raft论文3.6.2节的理解。写这篇文章的原因是因为理解这段内容确实花了一些功夫。面向对象：懂得Raft，同时也对3.6.2节有疑问，并且看了“参考”这里面几个之后还不是很清晰的同学。NOTE: 3.6.2节是《CONSENSUS: BRIDGING THEORY AND PRACTICE》这篇论文的，对应《In Search of an Understandable Consensus Algorithm(Extended Version)》是5.4.2节。看这篇文章之前先看一下R

HBase 列 family和qualifier网上很多讲HBase的family和qualifier的文章，有不少说family是一级列，qualifier是二级列(或者说相当于)。我对它们的理解是：qualifier是列，family就是列族，没有“一级”和“二级”的分别。之所以出现family的概念，我猜测是这样的：HBase是列式存储的数据库，如果每一列都单独存储的话，我们从HBa...

数据库分布式事务2PC设计方案数据库事务的概念数据库事务通常指对数据库进行读或写的一个操作序列。1、为数据库操作提供了一个从失败中恢复到正常状态的方法，同时提供了数据库即使在异常状态下仍能保持一致性的方法。2、当多个应用程序在并发访问数据库时，可以在这些应用程序之间提供一个隔离方法，以防止彼此的操作互相干扰。[1]事务的4个特性原子性(Atomicity)：事务包含的操作全部成功或者...

A Critique of ANSI SQL Isolation LevelsNOTE 本篇摘自论文，理论性很强，本人英语水平比较低，想要对事务隔离做深入了解的人阅读原文更好。介绍不同的事务隔离级别可以支持不同程度的事务并发度。ANSI/ISO SQL-92定义了四种隔离级别：READ UNCOMMITTED;READ COMMITTED;REPEATABLE READ;SE...

F1 在线异步执行schema change论文《Online, Asynchronous Schema Change in F1》总结对，先来个总结。F1拥有几百个无状态的F1 server，其内存中会缓存schema信息。不能做到同时让所有的F1 server同时应用某个schema，因此存在不同F1 server访问不同schema的状态。这篇论文就是介绍了如果在两个schema同时...

PolarFS的ParallelRaft简介本文摘自阿里在PVLDB的一篇论文《PolarFS: An Ultra-low Latency and Failure Resilient Distributed File System for Shared Storage Cloud Database》，其中介绍了一种比Raft更高效的一致性协议ParallelRaft。Raft是一个比Paxo...

这篇论文是Chandy和Lamport大神的作品，理论性非常强。如果想设计分布式死锁检测算法、分布式数据库全局快照或者判断分布式系统是否处于某个稳定状态（stable），可以深入阅读。原文更精彩。

介绍Percolator 用于Google的检索系统。Google爬取的网页建立的索引，通过Percolator系统建立索引。Google的检索系统维护了上千台机器，有数十PB数据。Percolator优化了增量处理(incremental processing)的问题: 很多网页是已经爬取过的，爬取的新网页或者旧网页更新了，如果可以增量更新到原有系统，会更节省资源。Percolator提...

尝试使用Chandy-Lamport方法设计分布式数据库快照C-L理论根据Chandy-Lamport论文中的说明，分布式系统中节点间通过消息通道传递消息，消息按照顺序发送和接收。某个节点做过快照后，通过消息通道发送不影响系统状态的消息marker通知其它节点做快照。一个节点接收到marker消息时，如果还没做快照，那么就做快照，记录接收消息通道为空。已经做过快照的话，就记录从做快照开始，...