twocentplain piše u sa izdanju MIT vijesti o trzaj, istraživački projekt osmišljen kako bi odmrzavanje softvera zaglavi u beskonačnu petlju (za podskup beskonačnog petlje). Ona koristi kombinaciju statičnih instrumentacije (koristeći LLVM) i nadzorno tijelo pokrenuti vrijeme da provjere programa države tijekom petlje iteracija, kada duple stanje je otkrivena dopušta korisniku da poduzme jedan nekoliko akcija kako bi izbjegao omču. Autori tvrde da radi dovoljno dobro da program često može nastaviti s radom ispravno. Izvorni članak sadrži detaljne studije slučaja.
Pročitajte više ove priče na Slashdot.
Nema komentara:
Objavi komentar