твоцентплаин пише у са МИТ-вести ослобађање око јачи удар, истраживачки пројекат дизајниран да одмрзне софтвер заглави у бесконачну петљу (за подскуп бесконачне петље). Користи комбинацију статички инструменти (користећи ЛЛВМ) и време рада чувар који проверава програма државе у петља итерацију; када дупликат стање се открије дозвољава кориснику да један узме неколико акција да побегне петљу. Аутори тврде да ради довољно добро да се програм често настављају да ли правилно функционише. Оригиналног рада садржи детаљне студије случаја.
Прочитајте више ове приче на Сласхдот.
Няма коментари:
Публикуване на коментар