#分散システムタグの記事

表示切り替え

生成 AI2026/07/30

MCP仕様 v2026-07-28 で、Bearerアクセストークンを発行し、ルーターで要求者を確認し、業務データの操作権限を判定する流れを解説します。

生成 AI2026/07/30

MCP仕様 v2026-07-28 は、接続に同居していたプロトコル状態と業務状態を分離し、任意のInstanceで処理できるようにした変更です。属性とデータの流れを図解します。

ALOPEX

Alopex DB2026/07/23

MVP期・PMF探索期・グロース期・スケール期の4ステージでデータベース要件がどう変わるかを分析し、SQLite・Postgres・マネージドDB・専用ベクトルDBのトレードオフを比較。その上で「移行の崖」を消すというAlopex DBのアプローチを位置づけます。

DATA

データ・DB2026/07/22

分散システムを作ると、本題の前にノード発見・生死判定・メッセージング・合意を毎回作ることになる。Alopex Chirps はその四つだけを引き受けるライブラリである。何を担い何を担わないのか、QUICを選んだ理由、合意にopenraftを採用した経緯までを解説する。

DATA

データ・DB2026/07/22

参加者の身元も人数も不明なネットワークでは、1ノード1票が成立しない。PoWの確率的ファイナリティ、PoSが不可能性ではなく経済的な罰で支える構造、SolanaとAvalanche、そして合意を回避する選択肢と選定基準までを整理する。全4回シリーズ第4回（最終回）。

DATA

データ・DB2026/07/22

ノードが署名付きで矛盾した情報を送る世界を扱う。n=3f+1という定数の意味、PBFTの三段階投票、Tendermintのロック規則、HotStuffのQuorum Certificate、そしてNarwhal以降のDAG-BFTが何を分離し何を削ったかを整理する。全4回シリーズ第3回。

DATA

データ・DB2026/07/22

ノードは停止するが虚偽は送らない、というクラッシュ故障モデルの系譜。Paxosが用いる唯一の道具であるクォーラムの交差から、Raftによる分解、EPaxos、Multi-Raft、そして永続化順序や線形化読み取りという論文の外側までを最小コードで追う。全4回シリーズ第2回。

DATA

データ・DB2026/07/22

応答が返らないノードは、停止したのか遅延しているのか判別できない。リーダー選出・順序決定・確定という三つの別問題、FLP不可能性の実務的な意味、split brainとfencingトークン、合意したログと適用済み状態の境界を整理する。全4回シリーズ第1回。

MCP仕様 v2026-07-28 で、Bearerアクセストークンを発行し、ルーターで要求者を確認し、業務データの操作権限を判定する流れを解説します。