認識するかもしれないことに注意してください。前に発生した更新を認識することを意味するわけではありません。印字する事態が起こり得ます。この事実は共通のイディオムのいくつかを無効にします。2重チェックのロックは、同期のオーバヘッドを回避する試みです。プログラムは以下のように間違って記述されるかもしれません。更新の認識を意味する保証はありません。代わりに(不正に)空文字列を印字する可能性があります。1つの不正なイディオムは、値に対するビジーウェイトです。更新の認識を意味する保証は無いため、このプログラムも空文字を印字する可能性があります。更新を認識する保証はありません。ループ完了は保証されません。このテーマに関しては、他にも以下のプログラムのように油断出来ないことがいくつかあります。初期化された値が認識される保証はありません。これらすべての例において、解決策は等しく「明示的な同期を使用すること」です。