無限ループ脱出ツール「Jolt」 | スラド デベロッパーマサチューセッツ工科大学が無限ループに陥ったソフトウェアを「ループから脱出させる」ツールを開発したそうだ (MIT news の記事、本家 /. 記事より) 。 「Jolt」と名付けられたこのツールはLLVM (Low Level Virtual Machine ) を使った静的計測とランタイム監視を組み合わせ、ループ反復時のメモリ状態を比較することで無限ループに陥ったかどうかを判断するという。Jolt はプログラムコンパイル時にプログラムのループ開始箇所と終了箇所をマーキングし、ループ処理が行き詰まってしまった場合には処理をスキップし、次の処理へとプログラムを進めるとのこと。 ただし、Jolt で全てのループ処理をチェックするとプログラムの実行時間が 7 〜 8 % 遅くなるという難点もある。また商業ソフトウェアの開発者に Jolt の使用を求めることは難しいため、研究者らはコンパイルさ
