论文部分内容阅读
针对如何分解操作系统内核实验难度的问题,提出一种基于内核调试和抽象精化思想的实验设计方法,该方法聚焦几条内核执行路径,通过调试观察该路径在不同抽象程度的表现,从高层抽象开始,逐步加入更多的观察细节,直至完整的复杂底层状态,最后在分析和理解的基础上对内核进行改写。
基于内核调试与抽象精化的操作系统实验设计
【摘 要】
：
针对如何分解操作系统内核实验难度的问题,提出一种基于内核调试和抽象精化思想的实验设计方法,该方法聚焦几条内核执行路径,通过调试观察该路径在不同抽象程度的表现,从高层
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机教育
【发表日期】
：
2019年8期
【基金项目】
：
国家自然科学基金集成项目(91318301).
其他文献
资料与方法2004年6月-2007年5月收治蛛网膜下腔出血25例，男16例，女9例；20～30岁1例，30～40岁6例，40～50岁8例，50～60岁5例，60岁以上5例；发病前明确有高血压病史15例；体力劳动者15例，脑力劳动者1
自“健康龙华”战略全面实施以来,龙华区卫生健康局坚持贯彻落实国家,省、市深化医改决策部署,紧紧围绕区委区政府中心工作,认真落实新时代卫生健康工作方针,抓重点,补短板,
摘 要 报告2例脑瘫患者烧伤后的护理,加强对脑瘫烧伤患者的综合性护理。经有针对性的心理护理、创面护理、皮肤护理及康复锻炼,保持正确姿势,预防泌尿系感染,患者创面无明显受压、感染、加深,21天痊愈出院。 关键词 脑瘫 烧伤 护理 doi:10.3969/j.issn.1007-614x.2010.26.001 脑瘫患者大部分生活不能自理,烧伤后不能有效配合医生治疗,护理不当给治疗带来很多不
陇中半干旱区具有雨热同季，土壤富含钾，无污染，这与马铃薯生长期需水、需肥规律和对光照的要求相吻合，尤其是渭河、洮河等区域土层厚，地势平坦，肥沃度高，有机质含量高，全氮、速效磷、