筏可视化

这是一个在浏览器中运行的Raft集群。您可以与它交互以查看筏在行动。左边显示了五台服务器，它们的日志显示在右边。我们希望很快能制作一个视频来解释正在发生的事情可视化(救生筏镜)边缘仍然很粗糙；非常欢迎拉入请求。

数据的秘密生活是Raft的另一种视觉效果。它更具指导性，互动性更少，所以这可能是一个温和的起点。

出版物

这是“筏纸”，它详细描述了筏：寻找一种可理解的共识算法（扩展版）通过迭戈·昂加罗和欧斯特霍特.这篇论文的一个略短的版本在2014 USENIX年度技术会议.

迭戈·翁加罗的博士论文更详细地扩展了论文的内容，其中包括更简单的集群成员更改算法。论文还包括一个用TLA+编写的筏的正式规范；稍有更新的版本规格是在这里.

更多与筏相关的论文：

• 道格·伍斯，詹姆斯·威尔科克斯，史蒂夫·安东，Zachary Tatlock，Michael D.Ernst和托马斯·安德森。
  Raft共识协议正式验证中的变更规划.
  认证课程和证明（CPP），2016年1月。

• 詹姆斯·威尔科克斯，道格·伍斯，Pavel Panchekha，扎卡里·塔特洛克，王熙，Michael D.Ernst和托马斯·安德森。
  Verdi：实现和验证分布式系统的框架.
  编程语言设计与实现（PLDI），2015年6月。

• Hugues Evrard和弗雷德里克·兰格。
  从异步并发进程的形式化模型自动生成分布式代码.
  并行、分布式和基于网络的处理（PDP），2015年3月。

• 海蒂·霍华德,麦尔特·施瓦茨科普夫，Anil Madhavapedy和乔恩·克劳克罗夫特。
  漂流重浮：我们达成共识了吗？.
  SIGOPS操作系统审查，2015年1月。

• 海蒂·霍华德。
  ARC：Raft共识分析.
  剑桥大学计算机实验室，UCAM-CL-TR-857，2014年7月。

会谈

这些讲座很好地介绍了Raft：

• 谈谈Raft伊利诺伊州CS杰出演讲系列通过欧斯特霍特2016年8月：

  视频	YouTube网站
  幻灯片	PDF格式具有筏式镜可视化

• 谈谈筏及其TLA+规范Dr.TLA+系列通过金丽2016年7月：

  视频	YouTube网站
  幻灯片	幻灯片共享

• 谈谈Raft2015年建筑材料通过迭戈·昂加罗2015年11月：

  视频	InfoQ公司
  幻灯片	HTML格式 PDF格式具有筏式镜可视化

• 关于Rust、Raft和分布式系统的讨论铁锈湾地区会议通过伊冯·考迪,迭戈·昂加罗,安德鲁·霍布登,丹·伯克特、和阿历克斯·纽曼,2015年8月：

  视频	空中Mozilla
  幻灯片	迭戈：PDF格式具有筏式镜可视化

• 谈谈Raft2015年CoreOS节日通过迭戈·昂加罗2015年5月：

  视频	YouTube网站
  幻灯片	PDF格式具有RaftScope可视化

• 在Raft上聊天Sourcegraph会议通过迭戈·昂加罗2015年4月：

  视频	YouTube网站
  幻灯片	PDF格式具有筏式镜可视化

• 在LinkedIn上谈论Raft通过迭戈·昂加罗2014年9月：

  视频	YouTube网站
  幻灯片	PDF格式 PPTX公司具有筏式镜可视化

• 谈谈Raft美国商业信息系统2014和/2014年夏季开发通过阿诺德·贝利2014年7月：

  视频	YouTube网站（法语）
  幻灯片	扬声器面板（英文）

• 谈谈Raft2014 USENIX年度技术会议通过迭戈·昂加罗2014年6月：

  视频	USENIX公司
  幻灯片	筏式镜可视化

• 谈谈Raft2014年CraftConf通过迭戈·昂加罗2014年4月：

  视频	Ustream公司
  幻灯片	PDF格式 PPTX公司

• 谈谈RaftRubyconf 2013年通过帕特里克·范·斯蒂2013年11月：

  视频	YouTube网站
  幻灯片	扬声器面板

• 在Raft上聊天RICON西部2013通过迭戈·昂加罗2013年10月：

  视频	YouTube网站
  幻灯片	PDF格式 PPTX公司

• 谈谈RaftStrange Loop 2013年通过本·约翰逊2013年9月：

  视频	InfoQ公司
  幻灯片	扬声器面板

• 谈谈Raft和拉夫特在Erlang纽约聚会通过汤姆·桑特罗和安德鲁·斯通2013年8月：

  视频	维梅奥
  幻灯片	扬声器面板

• 谈筏（地点不详）通过帕特里克·范·斯蒂2013年7月：

  幻灯片

  扬声器面板

• 为筏用户研究通过欧斯特霍特2013年3月：

  视频（视频）	YouTube网站 MP4（MP4）
  幻灯片	PDF格式 PPTX公司

Raft教学课程

这是一个包含Raft课程或编程作业的课程列表。这可能对其他讲师和寻找材料的在线学习者有用。如果您知道其他课程，请提交一份拉入请求或更新问题。

