devlog

設計／排他制御(1)排他とは
排他制御とは、同時に複数から操作させると不都合な場合に、
占有を宣言して独占的に操作させるようにする仕組みである。
ファイルの書き込み処理などが対象となる代表例である。

占有を宣言することをロックといい、その解除を宣言することをアンロックという。

ファイルの書き込みなどの対象となる処理を行う前に、
占有を宣言して承認されればその後は独占状態となる。

占有を宣言しても既に先に宣言しているものがいれば、
それが終わるまで待つことになる。

排他制御は各々が占有を宣言(＝お伺いを立てる)するというルールを遵守することに
よって初めて成り立つもので、各々でそれを漏らさないことが前提条件となる。
ま、これはUNIX系の場合。

Windows系などでは、ファイルOPENとかと一体となって
自動的強制的に排他制御が行われたりしているようだ。