volatile

当初のCにはなく、ANSI Cから追加された。

この当時はまだシングルスレッドが前提ではあったが、例えばメモリーマップドI/O空間のデバイスのレジスター値など、コードの外部で変更される可能性のある値へのアクセスが不用意に最適化されてしまう問題を回避することを目的としていた。

もしこれがないと、ある同じアドレスのポートに連続して値を書く場合、それらが無駄な処理と判断され、最後の書き込みのみを残してそれ以外が削除されてしまう可能性がある。

そういった、コンパイラーの最適化機能を抑止するために定義されたものが、このvolatileである。

volatileによる最適化抑制は、のちのマルチスレッド環境用のプログラミングでも活用された。

現在のプロセッサーは、アウトオブオーダー実行により、命令が並べ替えて実行されることがある。メモリーマップドI/Oはもちろんだが、複数のスレッドからアクセスする変数が複数あり、その更新のタイミングが重要な場合、命令の実行順序が変わることで致命的な動作を招く可能性がある。

C#では、volatileがメモリーバリアを生成することになっている。volatileを使うことで、CPUのメモリーバリア機能などを用い、実行順序の保証がなされる。なお、他の言語では必ずしもそうではない。

従来のC++はコンパイラー依存。

Visual C++

• _ReadBarrier();
• _WriteBarrier();
• _ReadWriteBarrier();

gcc

• __asm__ __volatile__("":::"memory")

C++11はstd::atomic、JavaはAtomic*型がメモリーバリアとしての機能を持っている。