g ++がIRQによって変更可能な変数によって制御されるループを最適化しないようにする方法はありますか？

Question

次のコードを検討：

unsigned global; 
while(global); 

global

はIRQによって呼び出される関数に変更されます。しかし、g ++は "is-not-zero"テストを取り除き、whileループを無限ループに変換します。

コンパイラの最適化を無効にすると問題は解決しますが、C++ではそのための言語構成が用意されていますか？

Answer 1

はvolatileとして変数を宣言します。

volatile unsigned global; 

これはglobalは異なるスレッドで変更することができ、すべての最適化は、それをオフにする必要があり、コンパイラに指示するキーワードです。

Answer 2

あなたは、GCCは、機能ごとに最適化を無効にするには、関数の宣言に属性を使用できます。

void myfunc() __attribute__((optimize(0))); 

詳細についてはGCC Function Attributesページを参照してください。

Answer 3

あなたはGCCを使用していて、変数volatileを作ることは動作しないと言うので、あなたはループがコンパイラに横たわって変数を変更することを考えることにオプティマイザをだますことができます。

while(global) 
    asm volatile("" : "+g"(global)); 

これは、それが変数を変更したことを示すインラインアセンブリステートメント（入出力オペランドとして渡されます）。しかし、それは空ですので、明らかに実行時に何もしません。それでも、オプティマイザは変数を変更すると考えています。プログラマはそう言いましたが、オペランドの置換（単にテキストを別のものに置き換えることを意味します）を禁止するコンパイラは、実際にインラインアセンブリの本体を気にせず、それに面白いこと。

本体が空であり、制約が最も一般的なものを使用できるため、GCCがインラインアセンブリをサポートするすべてのプラットフォームで確実に動作するはずです。