一种缓存一致性协议正确性验证方法专利登记公告

专利名称：一种缓存一致性协议正确性验证方法

摘要：本发明提供一种缓存一致性协议正确性验证方法，在计算机进入操作系统后，操作系统的核心及应用复杂性较高，不容易精确控制处理器行为，因此为保持验证正确性，需要在系统过程中嵌入缓存一致性协议验证程序，该程序嵌入在BIOS代码中，在系统初始化初期内存子系统初始化完成后，即开始执行验证程序，验证程序需要能够精确控制系统各处理器行为，并支持用户选择具体要执行的验证项，向用户反馈验证结果，该方法在系统级实现了对缓存一致性协议正确性的验证，能够完全涵盖真实系统所有应用场景，弥补了传统基于模拟方式的验证方法效率低、验证覆盖率

专利类型：发明专利

专利号：CN201210149223.5

专利申请（专利权）人：浪潮电子信息产业股份有限公司

专利发明（设计）人：乔英良

主权项：一种缓存一致性协议正确性验证方法,?其特征在于在计算机进入操作系统后，操作系统的核心及应用复杂性较高，不容易精确控制处理器行为，因此为保持验证正确性，需要在系统过程中嵌入缓存一致性协议验证程序，该程序嵌入在BIOS代码中，在系统初始化初期内存子系统初始化完成后，即开始执行验证程序，验证程序需要能够精确控制系统各处理器行为，并支持用户选择具体要执行的验证项，向用户反馈验证结果，因此，缓存一致性协议正确性验证方法的验证程序由如下几部分组成：基础库：包括处理器体系结构模块、处理器标识模块、缓存操作模块、内存操作

专利地区：山东