基于内核调试与抽象精化的操作系统实验设计

摘要：

　　针对如何分解操作系统内核实验难度的问题，提出一种基于内核调试和抽象精化思想的实验设计方法，该方法聚焦几条内核执行路径，通过调试观察该路径在不同抽象程度的表现，从高层抽象开始，逐步加入更多的观察细节，直至完整的复杂底层状态，最后在分析和理解的基础上对内核进行改写。

关键词： 操作系统 内核调试 内核执行路径 抽象精化

作者: 文艳军 罗宇 李姗姗 刘江潮

作者单位: 国防科技大学 计算机学院,湖南 长沙 410073

会议类型: 国内会议

会议名称: 第二届计算机科学教育国际论坛

会议地点: 长沙

会议语种:中文

页码: 14-17

在线出版日期: 2019-05-12（万方平台首次上网日期，不代表论文的发表时间）