2012年12月5日 调试

调试Simics——在Simics上

由雅各布Engblom

Engblom_lg
简介

我经常编写和讨论Simics在调试多线程和多核系统中的并发bug和故障方面是多么有用。最近,我们在一个非常复杂的应用程序上证明了这一点,即Simics本身。这很好地展示了Simics的递归完整性,以及它在克服复杂软件中棘手的bug方面的有用性。

这个故事的开头是Simics中的一个bug,它由特定的Simics配置触发。Simics的目标是一台Power Architecture机器,运行一些裸金属测试代码来测试处理器模拟。偶尔,这种设置会导致Simics崩溃,因为Simics或模型中存在一些bug。这是一个很难追踪的bug,因为它只发生在50次左右的运行中。当附加调试器试图诊断它时,它总是不会发生(典型的Heisenbug)。

继续阅读> >

以前的决定论、模拟和飞翔的小猪
下一个对M2M的最大预测