volatile修飾子について

Question

はじめまして。
現在C言語を学習しているのですが、現在使用している参考書には
volatile修飾子の説明がほとんどなく、どういった機能なのかが
わかりません。volatile修飾子とはどういうときに使用するものなので
しょうか？できれば、volatileの機能が確認できるような
簡単なサンプルがあればうれしいです。どうかご教授お願いします。

likipon · Accepted Answer

パソコン上で動かすプログラムを書く人だとあまり使わないかもしれませんね.
ただ, #1の方もおっしゃる様に, ハードウェアに近い分野では必要になる場合もあります.

volatile修飾子がついた変数には最適化が働かなくなります.
たとえば, 次のようなコードがあるとします.

long counter;

printf("a
");
for( counter = 0; counter < 100000; counter++ );
printf("b
");
for( counter = 0; counter < 100000; counter++ );
printf("c
");

上記コードでは, for文で無意味なループを回して無駄時間を作っているつもりです.
a, b, cの間に少しタイムラグができるはずです.
(実際にはとわからないと思いますが)

ただ, 前のコードは実行速度の点でコンパイラから見ても明らかに無駄です.
したがって, コンパイラは次の様な具合にコードを最適化してしまう場合があります. (処理系依存です)

long counter;

printf("a
");
printf("b
");
printf("c
");
counter = 100000;

処理が終わった時点では最初のコードと最適化後のコードは同じ事ですが,
無駄処理で時間稼ぎをしていた部分が無くなってしまいました.
処理速度向上といえばそうですが, これでは困ります.
(なお, counter変数を後で使わない場合は変数の存在自体が無かった事にされたりもします)

そんな時に, counter変数の宣言時にvolatileをつけて
volatile int counter;
といった具合にすると, counter変数に関連する処理は最適化の対象外となるため,
プログラマが書いたとおりに動作するようになります.

なお, 先のコードは説明の為のコードであまり意味がありませんが, 
実際だと「メモリマップドI/O」(メモリの特定のところにデータを書き込むと
ハードウェア的に何らかの動作が起こる仕組み) 
などをいじる時はvolatile修飾子が必須となります.

1839cc · Answer

参考URLに、最適化される前とされた後のコードが載っています。
非常に単純なコードですので、わかりやすいと思いますよ。


ちなみに、NO3さんの「無駄ループが無くなるのを防ぐ」という目的ですが、volatileをつけても効果がないコンパイラもあると聞いたことがあります。
うろ覚えですが・・・。

基本は、NO3さんの「メモリマップドI/O」とか、NO1さんの並列処理のためではないでしょうか。
PCプログラミングでも、マルチスレッドやソフトウェア割り込みなどで必要になってきますね。

参考URL：http://www.cmagazine.jp/src/kinjite/c/variable.html#index14

jacta · Answer

実は標準ライブラリの中にも、それを使うときはvolatile修飾子を付けることを要求している場合があります。
具体的には、signal関数で登録するシグナル処理ルーチンで操作するsig_atomic_t型の変数であり、setjmpマクロやlongjmp関数を使うときの自動変数です。これらの関数などについて調べてみるとよいでしょう。

# volatile修飾子が気になっているぐらいですから、まったくの初心者ではないと理解しています。

sirn · Answer

専門的な知識があると非常に役に立ちます。先に解答された方は知識が豊富でわかりやすい解説がなされています。
ならば、私は超簡単に書いてみようかと.....

貴方の友達(コンパイラは友達ですよｗ)に仕事を依頼しましょう。
仕事内容をメモに書いて渡します。友達はそれに従って仕事をします。
しかし、その内容がそのまま仕事として反映されるわけではなく、『多分問題ないだろう』と友達が判断した場合、何かを省いたり、工程を前後させて速度を優先させる可能性があります。
もし、貴方が友達の勝手な判断を嫌い、最適化を許さないならばvolatileを付けてあげます。

まあ、友達から仕返しは無いと思いますが......使う機会が無いか...

Tacosan · Answer

規格上, volatile は「処理系の感知しない原因で値が変化することがある」という意味です. で, 結果として「最適化しない」ということになります.
これがどんな効果を持つかというと, volatile がない場合には処理系が「ああ, この変数の値は変化しないね」と判断するとその値をレジスタ (など) にコピーし, いちいちメモリ (など) から読み込まないことがあります. それに対し, volatile が付いているとその変数を参照するたびに必ず値を調べに行きます.

kazusone · Answer

コンパイラに最適化を行う機能があります。
貴方がプログラムを書いた場合、コンパイラはその利用頻度や利用範囲を元に、変数をCPU内レジスタに割り当てるか、RAMに割り当てるかを決めます。
しかし、変数をレジスタに割り当てられては困る場合があります。
たとえば、ハードウェアの制御レジスタは特定のアドレスをアクセスしてR/Wしなければならないので、メモリ上の変数に置き換えられたり、レジスタに割り当てられては役に立ちません。変数の値を変えてもハードウェアの制御レジスタが書き換わらないのでハードウェアは動作せず、バグになってしまいます。
このような変数にvolatile宣言を行うことで、最適化の対象外であることをコンパイラに伝えるのです。

PCですとドライバソフトを書く場合に必須です。
ファームウェアでも常用します。

volatile修飾子について

パソコン上で動かすプログラムを書く人だとあまり使わないかもしれませんね.

参考URLに、最適化される前とされた後のコードが載っています。

実は標準ライブラリの中にも、それを使うときはvolatile修飾子を付けることを要求している場合があります。

専門的な知識があると非常に役に立ちます。

規格上, volatile は「処理系の感知しない原因で値が変化することがある」という意味です. で, 結果として「最適化しない」ということになります.

コンパイラに最適化を行う機能があります。

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング