装上这个软件,主人再也不用担心我会死机
通常,电脑完全不响应时,程序是进入了一种“无限循环”,它将不断重复执行一段单一的代码。在第25届面向对象编程的欧洲会议上,来自美国麻省理工学院计算机科学和人工智能实验室(CSAIL)的研究人员展示了一款新工具,它能够自动中断程序的死循环,并跳出无限循环时运行的代码,执行下一行代码。在测试中,他们的系统能够恢复5种不同的程序至稳定状态,此时数据能够被保存,程序也能安全退出。
一款商业软件通常包含数万个循环,一个微小的代码错误都将导致都将导致其进入死循环,而这时计算机是不知道何时停止的。计算机科学教授马丁·里纳德(Martin Rinard)和他的研究生们研发出了一款名为“Jolt”的软件,它可以通过监测程序所使用的内存来识别出死循环。当程序进入死循环时,“Jolt”可在每次循环迭代后对计算机内存进行一系列的“快照”。
“快照可能不尽相同,它是电脑运算的指示器。如果它始终保持统一状态,那么系统明显进入了死循环。”论文的第一作者迈克尔·卡宾(Michael Carbin)说道。
“Jolt”需要与编译器共同工作,编译器可以将高级语言转换为计算机可识别的基本指令。在应用程序经过编译后,“Jolt”将对源代码中的所有循环的头尾做上标记。如果之后程序进入停滞状态,它只需令程序执行该循环后的首行指令即可。
然而,监视程序中的所有循环将导致程序运行速度下降7-8%,卡宾说道。而且,让商业软件开发人员在写源代码并编译链接为可执行文件时使用“Jolt”可能是件难以完成的任务。所以实验室的研究人员正着手开发新的版本,它可以直接运行在编译完成的程序上(其中的指令完全由定长的二进制序列构成)。研究人员表示这种二进制版本的“Jolt”将被命名为“Bolt”。
刊物: | 麻省理工学院网站8月2日 |
---|---|
导读者: | 小杨 |
原文: | 请看这里 |
(果壳环球科技观光团微博 http://t.sina.com.cn/guokrdigest )