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