← 分散システム 一覧

🗺️ このノートは 分散システム テキストの最上位ハブ です（Mímisbrunnr インフラ・システム系）。

分散システム 全体目次

「1台では足りない」を成立させる技術。複数のマシンが、ネットワークの遅延と故障の中で、どう協調し、どこまで一貫性を保てるのか。CAP定理・合意（Paxos/Raft）・レプリケーション・分散トランザクションまで、なぜ分散が難しいかを理論から体系化する。

このサイトの位置づけ

• 分散の理論的土台が主役：単一マシンの仕組みはコンピュータ基礎へ、L1〜L7の通信はコンピュータネットワークへ、Kubernetes等の運用はクラウド・インフラへ、Spark等の分散処理実装はデータエンジニアリングへ wikilink で繋ぐ

章別目次

第1章 分散システムの基礎 — 第1章 分散システムの基礎 目次

• 分散システムとは・なぜ難しいか・分散コンピューティングの誤謬（8つの誤謬）・障害モデル（クラッシュ・オミッション・ビザンチン）・透過性とスケーラビリティ

第2章 時間と順序 — 第2章 時間と順序 目次

• 物理時計とクロック同期（NTP）・論理時計（Lamportタイムスタンプ）・ベクトル時計・グローバルスナップショット（Chandy-Lamport）

第3章 通信とRPC — 第3章 通信とRPC 目次

• RPCとRMI・メッセージングと非同期通信・配送保証（at-most-once・at-least-once・exactly-once）

第4章 一貫性モデル — 第4章 一貫性モデル 目次

• 一貫性モデルの地図・線形化可能性と逐次一貫性・CAP定理・PACELC・結果整合性

第5章 合意 — 第5章 合意 目次

• 合意問題とFLP不可能性・2相コミット・3相コミット・Paxos・Raft・リーダー選出（Bully・Ring）

第6章 レプリケーションとパーティショニング — 第6章 レプリケーションとパーティショニング 目次

• レプリケーション方式（同期／非同期・リーダー／リーダーレス）・クォーラム（R+W>N）・パーティショニング／シャーディング・一貫性ハッシュ・ゴシップ・反エントロピー・故障検出（SWIM）

第7章 分散トランザクションと信頼性 — 第7章 分散トランザクションと信頼性 目次

• 分散トランザクションとSaga・冪等性と再試行・バックオフ・分散データストアの設計

関連分野（Mímisbrunnr）

• コンピュータ基礎（単一マシンのOS・並行処理）
• コンピュータネットワーク（通信・プロトコル）
• クラウド・インフラ（Kubernetes・運用）
• データエンジニアリング（Spark・分散処理の実装）