twocentplain píše se s zveřejněných MIT o náraz, výzkumný projekt, jehož cílem uvolnit software uvízl v nekonečné smyčce (pro část nekonečné smyčky). Používá kombinaci statické přístroje (pomocí LLVM) a běhu hlídacího psa, který kontroluje program státu během opakování smyčky, když je detekována duplicitní státu umožňuje uživateli, aby se před několika akcí uniknout smyčky. Autoři prohlašují, že to funguje docela dobře, že program může pokračovat často pracuje správně. Původní dokument obsahuje podrobné případové studie.
Přečtěte si více o tomto příběhu na Slashdot.
Žádné komentáře:
Okomentovat