twocentplain scrive in un comunicato stampa del MIT su Jolt, un progetto di ricerca progettato per sbloccare il software bloccato in un ciclo infinito (per un sottoinsieme di loop infinito). Esso utilizza una combinazione di strumentazione statica (usando LLVM) e un cane da guardia fase di esecuzione, che controlla lo stato del programma durante iterazione del ciclo, quando uno stato duplicato è rilevato che permette all'utente di prendere una alcune azioni per sfuggire al ciclo. Gli autori sostengono che funziona abbastanza bene che il programma può spesso continuare a funzionare correttamente. Il documento originale contiene studi di casi dettagliati.
Per saperne di più di questa storia a Slashdot.
Nessun commento:
Posta un commento