twocentplain kirjoittaa kanssa MIT lehdistötiedotteen noin Jolt, tutkimusprojektin tarkoitus vapauttaa ohjelmisto jumissa päättymättömään silmukkaan (Osalle ääretön silmukoita). Se käyttää yhdistelmä staattinen instrumentointi (käyttäen llvm) ja ajaa aika vahtikoira, joka tarkistaa ohjelmassa valtion aikana silmukan iteraatio, kun kahtena tila havaitaan se mahdollistaa käyttäjän ottaa yksi harvoista toimista paeta silmukka. Kirjoittajat väittävät, se toimii hyvin, että ohjelma voi usein jatkaa toimivat oikein. Alkuperäinen asiakirja sisältää yksityiskohtaisia tapaustutkimuksia.
Lue lisää tämän tarinan klo Slashdot.
Ingen kommentarer:
Send en kommentar