【COBOL学習｜豆知識】RECURSIVEプログラムの落とし穴！スタックオーバーフローをモダンCOBOLで賢く回避する方法

1. 導入：再帰処理の魅力と潜む危険性

COBOLでもRECURSIVE指定により、プログラム自身を呼び出す「再帰処理」が利用できるようになりました。これにより、複雑なデータ構造の探索や、階層的な処理を elegant に記述できるようになります。しかし、再帰処理は便利である反面、不用意に呼び出しを繰り返すと、プログラムが使用できるメモリ領域（スタック領域）を使い果たしてしまう「スタックオーバーフロー」という致命的なエラーを引き起こす可能性があります。
かつてのCOBOLでは、このスタックオーバーフローが発生すると、OSレベルでの異常終了（アベンド）となり、原因特定や復旧が困難なケースが多くありました。しかし、モダンCOBOL（COBOL 2002以降）では、このスタックオーバーフローをプログラム側で検知し、安全な終了処理へと導くことが可能になりました。本記事では、このモダンCOBOLの機能に焦点を当て、再帰プログラムにおけるスタックオーバーフローの言語的な扱いについて解説します。

2. 基礎知識：スタックと再帰処理、そして例外処理

2.1 スタックとは？

スタックとは、プログラムが関数呼び出しやローカル変数の情報を一時的に保存するためのメモリ領域のことです。データ構造としては「後入れ先出し（Last In First Out – LIFO）」という特徴を持ち、関数が呼び出されるたびに新しい情報がスタックの「トップ」に積まれ、関数から戻る際にその情報が取り除かれます。再帰処理では、プログラム自身が何度も呼び出されるため、スタック領域を消費し続けます。

2.2 再帰処理とスタックオーバーフロー

再帰処理は、ある関数が自分自身を呼び出す処理です。例えば、階乗を計算する際に、`factorial(n)` が `factorial(n-1)` を呼び出すような場合です。このとき、関数呼び出しごとにスタック領域に情報が積まれます。もし、再帰呼び出しの終了条件が適切に設定されていなかったり、非常に深い階層まで呼び出しが続いたりすると、スタック領域が上限に達し、スタックオーバーフローが発生します。

2.3 例外処理とは？

例外処理とは、プログラムの実行中に発生する予期せぬエラー（例外）を検知し、そのエラーが発生した場合の代替処理を記述する仕組みです。これにより、エラー発生時にプログラムが強制終了するのを防ぎ、より graceful な対応が可能になります。モダンCOBOLでは、この例外処理の仕組みを利用して、スタックオーバーフローのようなシステム的なエラーも捕捉できるようになりました。

3. 実装/解決策：スタック枯渇例外のハンドリング

モダンCOBOLでは、`TRY` / `CATCH` 構文を用いて例外処理を実装します。スタックオーバーフローに相当する例外を捕捉することで、OSのアベンドに丸投げするのではなく、プログラム側でメモリ不足を検知し、安全な終了処理へ導くことが可能になります。

具体的には、再帰処理を含む処理ブロックを `TRY` ブロックで囲み、スタックオーバーフローが発生した場合に実行される処理を `CATCH` ブロックに記述します。スタックオーバーフローは、通常 `SIZE ERROR` や、より一般的な `ARITHMETIC-ERROR`、あるいは特定のランタイム例外として扱われることがあります。使用しているCOBOLコンパイラや実行環境によって、捕捉すべき例外のタイプが異なる場合があるため、ドキュメントを確認することが重要です。

ここでは、一般的な例外処理の考え方に基づいた擬似的なコード例を示します。

4. サンプルプログラム：スタックオーバーフローを検知し、安全に終了する例

以下のサンプルプログラムは、再帰的に数値を減算していく処理を模倣し、スタックオーバーフローが発生する可能性のある状況を想定しています。`TRY` / `CATCH` を使用して、例外発生時にエラーメッセージを表示し、安全に終了する例です。

IDENTIFICATION DIVISION.
PROGRAM-ID. RECURSIVE-STACK-SAMPLE.
AUTHOR. A VETERAN COBOL ENGINEER.

このプログラムは、RECURSIVE指定されたプログラムにおける
スタックオーバーフローの可能性と、それをモダンCOBOLの
例外処理で捕捉する例を示します。

DATA DIVISION.
WORKING-STORAGE SECTION.
01 WS-RECURSION-DEPTH PIC 9(4) VALUE 0.
01 WS-MAX-DEPTH PIC 9(4) VALUE 50000. > スタック枯渇を誘発する可能性のある最大深度
01 WS-ERROR-MESSAGE PIC X(100).

