PL/Iの「メモリ再定義」を攻略する！DEFINED属性とアライメントの深淵
こんにちは。メインフレームの現場でPL/Iのコードを数十年見続けてきたシステムアーキテクトです。
JavaやCOBOLといった「型」や「構造」がしっかり決まった言語から来た方にとって、PL/I（ピーエル・ワン）のソースコードは、時に「なんでもありの魔法の書」のように見えるかもしれません。特に、「識別子（変数名）に予約語がない」という仕様は衝撃的ですよね。`IF`という名前の変数を作っても動いてしまうこの言語には、確かに独特の「慣れ」が必要です。
今回は、そんなPL/Iの中でも、特に強力でありながら、扱いを誤るとシステムを奈落の底へ突き落とすこともある「DEFINED属性」について、現場の知見を交えて解説します。
—
1. 予約語がない？PL/Iの自由すぎる世界
まず、PL/Iの懐の深さに触れておきましょう。多くのプログラミング言語では「予約語」があり、変数名として使えませんよね。しかし、PL/Iには原則として「予約語」という概念がありません。
コンパイラは「文脈（コンテキスト）」を見て、「ああ、ここはキーワードとして使われているんだな」と判断します。つまり、`DECLARE IF FIXED;` と書けば、`IF`という名前の変数が生成されます。
これは非常に自由ですが、バグの温床にもなります。だからこそ、我々アーキテクトは「宣言（DECLARE）は一箇所に固める」「命名規則を厳格にする」ことで、この自由すぎる言語を制御しているのです。
—
2. DEFINED属性：メモリを「別の顔」で覗き見る
さて、本題の「DEFINED属性」です。これは、「ある変数と同じメモリ領域を、別のデータ構造で参照する」ための機能です。
COBOLで言うところの `REDEFINES` に近いですが、PL/Iのそれはもっと自由奔放です。同じ住所（メモリ）に住んでいるのに、ある時は「数値」として振る舞い、ある時は「文字列」として振る舞う……そんな変身魔法をかけるようなイメージです。
実践：DEFINEDによるデータ再定義
例えば、「8バイトのエリア」を「1つのパック10進数」としても、「4つの文字」としても扱いたい場合、以下のように書きます。
/i
/ 8バイトのワークエリアを定義 /
DCL WORK_AREA CHAR(8);
/ 同じアドレスを別の型でマッピングする /
DCL MY_NUMBER PIC ‘9(7)V9’ DEFINED(WORK_AREA) POS(1);
DCL MY_CHAR CHAR(4) DEFINED(WORK_AREA) POS(5);
/
- 実際には、同じメモリ領域を指しているため、
- MY_NUMBERに値をセットすれば、それに対応するメモリが書き換わり、
- MY_CHARで読み取ると、そのビットパターンが文字として見える、というわけです。
/
この「POS(n)」は、ベースとなる変数の何バイト目から開始するかを指定します。これを使えば、複雑なファイルレイアウトをパズルのように組み替えることが可能です。
—
3. 現場で一番怖い「アライメント違反」の話
DEFINED属性を使う際、絶対に避けて通れないのが「アライメント（境界調整）」の壁です。
メインフレームのCPUは、効率のために「4バイトや8バイトの境界」にデータが配置されていることを好みます。例えば、フルワード（4バイト）の整数型変数は、必ず「4の倍数のアドレス」に配置されるのがルールです。
もし、`DEFINED`を使って、あえて「4の倍数ではない場所」から数値を読み込もうとするとどうなるか。
1. パフォーマンス低下: CPUが泣きながらデータを補正して読み込みます。
2. 異常終了（ABEND）: 設定やコンパイルオプションによっては、メモリアクセス例外が発生してジョブが即死します。
「怖くないですよ」と伝えるための対策
初心者の方は、「なぜかここで変な値が入る」「なぜか落ちる」と悩むはずです。その時は必ずソースコードの `DCL` 宣言を見直してください。型と配置位置が、ハードウェアの要求する「境界」をまたいでいないか？ を確認するだけで、問題の8割は解決します。
—
最後に：PL/Iはあなたの味方です
PL/IのDEFINED属性は、限られたメモリをやりくりしていた時代の遺産ですが、現代でも「生のバイナリデータを解析する」際などには欠かせない技術です。
「メモリを別の顔で覗く」という行為は、最初は戸惑うかもしれません。しかし、一つずつ「どこのメモリを、どう見ているのか」を紙に書き出しながら追ってみてください。PL/Iは決して意地悪な言語ではありません。ルールさえ守れば、最も効率的で強力なパートナーになってくれるはずです。
もし現場で「DEFINEDで訳が分からなくなった！」という時は、深呼吸してまずは宣言文の `POS` と型サイズを計算してみましょう。そこには必ず、答えが隠されていますよ。
それでは、また次回のレガシー探訪でお会いしましょう！
