「クリティカルセクション」の版間の差分

2013年9月22日 (日) 21:31時点における版

クリティカルセクション (Critical section, クリティカルリージョン, Critical region) とは、単一のリソースに対して、複数の処理が同時に実行されると破綻する部分をいいます。クリティカルセクション では、排他制御 を行い、アトミック性を確保しなければなりません。

読み方

クリティカルセクション

くりてぃかる せくしょん

Critical section

くりてぃかる せくしょん

クリティカルリージョン

くりてぃかる りーじょん

Critical region

くりてぃかる りーじょん

概要

クリティカルセクション は、１つのプロセス・スレッドのみが実行されなければなりません。 クリティカルセクション の前後では、排他制御のために、ロックの取得と解放を行います。 同時に複数のスレッドがクリティカルセクションに入ろうとしても、排他制御を行うことにより、１つのスレッドのみがクリティカルセクションに入ることを許され、ほかのスレッドは、ロックが解放されるのを待たなければなりません。

クリティカルセクション が存在する処理のとして、「銀行のATMでお金を引き出す」処理が挙げられます。

２つの ATM で、同じ口座から１万円ずつ引き出そうとします。 口座からは、合わせて、２万円を減らさなければなりません。

1. 残高をデータベースから取得する
2. 残高から引き出す額を減らす
3. 残高をデータベースに保存する

上記の処理がアトミック に処理されない場合、どうなるのでしょうか？ ２万円、引き出したはずなのに、１万円しか引き出したことにならない、といった現象が発生するでしょう。

カウンタの例

カウンタの流れ

ウェブページ のカウンタのプログラムの例で説明します。

カウンタの処理は、以下の手順は、アトミック に処理されなければなりません。

1. カウンタの値をファイルから読み出す
2. カウンタの値を１増やす
3. カウンタの値を記憶装置に書き込む

排他制御しない場合

二人のユーザーがウェブページ に同時にアクセスします。 カウンタは、２増えなければなりません。 しかしながら、同時にユーザーがアクセスするとどうなるでしょうか。

カウンタの値をファイルから読み出す処理が同時に走ると同じ値を読み出し、そして、１インクリメントした、同じ値を同時に書き込むことになり、結果、２つのアクセスは、１つのアクセスとしてカウントされます。

排他制御を使用する場合

以下の処理は、クリティカルセクションです。複数のアクセスは、排他制御されなければなりません。

1. カウンタの値をファイルから読み出す
2. カウンタの値を１増やす
3. カウンタの値を記憶装置に書き込む

クリティカルセクション に入る前に、排他ロックを行い、排他制御します。クリティカルセクションの終わりでは、ロックを解放します。

1. 排他ロックを取得する
2. カウンタの値をファイルから読み出す
3. カウンタの値を１増やす
4. カウンタの値を記憶装置に書き込む
5. 排他ロックを解放する

仮に、複数のユーザーがアクセスしてきたとしても、最初の排他ロックによって、１つのスレッドだけが、クリティカルセクションに入ることを許可されます。 ほかのスレッドは、ロックが解放されるまで、待たされることになります。

関連項目

• スレッド
• マルチスレッド
• アトミック
• 排他制御
• ロック
• デッドロック