精彩纷呈的用户程序

本节需要更多的RTFMopen in new window来学习多媒体库的使用,当你足够熟练的时候,也许你也能写出NVBOARDopen in new window。同时需要现更多功能来支持Navy中的应用程序,运行仙剑奇侠传。南京大学的操作系统课程实现了一些基于AM的小游戏open in new window, 尝试在NAVY上运行。

可选:自制小游戏

参考 amgameopen in new window

为了提升效率,你还需要实现更多的基础设施:自由开关Difftest模式和快照,展示批处理系统等等。

根据PA讲义完成除选做之外的内容,完成必答题

直到你看到如下提示框:

温馨提示

PA3到此结束...

在NPC中运行仙剑奇侠传

到目前为止,我们已经实现了PA3的全部内容。 我们需要在NPC上通过DPI-C机制运行仙剑奇侠传,验证自己的处理器代码。

验证自己的NPC——先完成后完美

在B线的PA和NPC中,我们往往会通过cpu-tests对代码进行测试。 有些同学可能会有疑问:为什么我的代码已经通过了cpu-tests的测试,但在后续实验中,例如运行仙剑时依然出现了difftest报错的问题呢? 事实上,如果大家阅读过cpu-tests的源码,可以看到其实这些测试只是一些很简单的程序。 也就是说,这些测试程序的强度很弱,完备性很差,往往并不能检测出代码中存在的错误。

在PA和一生一芯的讲义中多次提到,大家可以编写自己的测试集。 我们可以针对一些边界情况、特殊情况进行单独测试,尽量保证代码的正确性。 如果我们的代码无法通过这些测试,一定可以说明我们的代码中存在问题;但即使我们的代码通过了全部测试,我们也无法保证代码是一定正确的。 感兴趣的同学可以学习一些形式化验证的相关内容,或许在未来,形式化验证也可以应用在我们的代码中。

在后续讲义中,我们会对NPC添加AXI总线、乘除法模块、高速缓存、流水线等相关内容,大家也会频繁对自己的处理器结构进行优化和改进。 倘若我们一直使用cpu-tests进行测试,由于cpu-tests的测试强度比较弱,在我们添加这些功能时,可能没有办法及时发现代码中隐藏的bug。 当我们实现所有的功能并优化处理器结构后,最终在NPC上运行仙剑奇侠传时,由于仙剑是比较复杂的程序,这些残留的bug可能会同时触发。 同时,由于这些bug分布在NPC的各个功能模块中,有些是关于总线,有些关于缓存,有些关于流水化,所有bug混杂在一起,导致调试十分困难。

因此,我们希望大家在NPC中添加每个功能之后,都通过运行仙剑奇侠传测试自己的代码。 一方面,仙剑是比较复杂的程序,比较容易检测出代码中的bug; 同时,我们也贯彻落实了先完成后完美的观念,每完成一个功能或模块都对该模块进行测试。 当我们实现AXI总线后,我们通过运行仙剑验证总线实现的正确性; 加入乘除法模块后验证乘除法模块的正确性; 添加高速缓存后验证cache实现的正确性; 接入流水线后验证流水线的正确性。 这样,可以把bug尽量限制在比较小的范围内,方便我们的调试。

Last Updated:
Contributors: Miao Yuyang, myyerrol