分散システムI(障害モデルと基礎の難しさ)

単一マシンで通じる直感が、なぜ分散システムでは崩れるのかを問うグループです。共有時計がない・メッセージ遅延に上限がない・一部だけ壊れるといった前提から出発し、「落ちたのか遅いだけなのか区別できない」という根本問題やFLP不可能性まで、合意と障害の理論の土台を一次ソースで確かめながら固めます。