摘要：針對(duì)如何分解操作系統(tǒng)內(nèi)核實(shí)驗(yàn)難度的問(wèn)題,提出一種基于內(nèi)核調(diào)試和抽象精化思想的實(shí)驗(yàn)設(shè)計(jì)方法,該方法聚焦幾條內(nèi)核執(zhí)行路徑,通過(guò)調(diào)試觀察該路徑在不同抽象程度的表現(xiàn),從高層抽象開(kāi)始,逐步加入更多的觀察細(xì)節(jié),直至完整的復(fù)雜底層狀態(tài),最后在分析和理解的基礎(chǔ)上對(duì)內(nèi)核進(jìn)行改寫(xiě)。