miércoles, 12 de diciembre de 2018

Ficha del recurso:

Fuente:

Vínculo original en ACM Tech News

Fecha de publicación:

miércoles, 3 de agosto de 2011

Última actualización:

jueves, 4 de agosto de 2011

Entrada en el observatorio:

jueves, 4 de agosto de 2011

Idioma:

Inglés

Archivado en:


Defibrillator for Stalled Software

MIT News (08/02/11) Larry Hardesty

Massachusetts Institute of Technology (MIT) researchers have developed Jolt, software that automatically interrupts infinite loops and moves on to the next line of code in a computer program. Developed by MIT professor Martin Rinard and his graduate students, Jolt recognizes infinite loops by monitoring a program's memory usage. Jolt takes snapshots of the computer's memory at each iteration of a loop, and if the snapshots are the same, the program is clearly stuck in an infinite loop, says MIT graduate student Michael Carbin. Jolt marks the beginnings and ends of all of the loops in the source code as it is being compiled. If the application stalls, Jolt forces it to skip ahead to the first instructions following the loop it is stuck in. The researchers also are working on a binary version of Jolt called Bolt that can run on compiled programs. MIT graduate student Michael Kling has developed an algorithm that identifies the highest-level function in operation at a certain time, which helps Bolt orient itself. Rinard notes that even if Bolt cannot determine what function to jump to, it could randomly jump from one to another until it finds one that breaks the infinite loop.