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

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

来源：计算机教育, 2019, (08): 14-17.

DOI：10.16512/j.cnki.jsjjy.2019.08.005

• 操作系统
• 内核调试
• 内核执行路径
• 抽象精化

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

• 单位
  国防科技大学