Lock

Lockが満たすべき基準

ロックの取得は、関連するShared dataのすべての更新が完了した後にのみ取得できる

ロックへの排他的アクセスは、そのロックへの排他的または非排他的なアクセスを他のプロセスが持たない場合にのみ成功する

ロックを持つプロセスは常に1つ

ロックへの非排他的なアクセスは、ロックの関連データの更新を含む、以前の排他的アクセスが完了した場合にのみ許可される