twocentplain skriver i med en MIT pressemelding om Jolt, et forskningsprosjekt er utformet for å frigi programvare sittende fast i en uendelig loop (for en undergruppe av uendelig loops). Den bruker en kombinasjon av statisk instrumentering (ved hjelp LLVM) og en driftstid watchdog som sjekker programmet tilstand under sløyfe iterasjon, når et duplikat tilstanden er oppdaget den tillater brukeren å ta en noen handlinger for å unnslippe løkken. Forfatterne hevder det fungerer godt nok til at programmet kan ofte fortsette fungerer. Den originale papir inneholder detaljerte case-studier.
Les mer i denne historien på Slashdot.
Ingen kommentarer:
Legg inn en kommentar