writes in with an MIT news release about Jolt
, a research project designed to unfreeze software stuck in an infinite loop
(for a subset of infinite loops). It uses a combination of static instrumentation (using LLVM
) and a run time watchdog that checks the program state during loop iteration; when a duplicate state is detected it permits the user to take one a few actions to escape the loop. The authors claim it works well enough that the program can often continue operating properly. The original paper
contains detailed case studies.