twocentplain escreve com uma nota de imprensa do MIT sobre Jolt, um projeto de pesquisa de software projetado para descongelar preso em um loop infinito (para um subconjunto de loops infinitos). Ele usa uma combinação de instrumentação estática (usando LLVM) e um cão de guarda o tempo de execução que verifica o estado do programa durante a iteração do loop, quando um estado duplicado é detectado, ele permite ao usuário ter uma algumas ações para escapar do loop. Os autores afirmam que funciona bem o suficiente para que o programa muitas vezes podem continuar operando corretamente. O artigo original contém estudos de caso detalhados.
Leia mais desta história em Slashdot.
Nenhum comentário:
Postar um comentário