こんにちは。IBMメインフレームの世界へようこそ。
JavaのガベージコレクションやCOBOLの固定長データ定義に慣れ親しんだ方にとって、PL/Iという言語は、まるで「職人が手入れし続ける古の巨大時計」のように見えるかもしれません。確かに、仕様は膨大で少しクセがありますが、一度その「理屈」を掴んでしまえば、これほどまでにメモリを自在に操れる言語は他にありません。
今日は、PL/Iのメモリ管理における「隠れた名脇役」、CONTROLLED変数と、その生存確認を行うALLOCATION関数についてお話しします。
—
1. CONTROLLED変数って、何者？
Javaのインスタンスのように、必要な時にだけメモリを確保し、不要になったら捨てる。この「動的なメモリ管理」をメインフレームで実現するのが `CONTROLLED` 属性です。
COBOLの `WORKING-STORAGE` はプログラム開始時に領域が固定されますが、`CONTROLLED` を使うと、あなたのプログラムが「今、このデータが必要だ！」と宣言した瞬間にメモリが割り当てられます。
1
/ 宣言の例 /
DCL MY_DATA CHAR(100) CONTROLLED;
これだけでは、まだメモリ上には何も存在しません。ただの「名前（箱の形）」が定義されただけです。実際にメモリを確保するには `ALLOCATE` 文を投げます。これが、Javaでいう `new` に相当する儀式ですね。
—
2. 「今、メモリにある？」を確認するALLOCATION関数
現場のバッチプログラムで最も恐ろしいのは、「メモリがないのに解放しようとして異常終了する（ABEND）」ことや、「二重に確保してメモリリークを引き起こす」ことです。
そんな時、「この変数、今メモリ上に実体があるの？」と確認するために使うのが `ALLOCATION` ビルトイン関数です。
なぜこれが重要なのか？
メインフレームのバッチ処理は、膨大なデータを扱うため、一度の誤ったメモリ解放が致命的な障害（S0C4など）に直結します。`ALLOCATION` 関数は、その変数が現在スタックに積まれている世代数を整数で返してくれます。
- `0` ならば：まだ確保されていない（ALLOCATE前）
- `1以上` ならば：確保されている
実践コード：安全な制御の例
実際に、現場でよくある「安全なデータ操作」のパターンを見てみましょう。
1
TEST_PROC: PROC OPTIONS(MAIN);
/ 制御変数(CONTROLLED)の宣言 /
DCL WORK_BUF CHAR(80) CONTROLLED;
/ 1. まだ確保されていないことを確認してからALLOCATE /
IF ALLOCATION(WORK_BUF) = 0 THEN DO;
ALLOCATE WORK_BUF;
PUT SKIP LIST(‘メモリを確保しました’);
END;
/ — 何らかの処理 — /
WORK_BUF = ‘PROCESSING_DATA’;
/ 2. 念のため確認してから解放（FREE）する /
IF ALLOCATION(WORK_BUF) > 0 THEN DO;
FREE WORK_BUF;
PUT SKIP LIST(‘メモリを安全に解放しました’);
END;
END TEST_PROC;
—
3. なぜ `ALLOCATION` を使うべきなのか？
「別に毎回ALLOCATEして、最後にFREEすればいいのでは？」と思われるかもしれません。しかし、複雑なメインフレームのジョブでは、処理の分岐条件によって「データがあったりなかったりする」ケースが多々あります。
そんな時、`ALLOCATION` 関数は「守護神」のように働いてくれます。
- 二重解放の防止: すでに解放済みのメモリを再度解放しようとすると、システムは容赦なくエラーを吐きます。`ALLOCATION` を挟むことで、それを未然に防げます。
- 動的な再利用: 大量のレコードを処理する際、古いデータを `FREE` して新しいデータを `ALLOCATE` し直すといった「メモリの使い回し」が、この関数のおかげで極めて安全に行えます。
—
最後に：怖がらなくて大丈夫です
PL/Iの `CONTROLLED` 変数と `ALLOCATION` 関数は、現代的な視点で見ると少し手間がかかるように感じるかもしれません。しかし、これは「メモリをシステム任せにせず、自分の手で完全にコントロールする」という、メインフレームならではの職人気質な作法なのです。
もし、調査中に「なぜこの変数がここでFREEされているのか分からない」という場面に出くわしたら、まずは `ALLOCATION` 関数の値をトレースしてみてください。プログラムが「今、どこに実体を持っているか」を教えてくれるはずです。
一つずつ、変数の生存期間（ライフサイクル）を紐解いていけば、必ず構造が見えてきます。応援していますよ！
