Raft 演示

下面是浏览器中运行的Raft集群。 您可以与之互动以查看Raft的实际使用情况。 左侧显示5台服务器，右侧显示其日志。 我们希望尽快创建一个截屏视频，以解释发生了什么。 这种演示现在仍然很糙。建议先到Raft 中文入门原理模拟中熟悉下再来实验下面的模拟。

可以在下图每个节点上右键，对该节点进行停止、重启、请求等操作，单击每个节点可查看该节点当前状态。

The Secret Lives of Data-CN 是另一个演示的中文网站，它具有更多的指导性和较少的交互性，因此它可能是一个比较友好的入门演示网站。

刊物

这是Raft的论文，里面有详细的描述： 寻找一种可以理解的共识算法（扩展版） by Diego Ongaro and John Ousterhout. A slightly shorter version of this paper received a Best Paper Award at the 2014 USENIX Annual Technical Conference.

Diego Ongaro's Ph.D. dissertation expands on the content of the paper in much more detail, and it includes a simpler cluster membership change algorithm.

More Raft-related papers:

• Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, and Thomas Anderson.
  Planning for Change in a Formal Verification of the Raft Consensus Protocol.
  Certified Programs and Proofs (CPP), January 2016.

• James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson.
  Verdi: A Framework for Implementing and Verifying Distributed Systems.
  Programming Language Design and Implementation (PLDI), June 2015.

• Hugues Evrard and Frédéric Lang.
  Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.
  Parallel, Distributed, and Network-Based Processing (PDP), March 2015.

• Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, and Jon Crowcroft.
  Raft Refloated: Do We Have Consensus?.
  SIGOPS Operating Systems Review, January 2015.

• Heidi Howard.
  ARC: Analysis of Raft Consensus.
  University of Cambridge, Computer Laboratory, UCAM-CL-TR-857, July 2014.

Talks

These talks serve as good introductions to Raft:

• Talk on Raft at CS@Illinois Distinguished Lecture Series by John Ousterhout, August 2016:

  Video	YouTube
  Slides	PDF with RaftScope visualization

• Talk on Raft and its TLA+ spec as part of Dr. TLA+ Series by Jin Li, July 2016:

  Video	YouTube
  Slides	SlideShare

• Talk on Raft at Build Stuff 2015 by Diego Ongaro, November 2015:

  Video	InfoQ
  Slides	HTML PDF with RaftScope visualization

• Talks on Rust, Raft, and distributed systems at Rust Bay Area Meetup by Yvonne Coady, Diego Ongaro, Andrew Hobden, Dan Burkert, and Alex Newman, August 2015:

  Video	Air Mozilla
  Slides	Diego: PDF with RaftScope visualization

• Talk on Raft at CoreOS Fest 2015 by Diego Ongaro, May 2015:

  Video	YouTube
  Slides	PDF with RaftScope visualization

• Talk on Raft at Sourcegraph meetup by Diego Ongaro, April 2015:

  Video	YouTube
  Slides	PDF with RaftScope visualization

• Talk on Raft at LinkedIn by Diego Ongaro, September 2014:

  Video	YouTube
  Slides	PDF PPTX with RaftScope visualization

• Talk on Raft at USI 2014 and /dev/summer 2014 by Arnaud Bailly, July 2014:

  Video	YouTube (French)
  Slides	Speaker Deck (English)

• Talk on Raft at 2014 USENIX Annual Technical Conference by Diego Ongaro, June 2014:

  Video	USENIX
  Slides	RaftScope visualization

• Talk on Raft at CraftConf 2014 by Diego Ongaro, April 2014:

  Video	Ustream
  Slides	PDF PPTX

• Talk on Raft at Rubyconf 2013 by Patrick Van Stee, November 2013:

  Video	YouTube
  Slides	Speaker Deck

• Talk on Raft at RICON West 2013 by Diego Ongaro, October 2013:

  Video	YouTube
  Slides	PDF PPTX

• Talk on Raft at Strange Loop 2013 by Ben Johnson, September 2013:

  Video	InfoQ
  Slides	Speaker Deck

• Talk on Raft and Rafter at the Erlang NYC Meetup by Tom Santero and Andrew Stone, August 2013:

  Video	Vimeo
  Slides	Speaker Deck

