いま、いろいろと、データや処理の一貫性について、議論しているが、この議論は、並行状況におけるものではない。
つまり、
Ａのプロセスで、Ｘ，Ｙを出力し、
Ｂのプロセスで、ＸとＹを入力し、Ｚを出力
Ｃのプロセスで、ＹとＺを入力し、Ｗを出力する
場合、Ｂよりも前に、Ａが行われるはずであり（でないとＸ、Ｙが入力できない）
Ｃよりも前に、Ｂが行われるはずである（でないと、Ｚが入力できない）
なので、Ａ、Ｂ，Ｃの順におこなわれるはずであるというののチェックの話をしている。
しかし、ここで、Ｂのプロセスについて、細かに考えよう。
Ｂのプロセスでは
（１）まず、Ｘを入力する
（２）Ｘをある程度処理し、Ｖにする
（３）つぎにＹを入力する
（３）ＶとＹを処理してＺを作成する
という手順だったとする。
このとき、（２）のときに、他のプロセスがＹを削除してしまったらどうなるか。。。
（３）が処理できず、エラーになる。
ということで、並行処理の場合には、問題が起こる。
この解決法の１つとして、論理削除がある。
物理的に削除するのでなく、削除フラグをＯＮにするだけなら、
（３）の状態で（削除フラグＯＮになった）Ｙを利用すればよいだけなので、問題ない。
その際、Ｙがたとえばファイル名だとしたら、論理削除する場合、同名のファイル名をつけられる可能性があるので（（論理）削除後、同名のファイルを新規作成した）、ファイル名のようなものではなく、論理削除したものも含めて、一意にする必要がある（Ａｕｔｏインクリメントすればいい）
この場合、プロセスの開始時に、入力資源のＩＤをすべて確保しておくことになる。
そして、論理削除の場合、じゃ、実際に物理的にいつ削除するの？っていうのが問題になる。
変数を上書きするのでなく、１回代入して、次、代入するときは、同じ変数名でも別領域をとる（たしか、ＭＬってそうじゃなかったっけ？）もおんなじ理屈？
アクセス
トータル
ランキング
