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

摘要：

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

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

分类号：G642(高等教育)

资助基金：国家自然科学基金集成项目91318301

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

页数：共4页

页码：14-17