twocentplain skryf in met 'n MIT nuusvrystelling oor Jolt,' n navorsingsprojek te unfreeze sagteware ontwerp vas in 'n oneindige lus vir' n subset van oneindige loops. Dit gebruik 'n kombinasie van statiese instrumentasie (gebruik LLVM) en' n draai waghond wat die program toestand tydens die herhaling van die lus tjeks, wanneer 'n duplikaat staat is opgespoor, dit toelaat dat die gebruiker' n paar aksies te neem om die lus om te ontsnap. Die skrywers beweer dit werk goed genoeg is dat die program kan dikwels die werking behoorlik. Die oorspronklike vraestel bevat gedetailleerde gevallestudies.
Lees meer van hierdie storie op Slashdot.
No comments:
Post a Comment