Heartbeat - ノードの死活監視
ハートビート（heartbeat）は、ノードが「自分は生きている」という短い信号を一定間隔で送り続け、受け取る側がその途絶をもって障害と判断する仕組みです。 ...
Failure-Detection
FLP Impossibility - 非同期の合意が必ず終わるとは限らない理由
FLP 不可能性（FLP impossibility）は、Fischer・Lynch・Paterson の 3 氏が論文「Impossibility of Distributed Consensus with One Faulty Process」（1985 年）で示した定理です。ここでの合意は、複数のサーバー（論文の用語ではプロセス）がそれぞれ持つ値から、1 つの値を全員で選ぶことです。 ...