【技术实现步骤摘要】
本申请涉及处理器，尤其涉及一种处理器页表修改引起缺页异常的验证方法及装置。
技术介绍
1、处理器引入缺页异常(page fault)是因为操作系统内核引入的虚拟内存使得程序无法直接访问物理内存，访问虚拟内存时需要通过处理器对页表修改完成。
2、模拟器都是行为级的模拟，并不涉及各种队列，所以模拟器的存数指令的执行结果，对页表的修改是即时可见的。而待验证处理器的部分结果对页表的修改是不可见的。
3、因此，在没有使用同步指令的情况下，会造成模拟器的模拟与待验证处理器的仿真对于处理器页表修改引起缺页异常的行为无法对齐分析，造成结果比对困难。
技术实现思路
1、本申请旨在至少在一定程度上解决相关技术中的技术问题之一。
2、为此，本申请的第一个目的在于提出一种处理器页表修改引起缺页异常的验证方法，以实现模拟器对处理器行为的验证。
3、本申请的第二个目的在于提出一种处理器页表修改引起缺页异常的验证装置。
4、本申请的第三个目的在于提出一种电子设
5本文档来自技高网...
【技术保护点】
1.一种处理器页表修改引起缺页异常的验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述对所述存数指令进行写跟踪，以确定所述页表的修改结果，包括：
3.根据权利要求2所述的方法，其特征在于，所述脏位对应有第一脏位数值和第二脏位数值，所述对所述页表执行所述存数指令，以确定所述页表对应的脏位，包括：
4.根据权利要求2所述的方法，其特征在于，所述方法还包括：
5.根据权利要求2所述的方法，其特征在于，所述方法还包括：
6.根据权利要求1所述的方法，其特征在于，所述对所述存数指令进行...
【技术特征摘要】
1.一种处理器页表修改引起缺页异常的验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述对所述存数指令进行写跟踪，以确定所述页表的修改结果，包括：
3.根据权利要求2所述的方法，其特征在于，所述脏位对应有第一脏位数值和第二脏位数值，所述对所述页表执行所述存数指令，以确定所述页表对应的脏位，包括：
4.根据权利要求2所述的方法，其特征在于，所述方法还包括：
5.根据权利要求2所述的方法，其特征在于，所述方法还包括：
6.根据权利要求1所述的方法，其特征在于，所述对所述存数指令进行写跟踪，以确定所述页表的修改结果，包括：
7.根据权利要求6所述的方法，其特征在于，所述方法还包括：
...【专利技术属性】
技术研发人员：郇丹丹，李祖松，
申请(专利权)人：北京微核芯科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。