分散システムVI(調整とパターン)

分散ロック・リース・2相コミット・べき等性・フェイルオーバーなど、実システムでノード同士を安全に調整するための手筋を学びます。「なぜ単純なロックや再送がGC停止や故障で壊れるのか」を具体的に理解し、フェンシングトークンやべき等化でどう守るかを一次ソースの定義に沿って身につけます。