組み込みシステム開発において、C言語を用いた割り込み処理の実装は、システムの応答性能を左右する極めて重要な要素です。
ハードウェアからのイベントに対して即座に反応するために、プロセッサは現在実行中のメイン処理を中断し、特定のルーチンへと制御を移します。
本記事では、C言語による割り込み処理の基礎から、最適化のための具体的な実装手法、および開発者が陥りやすい注意点について詳しく解説します。
割り込み処理の基本概念とC言語での役割
割り込みとは、周辺機器の状態変化やタイマーの満了など、特定の事象が発生した際にCPUへ通知を行う仕組みです。
C言語で記述されたプログラムにおいて、この通知を受けて実行される関数を割り込みハンドラ（ISR: Interrupt Service Routine）と呼びます。
メインループによるポーリング制御と比較して、割り込み処理はCPUのリソースを効率的に活用できるという利点があります。
ポーリングでは常にフラグの状態を監視し続ける必要がありますが、割り込みを利用すればイベントが発生した瞬間だけ処理を行えば良いためです。
これにより、低消費電力化が求められるバッテリー駆動のデバイスなどにおいて、待機電力の削減にも大きく寄与します。
ハードウェア割り込みとソフトウェア割り込み
割り込みには大きく分けて、ハードウェアによるものとソフトウェアによるものの2種類が存在します。
ハードウェア割り込みは、ボタンの押下やセンサーの信号、通信モジュールからのデータ受信など、外部の物理的な変化に起因します。
一方、ソフトウェア割り込みは、プログラム内で特定の命令を実行した際や、システムコール、例外処理などによって意図的に発生させられます。
組み込み開発では主に、周辺レジスタの設定を通じてハードウェア割り込みを制御することが一般的です。
割り込みハンドラ（ISR）の実装手法
C言語で割り込みハンドラを実装する際、通常の関数とは異なる特殊な宣言が必要になる場合があります。
標準的なC言語の仕様には割り込み専用の構文が含まれていないため、多くの場合、コンパイラ独自の拡張機能（pragmaや属性）を使用します。
例えば、GCCコンパイラを使用する場合、__attribute__((interrupt))といった属性を付与することで、コンパイラにその関数がISRであることを伝えます。
この指定により、コンパイラは関数の開始時と終了時に、レジスタの退避と復帰を行うための特別なコードを生成します。
タイマー割り込みの実装例
以下に、一般的なマイコンを想定したタイマー割り込みの実装例を示します。
#include <stdint.h>
/* 割り込みで更新される共有変数 */
volatile uint32_t system_ticks = 0;
/* タイマー割り込みハンドラの定義（GCCの例） */
void __attribute__((interrupt)) Timer_ISR(void) {
/* 割り込みフラグのクリア（ハードウェア依存） */
CLEAR_TIMER_INTERRUPT_FLAG();
/* システムティックのカウントアップ */
system_ticks++;
}
int main(void) {
/* タイマーの初期化設定 */
Initialize_Timer();
/* 全局割り込みの許可 */
Enable_Global_Interrupts();
while (1) {
/* メインループでの処理 */
if (system_ticks > 1000) {
/* 1000ティック経過後の処理 */
Reset_System_Ticks();
}
}
return 0;
}上記のコードでは、タイマーが一定間隔で割り込みを発生させ、system_ticks変数をインクリメントしています。
ここで重要なのは、変数の宣言にvolatileキーワードを使用している点です。
割り込み処理における重要な注意点
割り込み処理を実装する際には、通常のプログラミングでは遭遇しない特有のバグや問題が発生しやすくなります。
これらを未然に防ぐためには、ハードウェアとメモリの関係を深く理解しておく必要があります。
volatile修飾子の使用
割り込みハンドラ内とメインループの両方でアクセスされる共有変数には、必ずvolatileを付与しなければなりません。
コンパイラは通常、変数の値がループ内で書き換えられないと判断すると、レジスタに値を保持してメモリへの再アクセスを省略する最適化を行います。
しかし、割り込みによって変数が書き換わる場合、コンパイラはそのタイミングを予測することができません。
volatileを指定することで、コンパイラに対して「この変数はプログラムの関知しないところで値が変わる可能性がある」と明示し、常にメモリから最新の値を読み込ませるようにします。
アトミック操作と競合状態
複数のバイトにまたがるデータ型（例えば32ビット整数や構造体）を共有する場合、競合状態（レースコンディション）が発生するリスクがあります。
8ビットマイコンなどで32ビット変数を読み取っている最中に割り込みが発生し、その値を書き換えてしまうと、読み取り結果が不正な値になることがあります。
このような「分割不可能な操作」を保証するために、共有変数にアクセスする間だけ一時的に割り込みを禁止するなどの対策が必要です。
| 手法 | メリット | デメリット |
|---|---|---|
| 割り込み禁止期間の設定 | 確実にアトミック性を保証できる | 割り込み応答遅延（ジッタ）が発生する |
| ダブルバッファリング | 読み書きの干渉を回避できる | メモリ使用量が増加する |
| アトミック型（stdatomic.h） | 標準的な記述で安全性を確保できる | 環境によってサポート状況が異なる |
組み込み開発における最適化手法
割り込み処理の品質は、システムのリアルタイム性に直結します。
ISRが長時間CPUを占有してしまうと、他の優先度の高い割り込みを妨げたり、メイン処理が停滞したりする原因となります。
ISRの短縮化とボトムハーフ処理
割り込みハンドラ内で行う処理は、最小限の重要な操作のみに留めるのが鉄則です。
データのバッファリングやフラグの設定だけをISRで行い、時間のかかる計算や複雑なロジックはメインループで実行するように設計します。
この概念は、LinuxカーネルなどのOS設計において「トップハーフ（ISR）」と「ボトムハーフ（遅延処理）」として知られています。
例えば、通信割り込みであれば、ISRでは受信レジスタからデータを読み出してキューに積むだけで終了させます。
その後のデータの解析や応答の作成は、メインループ側のタスクとして処理させることで、次の割り込みを即座に受け入れられる状態を維持します。
スタック消費の抑制
割り込みが発生すると、CPUは現在のレジスタ状態をスタックに退避させます。
ISR内で大きなローカル変数を定義したり、深い関数呼び出しを行ったりすると、スタックオーバーフローを引き起こす危険性があります。
特にリソースの限られたマイコン開発では、ISR内部での関数呼び出しは極力避けるか、インライン関数を利用してオーバーヘッドを削減することが推奨されます。
再入可能（リエントラント）な設計
複数の割り込みから呼び出される可能性のあるライブラリ関数は、再入可能（リエントラント）である必要があります。
静的（static）な変数やグローバル変数を使用する関数は、実行中に別の場所から再度呼び出されると内部状態が壊れてしまいます。
C標準ライブラリのstrtokなどは再入可能ではない典型的な例であり、割り込み駆動のシステムでは使用に注意が必要です。
割り込み処理の検証とデバッグ
割り込みに関連するバグは再現性が低く、デバッグが極めて困難な場合が多いです。
特定のタイミングでしか発生しないため、通常のステップ実行では問題が見つからないことも珍しくありません。
オシロスコープやロジックアナライザの活用
割り込みの実行頻度や処理時間を正確に把握するためには、ハードウェアツールが有効です。
ISRの入り口でGPIOピンをHighにし、出口でLowにすることで、その実行時間を物理的に測定することができます。
これにより、ISRがCPU時間の何パーセントを占有しているかを視覚的に確認でき、最適化の指針となります。
静的解析ツールとコードレビュー
volatileの欠落や、非アトミックなアクセスは静的解析ツールで見つけることが可能です。
MISRA Cなどのコーディング規約を導入することで、割り込みにまつわる潜在的なリスクを設計段階で排除することができます。
また、チーム内でのコードレビューにおいて、共有リソースへのアクセス経路を網羅的に確認することも不可欠です。
まとめ
C言語における割り込み処理の実装は、組み込みシステムの性能と信頼性を支える土台となります。
ISRを可能な限り短く保ち、共有変数には適切にvolatile修飾子を付与し、アトミック性を意識した設計を行うことが基本です。
また、コンパイラの最適化挙動やスタック消費などのハードウェアに近いレイヤーへの理解が、より高度な最適化を可能にします。
本記事で紹介した手法と注意点を指針として、堅牢で効率的な組み込みプログラムの開発に取り組んでください。
適切に設計された割り込み処理は、限られたリソースの中で最大限のパフォーマンスを引き出す鍵となるはずです。