Q&A
ああ！なるほど！
シグナルは割り込みと見なせるので、シグナルによって変更される変数にvolatileを付ける。
と考えるわけですね。
つまり、主にはグローバル変数でしょうかね？
ローカル変数にはvolatileは付けないということですよね？（割り込みやスレッドによって変更されないから）
例えば、以下のコード
C
1#include<signal.h> 2 3sig_atomic_t interrupted; 4 5void sigint_handler(int signum){ 6 interrupted = 1; 7} 8 9int main(){ 10 signal(SIGINT, sigint_handler); 11 while(!interrupted){ 12 [何かの処理] 13 } 14 return 0; 15}
このコードは sig_atmoic_t interrupted にvolatileが付いていないので最適化するとバグります。
main()からの読み取りは、コンパイラの最適化によって削除されてしまう可能性がある。
真っ先に思ったこと：「知らねぇぇぇ・・・ & なんで？？」
最適化によって削除されたり、変更されたりする変数を把握することができません。
**つまり、volatileが必要、不必要な場面がわからない。**ということです。
変数宣言にvolatile修飾子を追加すると、intterruptedはwhileループの繰り返しやシグナルハンドラからアクセスされる際に、必ず元のアドレスからアクセスされることが保証される。
キャッシュできないデータにはvolatileを使う
(キャッシュ？これは・・・CPUに備わっているキャッシュのことですかね？
元のアドレスとはなんのこと？)
皆さんは、どうやってvolatileが必要な部分を見つけているんでしょうか？
プログラムを作る -> 最適化するとバグる -> volatileが必要な部分を探す。
しかし、これだとバグを前提にvolatileを探すことになるので、良い方法とは言えませんが・・・
あるパターンが存在するはずです。
volatile修飾の規則を教えてください。
しかし、全パターンを覚えるんですか？？
それは流石に無理ですよね？
＿[ここから私の妄想]___________
volatileによる最適化抑止機能は、変数に対してに加えて、関数ごとに抑止できると便利ではないでしょうか？
C
1volatile int buffer_ready; 2char buffer[BUF_SIZE]; 3 4void buffer_init(){ 5 for(size_t i = 0; i < BUF_SIZE; i++) 6 buffer[i] = 0; 7 buffer_ready = 1; 8}
簡単な関数の例なのですが、
volatile宣言がされている場合、コンパイラはそのデータが置かれたメモリに対する読み書きの順序を変更できない。しかし、これらの読み書きと、他のメモリに対する読み書きとの順序を変更してもよい。
したがって、コンパイラはこのループをbuffer_readyへの書き込みの後に移動することができる。これはプログラマの意図に反する。
今回の場合は、buffer_readyが入れ替わっても問題無さそうですが、複雑な関数になると問題になってくるはずです。
そうすると、bufferの方にもvolatileを付ける羽目になり、volatileがどんどん増えていきます。
buffer_init()そのものを最適化抑止させる機能があると便利ではないでしょうか？
ラムダ式って何が便利なのです？？
以前の質問で、main()を内をさらに細かい関数単位で分割できる・・・と言ったんですが、すると関数の中もラムダ式を使って細かく最適化抑止を制御できるのではないか？（ラムダ関数を最適化抑止する）
という想像ができます。
ラムダ式の利便性が向上しそうです。
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
まぁ、私の妄想はどうでもいいんですけど・・・関数全体に対して最適化抑止機能が付いているのはどうかなぁ？？と思っただけの話なのです。
ここでの疑問は「どうやって、volatile修飾が必要な箇所を見つければ良いんでしょうか？？」という疑問です。
パターンがあるなら、是非教えてください。
回答6件
0
ベストアンサー
（この回答はC言語またはC++言語を前提とします）
どうやって、volatile修飾が必要な箇所を見つければ良いんでしょうか？？
普通のPC／サーバ上で動作する一般的なアプリケーションを開発しているときは、volatile修飾のことを気にする必要はありません。
真にvolatile修飾が必要となるのは、以下のパターンいずれかと思います：
- シグナルハンドラ(signal handler)を記述するとき。
- デバイスドライバなど外部ハードウェアとのI/O処理を直接記述するとき。
- 組込機器/マイコン/DSP上で動作するプログラムを記述するとき。
- オペレーティング・システム(OS)本体を記述するとき。
補足：「マルチスレッドアプリ開発ではvolatileが必要」という主張は、C/C++言語においては全くの誤りです。これらは昔のC/C++開発環境を前提としているか、他言語の話題と混同されているケースが大半です。
プログラムを作る -> 最適化するとバグる -> volatileが必要な部分を探す。
しかし、これだとバグを前提にvolatileを探すことになるので、良い方法とは言えませんが・・・
volatile修飾を「正しく」利用する（付けるべきところで修飾し、余計なところには使わない）のはとても難しい問題です。機械的に正誤判定を行う方法は私も知りません。最終的にはプログラマ自身が正しい知識を身につけることと、レビュープロセスなどで人的にチェックするしかないと思います。
投稿2018/02/19 07:24
総合スコア6191
0
こんにちは。
最適化は基本的に関数内で行われますから、関数内での変更だけであれば、おかしな動作にならないように最適化されます。（当然ですね。）
しかし、関数の外（割り込みや他のスレッド）で変更されるとコンパイラはその状況を把握できませんので、プログラマが教えて上げる必要があります。
つまり、関数が動作中に、割り込みや他のスレッドにて変更される変数にvolatileを付けます。
【yohhoyさんとの議論にて追記】
データ競合が発生する場合は、一般にロックやアトミック変数でデータ競合を回避します。
対スレッドの場合はその機構により、最適かも抑止されるのでvolatileは付けなくて良いと標準規格にて決まっているそうです。
ただし、対シグナルハンドラーについては標準規格でvolatileを付ける必要があるそうです。
シグナルハンドラーを実装するケースは稀でしょうから、ちゃんとデータ競合を回避しておけば、一般にはvolatileは付けなくても大丈夫と考えて良さそうです。
質問のサンプルはシグナルハンドラーですので、volatileが必要なようです。
投稿2018/02/19 06:29
編集2018/02/19 09:33
総合スコア23272
確かに事実上それでOKと思います。
↓で議論したのと同様、スレッドや割り込みハンドラーで共有する変数については同様に注意が必要です。
https://teratail.com/questions/113653
排他制御の問題と最適化抑止の問題は一緒に出てくるので混同しやすいですね。
「排他制御の問題と最適化抑止の問題は一緒に出てくるので混同しやすいですね。」
ああ！そうですね。
とりあえず、関数外の要因に関わる変数にはvolatileを！・・・は理解しました。
0
訂正：
すみませんが、自分の回答はvolatileを付けないとどうなるかの一例を挙げたにすぎずvolatileをどう使うかというトピックにはあまりに不十分であると思います。yohhoyさん回答からそう気づきました。
例えばコンパイラーが生成するコードのみならずプロセッサーでもメモリーオーダリングが行われており、それを制御するのにはメモリーバリアを意識しなくてはならず、かつC/C++のvolatileはプロセッサによるメモリーオーダリングを制御するようなメモリーバリア機能を持たないということがyohhoyさん回答からわかりました。
そうした点だけとっても「volatileはそんな簡単に直接使えるようなものではない」と思いました。
自分の認識では「複数のスレッド（より厳密に言えば非同期に実行されるもの＝割り込みなども含む）から並行して更新・参照される制御情報」にvolatileを付けるというのが判断基準です。
gccのコンパイルの一例ですが
C
1int flag = 1; 2main() { 3 while (flag) { 4 } 5}
これを-Ofastでコンパイルすると
text
1main: 2.LFB23: 3 .cfi_startproc 4 movl flag(%rip), %eax 5 testl %eax, %eax ; (A) 6 je .L2 7.L4: 8 jmp .L4 9 .p2align 4,,10 10 .p2align 3 11.L2: 12 xorl %eax, %eax 13 ret
となりました。このコードを見るとvolatileがないとなぜ困るかは自明と思います。プログラム開始直後に一度だけ行われる(A)の判断結果により「無限ループするか」「一度もループしないか」が決められてしまい、ループしながらflagの変化を待つという動作になりません。
複数のスレッドが更新・参照する可能性がある情報を扱う場合、特定のスレッドで過去のある時点にアクセスした結果得られた値を後で再び用いること、例えばレジスターなどへコピーした値を再度用いることはもちろんＮＧですよね？
キャッシュとは「プロセッサーから遠い場所にある情報のコピーをより近い場所に置いてそれを参照する」ということを表します。プロセッサーのL1/L2キャッシュとは限りません。最初に示したコンパイル結果が表しているように、レジスターやスタックも本件においてはキャッシュの一種として捉えるべと思います。
そのような**「オリジナルとは別の場所にキャッシュされた情報を参照することを許さない」のがvolatileの効果**と考えるのが第一歩で、そうされては困る情報にvolatileを付けるのが（少なくとも基本的な）判断基準だと思います。
投稿2018/02/19 06:50
編集2018/02/19 08:52
総合スコア18394
むむ・・・
「レジスターやスタックも本件においてはキャッシュの一種として捉えるべと思います。」
これについては納得いきました。
「オリジナルとは別の場所にキャッシュされた情報を参照することを許さない」
「オリジナル」とは、例えば、KSwordOfHasteさんのコードに載っているflagグローバル変数のようなものの事ですよね？
> flagグローバル変数のようなもの
自分の回答意図はそのとおりです。
ただ、回答してはみたもののyohhoyさんコメントを拝見するに自分の回答はかなり不十分な回答だと思います。volatileをどのように使うかは簡単なトピックではなく、むしろ「それを使わない方法を学ぶ」方が一般アプリケーションプログラマーには優先すべきトピックじゃないかと思います。
0
パターンというか私ならここでvolatileを使うというケースです。
- ポーリング待ち用の変数にはつける。
- I/Oにアクセスするためのポインタ変数にはつける。
最近のCPUはOutOfOrder実行が普通なので最適化の有無に関係なく変数にアクセスする順番が守られない可能性があります。
その場合はメモリフェンス命令によって次に実行する命令を待たせたりするのですが、マルチコアCPUをターゲットにした環境の場合はミューテックスやロックの関数にその機構が実装されてるのかもしれませんね。
投稿2018/02/19 08:12
総合スコア1430
0
(キャッシュ？これは・・・CPUに備わっているキャッシュのことですかね？
元のアドレスとはなんのこと？)
この文脈におけるキャッシュとは、レジスタに値を保持して使い回すことを言います。元のアドレスとは、変数が格納されているアドレスのことです。
つまり、ある変数が関数の中で何度も繰り返し使用されるとき、最適化しない場合はその都度メモリ領域から変数の値を読み取りますが、最適化が有効な場合は、最初に一度メモリ領域から読み出してその値をレジスタに覚えておき、後はそれを使い回す、ということをします。
皆さんは、どうやってvolatileが必要な部分を見つけているんでしょうか？
あるパターンが存在するはずです。
volatile修飾の規則を教えてください。
volatileは探して見つけるようなものではありませんし、パターン化された規則によって付けるかどうかを決めるものでもありません。付けるかどうかは「設計上の必要性」に応じて決めます。
その変数がどのタイミングで誰がアクセスするかは、ちゃんと設計しているなら「当然把握している」はずなので、裏（別スレッドとか割り込みとか）で変更される可能性のあるもので、前述のような最適化をしてほしくない変数ににはvolatileを付けることになります。
一応、「＿[ここから私の妄想]___________」について追記
buffer_init()そのものを最適化抑止させる機能があると便利ではないでしょうか？
問題の解決を誤った方法に求めると、より問題が深刻化します（あるいは潜在的な問題に気づけなくなります）。その手の制御は、最適化の有無などという不確かなもので行うのではなく、排他制御で行うのが普通です。buffer_readyとbufferへのアクセスのアトミック性を確保しさえすれば、メモリのアクセス順がどうなろうと問題にはなりません。
追記
私の経験的な見解としては、一般的なアプリを作る上ではvolatileはほとんど必要性を感じません。パフォーマンスのチューニングをしたいときに作る検証用コードで、最適化によって変数のアクセス回数が減って正しく計測できなくなるのは困る、というときに使う程度です。少なくとも、製品向けのプログラムでvolatileを使ったことはありません。
volatileの話題でマルチスレッドの話がよく出てきますが、同期目的で使えるのは、せいぜいフラグ変数程度でしょう。実際には、スレッド間／プロセス間の同期は、プラットフォームが提供する専用のAPIを使うのが最も確実です。製品を作る上では不確実な要素は排除しないといけませんから。
C++11でスレッドが導入されてからは、プラットフォーム依存のAPIを直接呼び出さなくても済むようになりましたね（標準ライブラリーにない便利な同期オブジェクトは直接API呼び出しすることになりますが）。
投稿2018/02/19 07:21
編集2018/02/20 02:05
総合スコア5938
「ある変数が関数の中で何度も繰り返し使用されるとき、最適化しない場合・・・」
この「最適化しない場合」とは、コンパイル時に最適化オプションを付けていない・・・という意味でしょうか？それともvolatileによって最適化が抑止されている・・・という意味でしょうか？？
両方です。
あ、なるほど！
あ、つまり、「最初に一度メモリ領域から読み出してその値をレジスタに覚えておき、後はそれを使い回す」
これをされると困る時に、volatileを付けるわけですね。
そういうことです。
なるほど！理解いたしましたわ。
0
ちょっとまとめます。他の人の回答に出てくるものだと・・・
・コンパイラからは検知できない任意タイミングで更新される可能性のある変数
・レジスタなどにコピーしたものを使いまわされては困る
・「volatile宣言がされている場合、コンパイラはそのデータが置かれたメモリに対する読み書きの順序を変更できない。しかし、これらの読み書きと、他のメモリに対する読み書きとの順序を変更してもよい」という規則
スレッドセーフな関数について
以前の質問では「安全」を定義する必要がありましたが、今回では「問題」を定義する必要がありますね。
・プログラム自体のバグが問題である場合、確かにvolatileが必要となる場面は意外に少ない・・・かと思います。
・プログラマが意図しない動作が問題である場合、volatileが必要になる場面は結構ある・・・と思います。
例えば、以前の質問・・・
64bit整数型が遅い理由
で、上げているプログラムなのですが・・・
これに最適化を施すと割り算がループの外に出てしまい（ループが不要なので消える）、この実験プログラムには意味がなくなってしまいます。
正常に動作はしますが、そういう意味においては、「問題」になるため、volatileが必要になってきます。
いやぁぁ・・・**む・ず・か・し・い・！**ですね。
これはまさにcatsforepawさんの仰る通り、
付けるかどうかは「設計上の必要性」に応じて決めます。
しかし、実際にどうやってvolatileを見つけるかなのですが・・・
最適化によって変更される規則は、おそらくコンパイラのオプティマイザーの開発者レベルじゃないと完璧に把握するのは無理なんでしょう。
yohhoyさんの仰る通りかもしれません。
最終的にはプログラマ自身が正しい知識を身につけることと、レビュープロセスなどで人的にチェックするしかないと思います。
よく出てくるパターンのみを把握しておけばある程度は「ここでvolatileが必要だな・・・」という感覚が身につくかも・・・しれないです。
投稿2018/02/19 14:38
総合スコア651
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2018/02/19 07:29
2018/02/19 07:34
2018/02/19 07:38
2018/02/19 07:38
2018/02/19 07:47 編集
2018/02/19 07:42
2018/02/19 07:44 編集
2018/02/19 07:47 編集
2018/02/19 07:47
2018/02/19 07:51
2018/02/19 08:56 編集
2018/02/19 08:01 編集
2018/02/19 08:01 編集
2018/02/19 08:07
2018/02/19 08:40 編集
2018/02/19 08:16
2018/02/19 08:29 編集
2018/02/19 08:36 編集
2018/02/19 08:45 編集
2018/02/19 09:18
2018/02/19 12:55 編集
2018/02/19 12:23
2018/02/19 13:36
2019/11/08 08:30