論理の矛盾・循環・膠着 ３
時間が関係する論理では、いつまでも互いに進まない状態になることがあります。このような膠着状態（デッドロック）の事例とその対処を紹介します。
３．論理の膠着
�〆邏箸怜叡紂福隋�
作業の順序を考えずに計画を立て実行すると、作業が進まなくなることがあります。
要員Ａの計画：作業２のあと作業３
要員Ｂの計画：作業４のあと作業１
作業条件 ：作業１のあと作業２
作業３のあと作業４
要員Ａは作業１が終了しないので作業２を開始できず、要員Ｂは作業３が終了しないので作業４を開始できません。
このような膠着状態をデッドロック(dead lock)ともいいます。要員Ａに作業１→作業２を割りつけ、要員Ｂに作業３→作業４を割りつけると、膠着状態は発生しません。
�⊆屬怜叡紂福隋�
せまい山道で両方向から「なんとかなるだろう」「相手がゆずるだろう」と車を進めると、すれちがうことができず、双方ともに進退が極まることがあります。後退しようとすると、次から次へと車が来て、いつまでたっても前に進めません。
車が動けなくなったなら、最後尾の車から順に広い場所に移動しましょう。膠着状態を抜けだすことができます。
��処理の膠着（∞）
互いのプログラムが相手の処理が終わるのを待つことによって、両方の処理が進まない状態になることがあります。
図を見てください。左右二つのプログラムが並行して動作しています。左のプログラムは、ファイルＡを占有し更新しましたが、ファイルＢを占有できないので更新できません（右のプログラムに占有されているので）。一方、右のプログラムは：、ファイルＢを占有し更新しましたが、ファイルＡを占有できないので更新できません（左のプログラムに占有されているので）。そのため、二つのプログラムは互いに待つことになります。
プログラムが更新のためにファイルを占有すると、ほかのプログラムはそのファイルを更新できません。対処としては、一方のプログラムが一時的にファイルの占有を解除し、しばらく待って（他方の占有が解除されて）から更新する方法があります。
３．論理の膠着
�〆邏箸怜叡紂福隋�
作業の順序を考えずに計画を立て実行すると、作業が進まなくなることがあります。
要員Ａの計画：作業２のあと作業３
要員Ｂの計画：作業４のあと作業１
作業条件 ：作業１のあと作業２
作業３のあと作業４
要員Ａは作業１が終了しないので作業２を開始できず、要員Ｂは作業３が終了しないので作業４を開始できません。
このような膠着状態をデッドロック(dead lock)ともいいます。要員Ａに作業１→作業２を割りつけ、要員Ｂに作業３→作業４を割りつけると、膠着状態は発生しません。
�⊆屬怜叡紂福隋�
せまい山道で両方向から「なんとかなるだろう」「相手がゆずるだろう」と車を進めると、すれちがうことができず、双方ともに進退が極まることがあります。後退しようとすると、次から次へと車が来て、いつまでたっても前に進めません。
車が動けなくなったなら、最後尾の車から順に広い場所に移動しましょう。膠着状態を抜けだすことができます。
��処理の膠着（∞）
互いのプログラムが相手の処理が終わるのを待つことによって、両方の処理が進まない状態になることがあります。
図を見てください。左右二つのプログラムが並行して動作しています。左のプログラムは、ファイルＡを占有し更新しましたが、ファイルＢを占有できないので更新できません（右のプログラムに占有されているので）。一方、右のプログラムは：、ファイルＢを占有し更新しましたが、ファイルＡを占有できないので更新できません（左のプログラムに占有されているので）。そのため、二つのプログラムは互いに待つことになります。
プログラムが更新のためにファイルを占有すると、ほかのプログラムはそのファイルを更新できません。対処としては、一方のプログラムが一時的にファイルの占有を解除し、しばらく待って（他方の占有が解除されて）から更新する方法があります。
この記事に対するコメント