1. 導入：なぜこの知識が重要か
メインフレームのPL/I開発において、数値計算は日常茶飯事です。しかし、「たかが整数の計算」と油断していると、ある日突然、合計金額がマイナスになるという深刻なバグに直面することがあります。これは、FIXED BINARY(31)の限界値を超えた際に発生する「符号反転」が原因です。本稿では、この現象のメカニズムと、安全なコードへの書き換え方を解説します。
2. 基礎知識：BIN(31)の仕組み
PL/Iで宣言する「FIXED BINARY(31)」は、コンピュータ内部で32ビットの領域を使用します。ここで重要なのは、最上位ビット（MSB）が「符号（プラスかマイナスか）」を示すために使われるという点です。
つまり、計算に使用できるのは残りの31ビットのみであり、表現可能な最大値は2,147,483,647（2の31乗マイナス1）となります。この値に1を加えると、符号ビットが反転し、計算結果が突然「-2,147,483,648」になってしまうのです。
3. 実装と解決策：SIZE条件の活用
PL/Iには、こうしたオーバーフローを検知する「SIZE」という条件機能があります。通常、コンパイルオプションやプログラム内でこの機能を有効にしておくことで、上限を超えた瞬間にプログラムを異常終了（または制御）させ、誤った金額で処理が進行するのを防ぐことができます。
4. サンプルプログラム
以下は、溢れが発生するケースと、それを防ぐためのチェックロジックの例です。
/ サンプルコード：オーバーフローの検知 /
DCL MAX_VAL FIXED BIN(31) INIT(2147483647);
DCL WORK_VAL FIXED BIN(31);
/ SIZE条件を有効にすることで、溢れ発生時にONCODE 310が発生 /
(SIZE): BEGIN;
WORK_VAL = MAX_VAL + 1; / ここでSIZE条件が発生し、異常終了またはON句へ飛ぶ /
END;
/ 安全な実装案：範囲チェックを行う /
IF MAX_VAL < 2147483647 THEN
WORK_VAL = MAX_VAL + 1;
ELSE
SIGNAL ERROR; / 独自のエラー処理へ分岐させる /
5. 応用・注意点
現場で最も怖いのは、SIZE条件が意図的にオフ（NOSIZE）にされている環境です。処理速度を優先するためにオフにするケースもありますが、金額計算を行う変数には決して適用しないでください。
また、Javaなどのオープン系言語と連携する場合、Javaの `int` 型も同様に32ビット（最大21億）である点に注意が必要です。メインフレーム側で計算結果をJava側に渡す際は、PL/Iの `FIXED BIN(63)`（64ビット）を使用するか、あらかじめ論理的な上限値チェックを行う設計が不可欠です。「金額はいつか必ず21億を超える」という前提で、桁数の設計を行うことが、熟練技術者のたしなみと言えるでしょう。
コメント