volatile の解説と実装リファレンス

この記事の目次

【概要】
【仕様】
【技術的特徴】
【注意点】
【サンプルコード】
【活用例】

【概要】

volatile はCおよびC++言語における型修飾子（Type Qualifier）です。これは、特定の変数の値がプログラムの通常の制御フロー以外の要因（ハードウェアの割り込み、DMA転送、あるいは別スレッドによる操作など）によって、予期せぬタイミングで変更される可能性があることをコンパイラに通知する役割を果たします。

コンパイラは通常、パフォーマンスを最大化するために、変数の値をレジスタにキャッシュする最適化を行います。volatile を付与することで、コンパイラに対して「この変数は常にメモリ（または対応するハードウェアレジスタ）から直接読み書きする必要があり、最適化によるキャッシュや順序の入れ替えを行ってはならない」と指示を出します。

【仕様】

種類: 型修飾子（関数ではない）。
引数・戻り値: なし（変数の宣言時に付与する）。
データ型: int, char, float, bool 等のすべての基本型、および構造体やポインタに適用可能。
初期状態: 標準的な変数宣言と同様。付与された変数は、メモリ上の特定の領域を保持する。
メモリへの影響: コンパイラによる「Read/Writeの省略」および「命令の再配置（Reordering）」を禁止する。

【技術的特徴】

レジスタキャッシュの抑制: 通常、ループ内で変化しないと判断された変数はレジスタに保持され、メモリへのアクセスがスキップされます。volatile はこの最適化を無効化し、毎回メモリへのアクセスを強制します。
MMIO（Memory-Mapped I/O）との連携: マイコンの周辺レジスタ（UART、GPIO等）は、特定のメモリ番地にマッピングされています。これらはソフトウェアの操作とは無関係にハードウェア側で値が変わるため、volatile を使用せずにアクセスすると、古い値がレジスタ内に残り続け、正しい挙動が得られない原因となります。
Atomic（原子性）との違い:
volatile: 「最適化による省略」を防ぐもの。メモリへのアクセスを保証するが、操作の原子性を保証しない。
atomic: 「操作の不可分性」を保証するもの。volatile だけでは、マルチスレッドや割り込み環境での競合状態（Race Condition）を防ぐことはできません。

【注意点】

原子性の欠如: volatile int counter; に対して counter++ を実行する場合、内部的には「読み込み→加算→書き込み」の3ステップが行われます。割り込みが発生すると、この中間状態でデータが不整合になる可能性があるため、重要な共有変数は std::atomic や割り込み禁止処理を併用する必要があります。
パフォーマンスへの影響: volatile はコンパイラの最適化を意図的に阻害するため、頻繁にアクセスする計算用変数に付与すると、実行速度が低下します。用途を限定して使用すべきです。
ポインタの解釈:
volatile int* p; : ポインタが指し示す先の値が揮発的であることを示す。
int* volatile p; : ポインタ変数自体が揮発的であることを示す（ポインタの指す先が変わる可能性がある）。

【サンプルコード】

以下は、割り込み（ISR）によって更新されるフラグ変数を扱う際の標準的な実装例です。

#include <Arduino.h> 

// ISR内で更新される変数。volatileを付けないと、
// loop()関数内のif文が最適化され、変化を検知できない可能性がある。
volatile bool buttonPressed = false;
volatile int pulseCount = 0;

void setup() {
  Serial.begin(9600);
  pinMode(2, INPUT_PULLUP);
  // 割り込み設定
  attachInterrupt(digitalPinToInterrupt(2), handleInterrupt, FALLING);
}

// 割り込みサービスルーチン
void handleInterrupt() {
  buttonPressed = true;
  pulseCount++;
}

void loop() {
  // loop関数は常にボタンの状態を監視する必要がある
  if (buttonPressed) {
    Serial.print("Pulses detected: ");
    Serial.println(pulseCount);

    // フラグをリセット
    buttonPressed = false;
  }
}

【活用例】

外部割り込み（External Interrupts）: ボタン入力やセンサーの閾値到達など、非同期で発生するイベントのフラグ管理。
タイマー割り込み: 周期的な時間計測において、正確なカウンタ値を更新する変数の定義。
低レベルデバイスドライバ: MCUのレジスタ（例：TCON, SCON 等）に直接アクセスする際のポインタ定義。
DMA通信: DMAコントローラによってメモリ領域へ書き込まれるバッファのヘッダ情報管理。