@techreport{oai:ipsj.ixsq.nii.ac.jp:00237560,
 author = {高田, 晴成 and 川島, 英之},
 issue = {15},
 month = {Aug},
 note = {故障に耐えうる堅牢なデータシステムを実現するために，データを複数のコンピュータに複製する手法として状態機械複製 (SMR) が存在する．SMR との代表例として Paxos や Raft が挙げられる．Paxos はその難解さにより実用が困難であると報告されており，それを踏まえて開発された理解のしやすさを重視した Raft においても，マシン故障の際のリーダー選出などの補助的なプロトコルの実装が容易ではなく，実システムへの統合において課題が残っている．Rabia は，乱択合意アルゴリズムを採用し，Paxos や Raft などの既存のプロトコルと比較して格段に単純な設計を達成した．従来の研究では乱択合意アルゴリズムは決定論的合意アルゴリズムに比べ性能が大幅に劣ることから実用性がないと考えられてきた．しかし Rabia は単一のデータセンター環境においてノード数が 3 の時，Multi-Paxos，EPaxos と比較して高いスループットを達成する．その他一部の条件においても他の SMR と比べて競争力のある性能を提供する．本研究では Rabia を様々な条件下で評価することで，Rabia の性能について詳細に分析する．},
 title = {状態機械複製プロトコルRabiaの評価},
 year = {2024}
}