多核處理器訪(fǎng)存一致性的驗(yàn)證系統(tǒng)及方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN202210131860.3 | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN114168200B | 公開(kāi)（公告）日 | 2022-04-22 |
| 申請(qǐng)公布號(hào) | CN114168200B | 申請(qǐng)公布日 | 2022-04-22 |
| 分類(lèi)號(hào) | G06F9/30（2006.01）I;G06F30/20（2020.01）I | 分類(lèi) | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 李祖松;郇丹丹 | 申請(qǐng)（專(zhuān)利權(quán)）人 | 北京微核芯科技有限公司 |
| 代理機(jī)構(gòu) | 北京清亦華知識(shí)產(chǎn)權(quán)代理事務(wù)所（普通合伙） | 代理人 | 杜月 |
| 地址 | 100190北京市海淀區(qū)中關(guān)村東路66號(hào)1號(hào)樓10層1105-2 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本申請(qǐng)?zhí)岢鲆环N多核處理器訪(fǎng)存一致性的驗(yàn)證系統(tǒng)及方法，其中，該系統(tǒng)包括：仿真器、模擬器、檢查器和全局共享內(nèi)存，其中，仿真器，用于將存數(shù)指令存入與處理器核對(duì)應(yīng)的第一緩沖區(qū)，并將存數(shù)指令從與處理器核對(duì)應(yīng)的第一緩沖區(qū)中寫(xiě)入高速緩沖存儲(chǔ)器，以及將仿真器中的指令執(zhí)行結(jié)果發(fā)送給檢查器；模擬器，用于將存數(shù)指令存入與處理器核對(duì)應(yīng)的第二緩沖區(qū)，并將存數(shù)指令從與處理器核對(duì)應(yīng)的第二緩沖區(qū)中寫(xiě)入全局共享內(nèi)存，以及將模擬器中的指令執(zhí)行結(jié)果發(fā)送給檢查器；檢查器，用于對(duì)仿真器中的指令執(zhí)行結(jié)果和模擬器中的指令執(zhí)行結(jié)果進(jìn)行一致性驗(yàn)證。本申請(qǐng)實(shí)現(xiàn)了多個(gè)處理器核對(duì)訪(fǎng)存指令的定序，及仿真器和模擬器結(jié)果的可對(duì)比，從而驗(yàn)證仿真結(jié)果正確性。 |
