導入
COBOL開発において、繰り返しの基本であるPERFORM UNTIL文。しかし、現場で遭遇するシステム障害の一つに「無限ループ」があります。特にバッチ処理でこれが発生すると、処理が停止せず、ジョブが異常終了したり、CPUリソースを食いつぶしたりする大惨事になりかねません。今回は、なぜ無限ループが起こるのか、そしてそれを防ぐための「論理的誠実さ」を伴う実装方法を解説します。
基礎知識
PERFORM UNTILは、指定した「条件式が真（TRUE）になるまで」処理を繰り返す制御構文です。ここで重要なのは、COBOLコンパイラは「いつか条件を満たすはずだ」という期待はしてくれないという点です。条件評価に使用する変数が、ループ内部で適切に更新されなければ、条件式は永遠に偽（FALSE）のままとなり、プログラムは同じ場所を回り続けることになります。
実装/解決策
無限ループを回避する鉄則は「ループ内の各パスで、必ず終了条件に関与する変数を更新する」ことです。特に注意すべきは、IF文などの条件分岐が存在する場合です。一部のルートで変数が更新されないままループ先頭に戻ると、無限ループの温床となります。必ず「どのルートを通っても変数が更新される」あるいは「ループの出口が明確に定義されている」状態を保ってください。
サンプルプログラム
以下は、ファイル読み込み処理における無限ループを回避するための安全な実装例です。
IDENTIFICATION DIVISION.
PROGRAM-ID. LOOP-SAFE-SAMPLE.
DATA DIVISION.
WORKING-STORAGE SECTION.
01 WS-COUNT PIC 9(03) VALUE 0.
01 WS-EOF-FLAG PIC X(01) VALUE ‘N’.
88 IS-EOF VALUE ‘Y’.
PROCEDURE DIVISION.
> カウンタが10に達するか、EOFフラグがYになるまでループ
PERFORM UNTIL WS-COUNT >= 10 OR IS-EOF
ADD 1 TO WS-COUNT
> 何らかのロジックをここに記述
DISPLAY “現在のカウント: ” WS-COUNT
> 条件変数を更新するロジックを必ず通す
IF WS-COUNT = 5
SET IS-EOF TO TRUE
END-IF
END-PERFORM.
DISPLAY “ループ終了”.
STOP RUN.
応用・注意点
現場でよくある失敗として、「複雑なネスト内での更新漏れ」があります。特に、多重のIF文やEVALUATE文の中にループ継続条件の更新を隠してしまうと、後から修正する際に「更新処理をスキップしてしまう」バグを生みがちです。
回避策として、可能な限り「条件更新用の変数は、ループの冒頭か末尾の分かりやすい位置で一元的に更新する」か、あるいは「EXIT PERFORM文を活用して、ループの途中で強制的に脱出する」という選択肢も持っておきましょう。特に複雑な計算が必要な場合は、フラグ管理を徹底し、論理的なデッドロックを避ける設計を心がけてください。
コメント