概要

分散システム分野で影響力のある論文リスト 各論文は分散アルゴリズムや耐障害性の基本概念を提示 研究の発展や実装への指針となる知見 代表的な問題や解決策を体系的に理解 分散システム理解のための出発点

分散システム研究を形作った主要論文

• Leslie Lamport (1978): Time, clocks, and the ordering of events in a distributed system

  • 分散システムにおける イベント順序付け問題 の定式化
  • 論理時計 の導入による因果関係の管理
  • 分散システムの 一貫性維持 の基盤理論

• Leslie Lamport, Robert Shostak, Marshall Pease (1982): The Byzantine Generals Problem

  • ビザンチン障害 に対する耐性の理論的枠組み
  • 悪意あるノードが存在する環境での 合意形成問題
  • 分散合意プロトコル設計の指針

• K. Mani Chandy, Leslie Lamport (1985): Distributed snapshots: determining global states of distributed systems

  • 分散スナップショット アルゴリズムの提案
  • システム全体の 一貫した状態取得 手法
  • デバッグや障害復旧に有用な理論基盤

• Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson (1985): Impossibility of distributed consensus with one faulty process

  • FLP不可能性定理 の証明
  • 非同期分散システムでの 合意形成の限界
  • 耐障害性アルゴリズムの設計指針

• Brian M. Oki, Barbara H. Liskov (1988): Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems

  • Viewstamped Replication による高可用性の実現
  • プライマリコピー方式の 耐障害性向上
  • 分散データベースの実装指針

• Leslie Lamport (1998): The part-time parliament

  • Paxosアルゴリズム の理論的解説
  • 分散合意の 実用的プロトコル 設計
  • 信頼性の高い分散サービスの基盤

• Leslie Lamport (2001): Paxos Made Simple

  • Paxos の解説をより簡潔に再構成
  • 複雑な合意アルゴリズムの 理解促進
  • エンジニア向けの実装指針

• Satoshi Nakamoto (2008): Bitcoin: A Peer-to-Peer Electronic Cash System

  • ブロックチェーン 技術の原理提案
  • 分散台帳による 非中央集権型合意形成
  • 暗号通貨と分散システムの融合

• Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski (2011): Conflict-free replicated data types

  • CRDTs（Conflict-free Replicated Data Types） の提案
  • 分散環境での 自動マージ可能なデータ型
  • 可用性と一貫性の両立指針

• Diego Ongaro, John Ousterhout (2014): In search of an understandable consensus algorithm

  • Raftアルゴリズム の設計と解説
  • 合意形成アルゴリズムの 理解性向上
  • 教育や実装に適した分散合意プロトコル

まとめ

• これらの論文は分散システム分野の 基礎知識
• 理論と実装の両面で 研究・開発の指針
• 各論文の理解が 現代分散システム設計 の土台