プログラムの実行において、正常な実行過程に含まれない事象のこと。
例外の例
ファイルシステム
システム例外
- ヒープメモリ確保失敗
- I/Oエラー
- スタックオーバーフロー
- バッファオーバーフロー
Cなどでは、バッファオーバーフローが発生しても例外を発生させず、強制終了もしない。これが数々のセキュリティホールを生んだ。
MPUの例外
- 書込み禁止に指定したメモリに書き込もうとした
- マイクロプロセッサの命令として不正なものが与えられた(無効命令例外)
- 仮想記憶のページングに失敗
80x86シリーズでの例外は後述する。
処理方法
概要
例外は、それまでの処理の続行が不可能になった条件でのみ発生する。
そのため、例外が発生した場合は何らかの後始末が必要になる。この後始末のことを例外処理と呼ぶ。
軽微な例外であればプログラムやオペレーティングシステム(OS)が例外処理でその例外をリカバリすることも可能だが、致命的な例外の場合はプロセス、OS、ハードウェアを停止させる必要が出てくることもある。
技術
80x86
80x86シリーズで発生する例外は、次の通りである。
なお、例外の後の二桁の数値は16進数であり、また名称はMicrosoft Windowsで使用されているものである。
- 例外00 (除算違反)
プロセッサで0除算例外が発生した場合に、この例外が返される。
例えば0除算が試みられた場合、演算結果が出力オペランドに適合しない場合、などがある。
- 例外01 (デバッガ違反)
ブレークポイントやタスク切り替えトラップ等を検知した場合に返される。
- 例外02 (NMI割り込み)
ハードウェアのマスク不可割り込み(NMI)で使用される。
- 例外03 (ブレークポイントトラップ)
デバッガが設定したブレークポイントによって発生する。
- 例外04 (オーバーフロートラップ)
EFLAGSのOF(オーバーフローフラグ)が1の時にINTO命令が実行された場合に発生する。
- 例外05 (境界チェック違反)
BOUND命令のインデックスが範囲外の場合に発生する。
- 例外06 (無効なオペコード違反)
無効な命令を実行しようとした時に発生する。
- 例外07 (コプロセッサ利用不可違反)
数値演算コプロセッサが搭載されていないにも関わらず、浮動少数点型命令が実行された場合に発生する。
- 例外08 (ダブル フォールト)
例外エラー例外処理中に、別の例外が発生すると、この例外が発生する。
- 例外09 (コプロセッサ セグメント オーバーラン)
浮動小数点命令で、セグメントの終了位置を超えてメモリアクセスが発生すると、この例外が発生する。
逆に浮動小数点オペランドの開始アドレスがセグメント外の場合は、一般保護違反になる。
- 例外0A (無効なタスク状態セグメント)
タスクステートセグメント(TSS)内の何らかのディスクリプタ情報が無効であると、この例外が発生する。
- 例外0B (不在違反)
オペレーティングシステムで仮想記憶機能を使用時、「不在」とマークされたセグメントに対しアクセスされた場合に、この例外が発生する。
- 例外0C (スタック違反)
命令が、スタックセグメントの制限を超えるメモリを参照すると、この例外が発生する。
- 例外0D (一般保護違反)
他の例外に該当しない状態となると、この例外が発生する。
通常、そのプログラムは強制終了させられる。
- 例外0E (ページ違反)
「不在」に設定されたページにアクセスが発生したときに、この例外が発生する。
- 例外0F
将来用の予約。
- 例外10 (コプロセッサ エラー)
浮動小数点演算コプロセッサにアクセスできない場合に、この例外が発生する。
- 例外11 (アライメント チェック違反)
i486以降のプロテクトモードで、アライメントが必要な命令でアライメントされていな場合に、この例外が発生する。
