2011年8月3日星期三

转义无限循环

有趣的新闻的URL:http://rss.slashdot.org/~r/Slashdot/slashdot/~3/MaRg7hFKwR8/Escaping-Infinite-Loops:

twocentplain左右颠簸麻省理工学院发布的消息,一个研究项目,旨在解冻软件滞留在一个无限循环(无限循环的一个子集)中写道。它采用了静态仪器(使用LLVM)和运行时间的监视,检查程序的状态,在循环迭代的组合;当检测到重复的状态,它允许用户采取一些行动之一,跳出循环。作者声称,它的工作原理以及该方案往往能继续正常运行。原始文件包含详细的个案研究。


这个故事在Slashdot。






沒有留言:

發佈留言