PROCEDURE DIVISION.
MAIN-PROCEDURE.
DISPLAY “— 再帰処理開始 —“.

PERFORM RECURSIVE-SUBROUTINE
VARYING WS-RECURSION-DEPTH FROM 1 BY 1
UNTIL WS-RECURSION-DEPTH > WS-MAX-DEPTH
END-PERFORM.

DISPLAY “— 再帰処理正常終了 —“.
STOP RUN.

再帰的に呼び出されるサブルーチン

RECURSIVE-SUBROUTINE.
DISPLAY “現在深度: ” WS-RECURSION-DEPTH.

> ここで例外処理ブロックを開始
TRY
> 再帰呼び出し
IF WS-RECURSION-DEPTH < WS-MAX-DEPTH PERFORM RECURSIVE-SUBROUTINE END-IF CATCH SIZE-ERROR OR ARITHMETIC-ERROR > スタックオーバーフローに相当する可能性のある例外
MOVE “スタックオーバーフローが発生しました！” TO WS-ERROR-MESSAGE
DISPLAY “ エラー: ” WS-ERROR-MESSAGE “”
DISPLAY “安全な終了処理を実行します。”
> ここで、例えばファイルクローズやリソース解放などの
> クリーンアップ処理を記述できます。
STOP RUN WITH ABEND-CODE 12 > 例外コードを指定して終了
END-TRY.

> 再帰から戻る際の処理（ここでは何もしない）
EXIT.

注意: 上記の CATCH 句における例外タイプは、
使用するCOBOLコンパイラや実行環境によって
異なる場合があります。
実際の環境では、コンパイラのドキュメントを参照し、
適切な例外タイプを指定してください。
例えば、特定のランタイム例外クラスが定義されている場合もあります。

サンプルコードの解説:

`RECURSIVE-SUBROUTINE` は、`RECURSIVE` 指定されたプログラム（またはサブルーチン）として動作します。
`WS-MAX-DEPTH` は、意図的にスタックオーバーフローを誘発する可能性のある値に設定しています。実際のアプリケーションでは、この値は慎重に決定する必要があります。
`TRY` ブロック内で再帰呼び出しを行っています。
`CATCH SIZE-ERROR OR ARITHMETIC-ERROR` の部分で、スタックオーバーフローに相当する可能性のある例外を捕捉しようとしています。
例外が発生した場合、エラーメッセージを表示し、`STOP RUN WITH ABEND-CODE` で、例外コードを指定してプログラムを終了させます。これにより、異常終了ではあるものの、プログラム側で原因を検知し、一定の処理を行った上での終了となります。

5. 応用・注意点：現場で役立つ補足情報

5.1 例外タイプの確認は必須

前述の通り、`CATCH` で捕捉すべき例外タイプは、COBOLコンパイラや実行環境によって異なります。`SIZE ERROR` や `ARITHMETIC-ERROR` が一般的に使われますが、より詳細なランタイム例外クラスが提供されている場合もあります。必ずお使いの環境のドキュメントを確認し、正しい例外タイプを指定してください。捕捉できない例外を指定しても、期待通りに動作しません。

5.2 無限再帰に注意！

スタックオーバーフローの根本原因は、再帰呼び出しの終了条件が満たされない「無限再帰」です。プログラム設計段階で、再帰の終了条件を明確かつ確実に定義することが最も重要です。デバッグ時には、再帰深度をログに出力するなどして、意図しない深い再帰呼び出しが発生していないかを確認しましょう。

5.3 性能への影響

例外処理の実行は、通常、例外が発生しなかった場合の処理よりもオーバーヘッドが大きくなります。スタックオーバーフローが発生するような状況は、そもそもプログラムの設計に問題がある場合がほとんどです。例外処理はあくまで「保険」と考え、通常は再帰呼び出しが安全な範囲で完了するように設計することが望ましいです。

5.4 OSアベンドとの違い

モダンCOBOLの例外処理によるスタックオーバーフローの捕捉は、OSレベルでのアベンド（異常終了）とは異なります。OSアベンドは、システムリソースの枯渇など、プログラム自身では制御できないレベルのエラーで発生することが多いですが、ここで説明した例外処理は、COBOLランタイムがスタック領域の枯渇を検知し、プログラムに通知する仕組みです。これにより、プログラム側で「エラー発生」を認識し、クリーンアップ処理を実行した上で終了することができるのです。

再帰処理は強力な機能ですが、その特性を理解し、モダンCOBOLの例外処理機能を活用することで、より堅牢なプログラムを開発することができます。ぜひ、この知識を現場で活かしてください。