Raft - pogi-log

Raft

分散合意アルゴリズムの一つ

Paxosよりも理解できることが重視されているとのこと

レプリケーション: 一貫性を保ちながら、リソース間で情報を共有すること。

冪等性: ある操作を何度行っても結果が同一になることが保障されていること。

トランザクション: 一連の情報処理の単位。例えば口座A=>口座Bに1万円を移すとき、「口座Aから1万円引く」と「口座Bへ1万円足す」という処理は不可分に実施されなければならない。

Raftを形式的に証明したPDFがあった。

TLA+で書かれているっぽい

確認用

Q. Raft

Q. Raftの特徴

Q. 分散合意プロトコル

参考

2014/03/13

2016/06/13