ブロックストレージと共有ファイル

開始オフセットは512で、改行を含む13バイトを書きました。ブロックの先頭番号0はオフセット0、番号1はオフセット512です。

左端の00000200は16進数のオフセット512です。63 68 65…がcheckpointの文字列で、0aが改行、その後は00です。この領域には、通常のファイル名やディレクトリを解釈するファイルシステムをまだ載せていません。

single attachment held by Aで拒否されます。この教材の単一接続条件では、同じ領域を二つのOSへそのまま接続しません。複数接続に対応する製品でも、上位のファイルシステムや書込み調整が別途必要です。

checkpoint=6が残っています。接続先を変えることと保存データを削除することは別です。Bが同じ領域を読むため、Aで書いたバイト列を確認できます。

現在の領域は7ですが、snapshot.imgは6の時点です。実サービスのsnapshotでは、アプリのメモリ内の未確定処理まで整合するかも考慮する必要があります。

checkpoint=6へ戻ります。コピー後の7はこの復元元にはありません。復元できることだけでなく、どの時点まで戻るかを確認します。

両方でcheckpoint=6です。各ノードへ別々のコピーを配ったのではなく、同じ名前が同じ保存先を指しています。ただし、これだけで同時更新の整合性が保証されるわけではありません。

2回加算した期待値は8ですが、actual=7です。同じ保存先を共有していても、読取りと更新を一まとまりにしなければ、片方の更新が失われます。

actual=8になります。後のプロセスは先の更新後の7を読むためです。この例のロックは同じローカルファイル上で検査しており、ネットワークファイルサービスでは対応するロック機構と障害時の扱いも確認します。