• 弗吉尼亚大学,CS4740：云计算,常楼.包括Raft讲座和编程作业（Go）。（2024年春季…）
• 加州大学圣代戈分校,CSE224：毕业生网络系统,乔治·波特.包括Raft讲座和开发容错Dropbox克隆的编程作业（Go）。（2023/2022年冬季，2020/2019/2018年秋季……）
• 慕尼黑技术大学,IN2259：分布式系统,普拉莫德·巴托蒂亚和马丁·科勒普曼.包括关于筏的讲座。（2022/2023年冬季，……）
• 伊利诺伊香槟分校,CS425：分布式系统,因德拉尼尔·古普塔,尼基塔·鲍里索夫、和拉迪卡·米塔尔.在围棋中包括筏式编程任务。（2021年春季，……）
• 香港中文大学,CSCI4160：分布式并行计算（私人），卢彪.包括关于Paxos和Raft的讲座，以及筏式编程任务在Java/Go中（2019年秋季，2021年春季，……）
• 印度理工學院德里分校,COL 819：分布式系统,斯姆鲁蒂·R·萨兰吉.包括关于筏的讲座(视频)(PPTX公司)（2020年冬季，……）
• 卡内基梅隆大学,CS 440：分布式系统,尤夫拉吉·阿加瓦尔,戴夫·安徒生.在围棋中包括筏式编程任务。（2019年秋季，……）
• 东北大学,CS 3700：网络和分布式系统,克里斯托·威尔逊,龙露.包括基于Raft协议构建复制密钥值存储的赋值。（2018年秋季，……）
• 万隆理工学院,如果3230。筏作业通过测试案例展示边缘案例并进行评分(2018)
• 罗斯霍曼理工学院,CS 403：编程语言范例,布法罗·休纳.包含Erlang中的Raft编程任务(作业).（2017年冬季，……）
• 普林斯顿大学,COS-418：分布式系统,弗雷德曼和凯尔·杰米森.包括关于筏的讲座(PPTX公司)和编程作业建立一个基于Raft的键值存储。（2016年秋季，……）
• 华盛顿大学,CSE 452：分布式系统,汤姆·安德森.包括关于筏的讲座,尽管他们叫它帕克索斯。（2016年冬季，……）
• 科罗拉多大学博尔德分校,CSCI 5673：分布式系统,希瓦坎·米什拉.包括下载Raft实现并用它构建容错数据结构的任务。（2015年秋季，……）
• 犹他大学,CS 6963：分布式系统,瑞恩·斯图茨曼(@第一指挥官).将包括有关筏的内容（待定）。（2015年秋季，……）
• 圣何塞州立大学,CMPE 275企业应用程序开发,约翰·加斯.包含项目以生成分布式文件系统使用筏。（2015年春季，……）
• 棕色,CS 138：分布式计算机系统,汤姆·杜伊普讷,罗德里戈·丰塞卡(@罗德里戈·丰塞卡).在围棋中包括筏式编程任务。（2015年春季，…）
• 麻省理工学院,6.824：分布式系统,罗伯特·莫里斯.包括关于筏的讲座(课堂讲稿).请参见乔恩·吉恩塞特的帖子教员和学生.（2015年春季，……）
• 旧金山大学,CS 636：毕业生操作系统,格雷格本森(@格雷戈里德本森).包括关于筏的讲座。（2015年春季，……）
• 哈佛,CS 261：操作系统研究主题,马戈·萨尔策.包括关于筏的讲座(课堂讲稿).（2014年秋季，……）
• 休斯顿大学,COSC 6360：操作系统,杰汉·弗兰索伊斯·帕里斯(@杰汉弗朗索瓦).包括关于筏的讲座(幻灯片演示文件).（2014年秋季，……）
• 斯坦福大学,CS 244b：分布式系统,道森·恩格尔,大卫·马齐埃尔(@dmazieres公司).包括Diego Ongaro关于Raft的客座演讲。一些学生选择在筏式平台上工作最终项目.（2014年秋季）
• NUST-SEECS公司,CS 332：分布式计算，塔希尔·阿齐姆(@塔希尔阿齐姆).包括基于用户学习材料的Raft讲座(推特).（2014年秋季，……）
• 杜克,CPS 512：分布式系统,麦格斯.包括关于Raft的客座讲座(PPTX公司)通过兰登·考克斯(@脂蛋白氧化酶).（2014年春季、2015年春季……）
• 印度理工学院,CS 733：云计算,斯里拉姆·斯里尼瓦桑.在围棋中包括筏式编程任务(作业).（2014年春季、2015年春季……）

我可以在哪里提问？

询问有关Raft及其实现的问题的最佳位置是raft-dev谷歌集团.一些实现也有自己的邮件列表；检查他们的自述文件。

我在哪里可以买到Raft？

在以下各个阶段有许多Raft实现发展。此表列出了我们已知的源代码实现代码可用。最流行和/或最近更新的实现包括朝向顶部。这些信息将不可避免地过时；请提交一份拉入请求或更新问题。

星星	姓名	主要作者	语言	许可证	领导者选举+日志复制？	坚持不懈？	成员变更？	原木压实？