汎用機の深淵：FIXED BINARYとFIXED DECIMALの静かなる闘争
メインフレームの現場で「なぜ計算結果が合わないのか」という問いに直面したとき、多くのエンジニアはまずレコード構造やDB2の定義を疑う。しかし、PL/Iにおいて最も裏切り行為を働くのは、コンパイラによる「暗黙の型変換」だ。
特に、`FIXED BINARY`（二進整数）と`FIXED DECIMAL`（十進数/パックデシマル）の混在演算は、レガシーシステムの移行やバッチ改修において、最も「死体」を量産してきた魔の領域である。今日は、この数値型の摩擦と、それがもたらすアベンドのリスクについて、設計の視点から掘り下げよう。
—
1. コンパイラの「親切心」が招く悲劇：型昇格のメカニズム
PL/Iのコンパイラは、演算においてどちらかのデータ型に合わせる必要がある際、一定のルールで型昇格を行う。通常、`FIXED BINARY`と`FIXED DECIMAL`が混在した場合、コンパイラは十進演算（Decimal Arithmetic）を優先する傾向がある。
なぜこれが問題なのか？
`FIXED BINARY`はCPUのレジスタ演算と親和性が高いが、`FIXED DECIMAL`はIBMメインフレーム特有のパックデシマル形式としてメモリ上に展開される。混在演算が発生すると、内部的にバイナリをデシマルへ変換するルーチンが呼び出される。この際、精度（Precision）の定義が曖昧だと、中間結果が桁あふれを起こしたり、予期せぬ丸め誤差が発生するのだ。
/i
/ 不穏な混在演算の例 /
DCL BIN_VAL FIXED BIN(15) INIT(100);
DCL DEC_VAL FIXED DEC(5,2) INIT(10.50);
/ ここで中間結果の型はコンパイラオプションのRULES(NOCONV)等に依存する /
/ 最悪の場合、意図しない精度切り捨てが発生する /
DCL RESULT FIXED DEC(7,2);
RESULT = BIN_VAL DEC_VAL;
/
- テックリードの視点：
- 演算前に必ずCASTを行うのが鉄則。
- DEC_VAL = DEC_VAL + BIN_VAL; ではなく、
- DEC_VAL = DEC_VAL + FIXED(BIN_VAL, 5, 0); のように明示せよ。
/
—
2. 実務におけるエッジケース：ダンプ解析とパックデシマル
CICSオンライン処理で突然の`S0C7`（データ例外）アベンドが発生した経験はないだろうか。原因の多くは、演算結果が物理的に不正なパックデシマル形式（例えば、符号部が`C`や`D`以外の値になっている）になったことによる。
特に、`FIXED BINARY`を`FIXED DECIMAL`へ強制的にコピーするような古いインターフェース定義が存在する場合、DB2への`INSERT`時にアベンドする。
解決の鍵：コンパイラオプションと最適化
移行設計においては、以下のオプションを確認することが不可欠だ。
- `RULES(NOCONV)`: 暗黙の型変換を警告・エラーにする。これがないと、型変換のコストを無視してコンパイラが勝手なコードを生成する。
- `LIMIT(FIXEDDEC(15))`: 計算精度を固定し、中間バッファの暴走を防ぐ。
もしダンプが出たならば、`CEE3849I`などのメッセージと共に、該当変数の内部表現を16進数で追え。パックデシマルの下位4ビットが符号であるという基本に立ち返れば、バグの所在は必ず見えてくる。
—
3. マイグレーションに向けた「防衛的設計」
JavaやC#への移行を控えている場合、PL/I側のロジックをそのまま移植してはならない。Javaの`BigDecimal`はPL/Iの`FIXED DEC`よりも厳密なスケーリングを要求するからだ。
推奨するリファクタリング手法
1. 演算の局所化: 混在演算を行う箇所を、明示的な型変換関数（自作のサブルーチンやマクロ）で囲む。
2. ポインタによるメモリ操作の排除: `BASED`変数を用いた動的メモリ操作を行っている箇所は、マイグレーション時に地雷となる。可能な限り`STRUCTURE`定義へ戻し、レイアウトを明示せよ。
3. DB2埋め込みSQLとの整合性: SQLの演算結果がPL/I変数にマップされる際、`DECIMAL`の精度が一致しているか徹底的に検証せよ。ホスト変数の精度不一致は、実行時の変換オーバーヘッドを招き、パフォーマンス劣化の主因となる。
—
結びに代えて：アーキテクトの矜持
「コンパイラがよしなにやってくれる」という時代は終わった。基幹システムの保守・移行において、我々が果たすべき役割は、ブラックボックス化されたコンパイラの挙動を解き明かし、誰が読んでも挙動が明白なコードへと再構築することだ。
`FIXED BINARY`と`FIXED DECIMAL`の混在。それは単なる数値型の問題ではない。ハードウェアの歴史と、言語仕様の進化が交差する「境界線」そのものなのだ。次にアベンドが発生したとき、そのスタックトレースの向こう側に、コンパイラが生成した最適化の残骸を見抜けるようであってほしい。
技術は常に、厳密な定義の上にのみ成立する。それが、メインフレームを渡り歩く我々の流儀だ。
