共识算法
CMU 15-445 (数据库系统) Labs