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

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