🗺️ このノートは 第7章「分散トランザクションと信頼性」のハブ です。
第7章 ── 分散トランザクションと信頼性
理論を「動き続けるシステム」に落とす最終章です。複数のサービス・パーティションをまたぐ更新をどう整合させるか（分散トランザクションとSaga）、喪失と重複の中で安全に再試行するパターン（冪等性・バックオフ）、そしてこれまでの理論（一貫性・合意・レプリケーション）を1つのデータストア設計としてどう束ねるか。ここまでの全章が、現実のシステムでどう組み合わさるかを俯瞰します。
通底するのは「強い原子性は高くつくので、補償と冪等性で”実用的な正しさ”を作る」という現代的な割り切りです。
トピック一覧
- 分散トランザクションとSaga — 2PCの代替としての補償トランザクション
- 冪等性と再試行・バックオフ — 安全に再試行する信頼性パターン
- 分散データストアの設計 — 全理論を1つの設計に束ねる
この章の位置づけ
- 前提は 2相コミット・3相コミット・配送保証（at-most-once・at-least-once・exactly-once）
- Saga の実装やストリーム処理実装は データエンジニアリング へ。ここは設計原理
- 全体目次 分散システム 全体目次 に戻り、分散システム全7章を締めくくる