8,231
回編集
差分
'''ダブル・チェック・ロッキング'''（[[英語]]：Double Check Locking）とは、マルチスレッド環境下における：double check locking）とは、[[マルチスレッド]]環境下における[[変数]]に対して、初回は[[ロック]]せず状態チェックを行い、そこで必要であれば再度せず大雑把に状態チェックを行い、そこで必要であれば再度[[ロック]]を掛けたのちに状態チェックを行うというを掛けた後に厳密に状態チェックを行うという[[ソフトウェア]]の[[最適化]]技法、[[デザインパターン]]のひとつである。
==概要==ダブル・チェック・ロッキングは、主に[[変数マルチスレッド]]の環境下での[[ロックシングルトンパターン]]は非常にを実装する際に[[オーバーヘッド]]の大きい重たい処理であるため、その発生回数を可能な限り減らすことで[[プログラム]]の高速化を実現しようというものである。の低減を目的として使われることが多い。
== 主なプログラミング言語での実装例 ==
public static MySingleton GetInstance()
{
// 1回目のチェック1回目の大雑把なチェック // ロックしていないので高速に処理されるロックしていない「nullではない場合」の処理が高速化されます。
if (null == _instance)
{
// ロック
// ※このブロック内はクソ重いここで処理は急激に重くなります。
lock (_sync)
{
// 2回目のチェック2回目の厳密なチェック
if (null == _instance)
{
=== C# (Lazy) ===
[[.NET Framework 4.0]]では、標準でLazyから標準でLazy<T>クラスが用意されており、それを使うことでよりシンプルにダブル・チェック・ロッキングを記述できるようになったクラス（System名前空間）が用意されており、これを使うことで簡潔明瞭にダブル・チェック・ロッキングを記述できるようになった<!--<ref>{{cite
|title=C# 4.0 in a Nutshell
|last=Albahari
=== Java ===
[[Java]]では[[仕様]]において[[アウトオブオーダー]]を用いるメモリモデルが可能となっていたため、この[[イディオム]]を使うことには問題があり、一部の[[実装]]では実際に正しく働かない可能性があることが知られている。詳細は http://www.ibm.com/developerworks/jp/java/library/j-dcl/ を参照。を参照。大雑把にいえばJavaでは「new（メモリ確保）」と「コンストラクタ実行」のタイミングが異なる。
よって、[[Java]]では絶対にダブルチェックロッキングを使用してはならない。
たとえば以下のような[[Java]]の[[ソースコード]]があったとする。
# １行目で[[メモリ]]が確保される。
#: いわゆるmallocが実行されhage[[変数]]自体は[[null]]ではなくなる。
#: ただし[[コンストラクタ]]はまだ実行されない。はまだ実行されていない。# 2行目の初めて使うときにコンストラクタが実行される。2行目のインスタンスを初めて使うときにコンストラクタが実行される。
#: [[コンストラクタ]]が実行されるタイミングは、オリジナル（newを実行した[[スレッド]]の持つ）インスタンスに対して外部から[[メンバー関数]]や[[メンバー変数]]に初回アクセスがあったときとなる。これを[[遅延初期化]]（lazy initialization）という。これによりhage[[変数]]自体は[[null]]ではないので後続スレッドはコンストラクタを実行していない不完全な[[インスタンス]]の[[参照]]を取得できてしまう。