• Talk on Raft (venue unknown) by Patrick Van Stee, July 2013:

  Slides

  Speaker Deck

• Lecture for the Raft User Study by John Ousterhout, March 2013:

  Video (screencast)	YouTube MP4
  Slides	PDF PPTX

Courses teaching Raft

This is a list of courses that include lectures or programming assignments on Raft. This might be useful for other instructors and for online learners looking for materials. If you know of additional courses, please submit a pull request or an issue to update it.

• Indian Institute of Technology Delhi, COL 819: Distributed Systems, Smruti R. Sarangi. Includes lecture on Raft (video) (PPTX) (Winter 2020, ...)
• Carnegie Mellon University, CS 440: Distributed Systems, Yuvraj Agarwal, Dave Andersen. Includes Raft programming assignment in Go. (Fall 2019, ...)
• Northeastern University, CS 3700: Networks and Distributed Systems, Christo Wilson, Long Lu. Includes an assignment to build a replicated key-value store based on the Raft protocol. (Fall 2018, ...)
• Rose-Hulman Institute of Technology, CS 403: Programming Language Paradigms, Buffalo Hewner. Includes Raft programming assignment in Erlang (assignments). (Winter 2017, ...)
• Princeton University, COS-418: Distributed Systems, Mike Freedman and Kyle Jamieson. Includes lecture on Raft (PPTX) and programming assignments to build a Raft-based key-value store. (Fall 2016, ...)
• University of Washington, CSE 452: Distributed Systems, Tom Anderson. Includes lecture on Raft, though they call it Paxos. (Winter 2016, ...)
• University of Colorado, Boulder, CSCI 5673: Distributed Systems, Shivakant Mishra. Includes assignment to download a Raft implementation and build a fault-tolerant data structure with it. (Fall 2015, ...)
• University of Utah, CS 6963: Distributed Systems, Ryan Stutsman (@rstutsman). Will include something about Raft (TBD). (Fall 2015, ...)
• San Jose State University, CMPE 275 Enterprise Application Development, John Gash. Includes project to make a distributed filesystem using Raft. (Spring 2015, ...)
• Brown, CS 138: Distributed Computer Systems, Tom Doeppner, Rodrigo Fonseca (@rodrigo_fonseca). Includes Raft programming assignment in Go. (Spring 2015, ...)
• MIT, 6.824: Distributed Systems, Robert Morris. Includes lecture on Raft (lecture notes). See Jon Gjengset's posts for instructors and students. (Spring 2015, ...)
• University of San Francisco, CS 636: Graduate Operating Systems, Greg Benson (@gregorydbenson). Includes lecture on Raft. (Spring 2015, ...)
• Harvard, CS 261: Research Topics in Operating Systems, Margo Seltzer. Includes lecture on Raft (lecture notes). (Fall 2014, ...)
• University of Houston, COSC 6360: Operating Systems, Jehan-François Pâris (@jehanfrancois). Includes lecture on Raft (PPT). (Fall 2014, ...)
• Stanford, CS 244b: Distributed Systems, Dawson Engler, David Mazières (@dmazieres). Included guest lecture on Raft by Diego Ongaro. Several students chose to work on Raft-based final projects. (Fall 2014)
• NUST-SEECS, CS 332: Distributed Computing, Tahir Azim (@TahirAzim). Includes lecture on Raft based on user study materials (tweet). (Fall 2014, ...)
• Duke, CPS 512: Distributed Systems, Bruce Maggs. Includes guest lecture on Raft (PPTX) by Landon Cox (@lpcox). (Spring 2014, Spring 2015, ...)
• IIT Bombay, CS 733: Cloud Computing, Sriram Srinivasan. Includes Raft programming assignment in Go (assignments). (Spring 2014, Spring 2015, ...)

Where can I ask questions?

The best place to ask questions about Raft and its implementations is the raft-dev Google group. Some of the implementations also have their own mailing lists; check their READMEs.

Where can I get Raft?

There are many implementations of Raft available in various stages of development. This table lists the implementations we know about with source code available. The most popular and/or recently updated implementations are towards the top. This information will inevitably get out of date; please submit a pull request or an issue to update it.

Stars	Name	Primary Authors	Language	License	Leader Election + Log Replication?	Persistence?	Membership Changes?	Log Compaction?