twocentplain skriver in med en MIT pressmeddelande om Jolt, ett forskningsprojekt som syftar till att frigöra program fastnat i en oändlig loop (för en delmängd av oändliga loopar). Den använder en kombination av statisk instrumentering (med LLVM) och en körtid vakthund som kontrollerar det statliga under loop iteration, när en dubblett tillstånd upptäcks den tillåter användaren att ta ett några åtgärder för att undkomma slingan. Författarna hävdar att det fungerar tillräckligt bra att programmet ofta kan fortsätta sin verksamhet ordentligt. Den ursprungliga papper innehåller detaljerade fallstudier.
Läs mer om denna historia på Slashdot.
Inga kommentarer:
Skicka en kommentar