C：「ゲッター」機能や、中断して静的揮発性を利用し

Question

私は、次のCコードがあるとします。今

/* clock.c */ 

#include "clock.h" 

static volatile uint32_t clock_ticks; 

uint32_t get_clock_ticks(void) 
{ 
    return clock_ticks; 
} 

void clock_tick(void) 
{ 
    clock_ticks++; 
} 

私はclock_tickを呼び出していますが：からget_clock_ticks()の呼び出し中に、中断中（すなわちclock_ticks変数をインクリメント） main()機能（すなわち、中断の外側）。

私の理解では、clock_ticksは、特に指定のない限り、コンパイラはそのアクセスを最適化し、main()は（それが実際に中断から変更しながら）値が変更されていないと思わせることができvolatileとして宣言されなければならないということです。

直接（すなわち：staticとしてそれを宣言していない）main()を形成するがget_clock_ticks(void)機能を使用して、代わりの変数にアクセスすると、実際にそれがvolatileとして宣言されていない場合でも、メモリから変数をロードするようにコンパイラに強制することができているのだろうか。

誰かがこれが起こってできた私に言ったように私はこれを疑問に思います。本当ですか？どのような条件の下で？とにかく私が "ゲッター"機能を使用すれば、私はいつもvolatileを使うべきですか？

Answer 1

getter関数は、volatileを使用しての上に、ここでどのような方法では役立ちません。

• コンパイラでは、2行上の値を取り出してから変更していないものとします。
• それが良い最適化コンパイラなら、私はそれは、関数呼び出しは、単に関数呼び出しを最適化する何の副作用を持っていない見ることを期待します。

get_clock_ticks()は（すなわち、別のモジュールで）externalだろう場合は、問題は異なっている（多分それはあなたが覚えているものです）。

通常のプログラムフロー（ISRなど）の範囲外で値を変更できるものはです。はvolatileとする必要があります。

Answer 2

は、現在のコード宣言get_clock_ticks、別のモジュールとしてそれを使用してコードをコンパイルした場合でも、多分1日あなたはリンク時またはクロスモジュールの最適化を使用することを忘れないでください。ゲッター関数を使用していても、 "volatile"のままにしておけば、この場合はコード生成に問題はなく、正しいコードになります。あなたが言及していない

ことの一つは、プロセッサのビットサイズです。 1回の操作で32ビットの値を読み取ることができない場合、読み取りがアトミックではないため、get_clock_ticks（）が失敗することがあります。