システム設計

Raft合意シミュレータ — リーダー選出と障害復旧を動かす

5ノードで選挙・ログ複製・コミットを可視化。リーダーを落として再選出、コマンド送信で複製を観察。

操作して学ぶ

2相コミット（2PC）可視化 — なぜブロッキングが起きるのか

コーディネータ+3参加者DBのシーケンス図。正常系・アボート系に加え、コーディネータ障害でロックが解けなくなる様子も再生。

操作して学ぶ

Paxos合意アルゴリズム可視化 — 競合しても値が1つに収束する理由

Proposer2+Acceptor3のシーケンス図。正常系・2 Proposerの競合系・既存値を引き継ぐ再提案系を切替可能。

操作して学ぶ

ベクタークロック可視化 — 「並行」を積極的に検出する

3ノードのシーケンス図。因果の連鎖・happened-beforeが無い並行系・分散DBのコンフリクト検知を切替可能。

ロードバランシング可視化 — 6つの分散方式を動かして比べる

ラウンドロビン・最少コネクション・IPハッシュ・Power of Two Choices…。負荷を流して分散の均等さを目で確かめる。

コンシステントハッシュ可視化 — ノード追加でも再配置は最小

リング上にノードとキーを配置。ノードを足しても動くキーは黄色枠のわずかだけ。hash%Nとの差と仮想ノードの効果を体感。

CRDT可視化 — 調整なしで複製が収束する仕組み

3つのレプリカを独立に増減し、同期すると必ず同じ値に。可換・結合的・冪等なマージが収束を保証する。

リトルの法則シミュレータ — L=λWで必要な並列度を求める

スループット・レイテンシ・同時実行数の3方向ソルバー。ポアソン到着の実測が理論値へ収束する様子も見える。

クォーラム N/R/W 可視化 — R+W>N で古い値が消える

レプリカ数と定足数を動かして実際に読み書き。重なりが保証される境界と、ノードを落としたときの耐障害性を体感。

指数バックオフとジッタ可視化 — リトライストームを崩す

固定間隔・指数バックオフ・Full/Equal/Decorrelated Jitter の5方式を同条件で同時シミュレーション。