排他制御とは、１つのリソースに複数のスレッドからアクセスするときに、調停を行うことだ。
教科書的な排他制御の説明はこんな感じだろう。
ある変数に対して、２つのスレッドがインクリメントを試みる。
インクリメントとは、
- 変数の現在の値を取得する
- それに１を足す
- 足した結果を変数に書き戻す
という一連の操作である。
変数の初期値が１であるとして、２つのスレッドが競合すると、
- スレッドＡが変数から１を読み取る。
- スレッドＢが変数から１を読み取る。
- スレッドＡが読み取った値に１を足す
- スレッドＢが読み取った値に１を足す。
- スレッドＡが結果を書き戻す。変数の値は２になる。
- スレッドＢが結果を書き戻す。変数の値は２になる。
となる。
インクリメントが２回行われているから、結果は３にならなければいけないのに、２になってしまう。
これを防ぐために、ロックが使われる。
- スレッドＡが変数から１を読み取る。
- スレッドＢが変数を読み取ろうとするが、スレッドＡがロックしているため待つ。
- スレッドＡが読み取った値に１を足す。
- スレッドＡが結果を書き戻す。変数の値は２になる。
- スレッドＡがロックを解放する。
- スレッドＢが動き出し、変数から２を読み取る。
- スレッドＢが読み取った値に１を足す。
- スレッドＢが結果を書き戻す。変数の値は３になる。
万事めでたし、というわけだ。
データベースで言うと、変数から読み取る操作がSelect、書き戻す操作がInsertやUpdateになる。
上記の例で言えば、スレッドＡがロックをかけたら、スレッドＢのSelectも止められなければならない。でなければ、スレッドＡが更新した後の値を読み取れないからだ。
だが、どうもOracleには、他人がSelectするのを止める術が無いように思える（Select for Updateなら止められるが、更新がInsertのケースでは使えない）。
SQL Serverでは可能らしいと聞くのだが。
こういう場合、Oracleでは、
- 同じ行をUpdateするなら、Select for Updateか、タイムスタンプ列を使った楽観的排他制御
- 新しい行をInsertするなら、該当列に一意性制約をかけておき、成功するまでループ
という方法になるのだろうか。
Insertの際に一意でなければならない列の値をユーザに決定させる場合は、成功するまで何度でもトライアンドエラーさせるしかなさそうだ。