亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        功能精確型多核處理器參考模型設(shè)計(jì)

        2013-12-02 14:12:46紀(jì)麗婧汪國鋒周曉慧
        關(guān)鍵詞:參考模型時(shí)序指令

        紀(jì)麗婧,汪國鋒,周曉慧

        (1.杭州電子科技大學(xué)自動(dòng)化學(xué)院,浙江 杭州310018;2.浙江省福利彩票發(fā)行中心技術(shù)部,浙江 杭州310012)

        0 引 言

        嵌入式產(chǎn)品應(yīng)用的日益復(fù)雜促使系統(tǒng)對(duì)處理器的性能需求越來越高,多核處理器已逐漸成為嵌入式系統(tǒng)應(yīng)用的主要選擇之一[1]。復(fù)雜的多核處理器及其高速緩存一致性使得其功能驗(yàn)證愈加龐大[2]。為在驗(yàn)證中盡早發(fā)現(xiàn)設(shè)計(jì)缺陷,如何構(gòu)建和實(shí)現(xiàn)高效準(zhǔn)確的多核處理器參考模型已成為關(guān)鍵問題和重大挑戰(zhàn)[3-4]。現(xiàn)在主流的多核處理器參考模型分為時(shí)序精確型參考模型[5]、傳輸級(jí)精確型參考模型[6]和功能級(jí)精確型參考模型[7]。時(shí)序精確型參考模型的特點(diǎn)是:能精確模擬硬件細(xì)節(jié),能夠準(zhǔn)確評(píng)估多核處理器的性能,有利于同時(shí)追蹤功能和性能缺陷,但模型開發(fā)周期長,仿真時(shí)間長,不利于設(shè)計(jì)前期多核處理器的功能驗(yàn)證。傳輸級(jí)精準(zhǔn)型參考模型是在傳輸級(jí)精確型參考模型的基礎(chǔ)上進(jìn)行了抽象,忽略處理單元的時(shí)序信息,其仿真效率高于時(shí)序精確型參考模型,同時(shí)能準(zhǔn)確給出核心通信的性能。功能精確型參考模型在傳輸級(jí)精確型參考模型的基礎(chǔ)上進(jìn)一步抽象,只保證功能正確。其特點(diǎn)是:實(shí)現(xiàn)簡(jiǎn)單,仿真效率高。功能精確型參考模型雖然無法早期評(píng)估架構(gòu)的性能,但能夠?yàn)橛布O(shè)計(jì)提供功能結(jié)果的參考,在多核驗(yàn)證中被廣泛采用。在同構(gòu)多核處理器的驗(yàn)證中,高速緩存一致性一直是驗(yàn)證人員關(guān)注的重點(diǎn)和難點(diǎn)。能否提供高效的高速緩存一致性驗(yàn)證機(jī)制,直接影響到多核處理器的驗(yàn)證效率。當(dāng)前大部分功能精準(zhǔn)型多核參考模型只給出最終的執(zhí)行結(jié)果,無法精確地模擬硬件高速緩存一致性操作過程,這給錯(cuò)誤的追蹤帶來巨大的困難,顯著降低驗(yàn)證的效率。本文提出了一種新的功能精確型多核參考模型架構(gòu)和流程,本參考模型通過讀寫指令順序作為輸入,采用指令提前執(zhí)行模塊技術(shù)和高速緩存一致性模塊技術(shù)來精確模擬多核處理器硬件并發(fā)操作和高速緩存一致性功能。

        1 多核參考模型的架構(gòu)與流程

        多核處理器驗(yàn)證的典型流程如圖1所示,首先將測(cè)試激勵(lì)文件分別輸入到多核處理器和參考模型中,得到執(zhí)行結(jié)果后,再將兩者的執(zhí)行結(jié)果進(jìn)行對(duì)比,判斷設(shè)計(jì)是否正確。本文采取的就是這樣的流程。

        圖1 多核處理器驗(yàn)證流程

        本文提出的多核參考模型架構(gòu)如圖2所示,由6部分組成:序列文件處理模塊、處理器選擇模塊、處理器模塊、結(jié)果對(duì)比模塊、提前執(zhí)行模塊和高速緩存一致性模塊。序列文件處理模塊負(fù)責(zé)讀取并處理序列文件。為了精確模擬硬件高速緩存一致性,參考模型中讀寫指令的執(zhí)行順序與硬件的執(zhí)行順序保持一致,為此,引入了序列文件。在序列文件中,所有讀寫指令按其訪問存儲(chǔ)器的先后順序排列,參考模型將嚴(yán)格按照序列文件中的順序執(zhí)行讀寫指令。序列文件中的信息包括:讀寫指令編號(hào)、處理器標(biāo)識(shí)(ID)、PC、指令訪問的地址和數(shù)據(jù)等信息。處理器選擇模塊用于選擇執(zhí)行下一條指令的處理器。如果當(dāng)前被選中的處理器要執(zhí)行的下一條指令為讀寫指令,且處理器與序列文件處理模塊提供的處理器ID不一致,處理器選擇模塊將切換處理器,序列文件中指示的處理器將被選中;否則,處理器選擇模塊不工作,被選中的處理器繼續(xù)執(zhí)行指令。

        圖2 參考模型架構(gòu)

        提前執(zhí)行模塊決定一條讀寫指令是否需要被提前執(zhí)行。若被選中的處理器要執(zhí)行的下一條指令為讀寫指令,其處理器ID與序列文件處理模塊提供的處理器ID 匹配,但PC與序列文件處理模塊提供的PC 不匹配,則序列文件處理模塊指示的指令將被提前執(zhí)行;否則,提前執(zhí)行模塊不工作。高速緩存一致性模塊負(fù)責(zé)維護(hù)高速緩存一致性,其接收并響應(yīng)處理器模塊發(fā)送的高速緩存一致性請(qǐng)求。提前執(zhí)行模塊和高速緩存一致性模塊是多核處理器參考模型的兩個(gè)關(guān)鍵模塊,確保準(zhǔn)確模擬指令亂序執(zhí)行、多核并發(fā)操作和高速緩存一致性功能。

        處理器模塊負(fù)責(zé)執(zhí)行指令,包括取指、譯碼、執(zhí)行等子模塊。指令是多核參考模型的最小執(zhí)行單元,即多核參考模型中沒有流水線及周期。這種簡(jiǎn)單的調(diào)度方式能很好地滿足單核處理器功能驗(yàn)證,但在多核處理器功能驗(yàn)證中,需要結(jié)合序列文件以確定各個(gè)處理器的讀寫指令執(zhí)行順序。結(jié)果對(duì)比模塊用于對(duì)比參考模型的執(zhí)行結(jié)果與硬件執(zhí)行結(jié)果,從而發(fā)現(xiàn)設(shè)計(jì)缺陷。

        1.1 多核參考模型工作流程

        多核參考模型的工作流程如圖3所示,參考模型首先選擇未完成仿真的處理器,并讀取指令。

        若本指令為非讀寫指令,本處理器執(zhí)行當(dāng)前指令。若本指令為讀寫指令,判斷本指令是否被提前執(zhí)行,若本指令被提前執(zhí)行,使用亂序堆棧中保存的值更新寄存器;若本指令未被提前執(zhí)行,且當(dāng)前處理器ID與序列文件中的處理器ID 不匹配,則切換處理器,使其處理器ID與序列文件中的處理器ID 匹配;若本指令未被提前執(zhí)行,且當(dāng)前處理器ID 及PC與序列文件中的處理器ID 及PC 匹配,則執(zhí)行當(dāng)前指令;若本指令未被提前執(zhí)行,且當(dāng)前處理器ID與序列文件中的ID 匹配,但PC與序列文件中的PC 不匹配,則提前執(zhí)行序列文件中PC 對(duì)應(yīng)的指令,并將提前執(zhí)行信息寫入提前執(zhí)行堆棧中。每執(zhí)行完一條指令(包括提前執(zhí)行),需要判斷處理器是否完成仿真,若當(dāng)前處理器完成仿真且其它處理器未完成仿真,則切換至未完成仿真的處理器繼續(xù)執(zhí)行指令;若所有處理器完成仿真,則停止并輸出仿真結(jié)果。

        圖3 多核參考模型工作流程

        1.2 高速緩存一致性模塊

        參考模型采用高速緩存一致性協(xié)議[8]作為高速緩存一致性協(xié)議,各處理器嚴(yán)格按照高速緩存一致性協(xié)議執(zhí)行指令。當(dāng)發(fā)生讀缺失、寫缺失、寫命中且高速緩存塊狀態(tài)為共享時(shí),處理器模塊將向高速緩存一致性模塊發(fā)送高速緩存一致性請(qǐng)求。

        1.3 提前執(zhí)行模塊

        本文介紹的參考模型引入了提前執(zhí)行堆棧。當(dāng)一條讀指令被提前執(zhí)行,其數(shù)據(jù)不會(huì)被直接寫回寄存器,而是暫存在提前執(zhí)行堆棧中,直到參考模型PC與被提前執(zhí)行指令的PC 匹配,將數(shù)據(jù)寫回寄存器。提前執(zhí)行堆棧包括處理器ID、指令PC、指令是否為讀指令、指令讀取的數(shù)據(jù)、指令使用的寄存器等信息。參考模型遵守序列文件中的指令順序執(zhí)行讀寫指令。

        2 仿真實(shí)驗(yàn)

        為評(píng)估參考模型的可實(shí)現(xiàn)性,將本模型用于自主國產(chǎn)CK610 多核處理器驗(yàn)證平臺(tái),詳細(xì)流程如圖4所示。由于功能級(jí)參考模型無法模擬硬件的時(shí)序信息,例如中斷等。通過軟硬件交互的仿真方法,在硬件RTL仿真過程中獲取以上信息,并通過文件傳輸給參考模型。因此,參考模型需要接收一定格式的事件輸入,包括含有中斷信息的中斷歷史文件、含有在直接訪問存儲(chǔ)器傳輸過程中完成指令信息的DMA 傳輸文件、含有TLB條目信息的TLB 歷史文件以及含有讀寫指令順序信息的讀寫指令序列文件。

        如表1所示,在CK610MP 多核處理器的設(shè)計(jì)驗(yàn)證過程中,本文分別構(gòu)建了時(shí)序級(jí)精確、傳輸級(jí)精確和功能級(jí)精確模型,并在功能級(jí)精確模型上添加了提前執(zhí)行模塊和Cache 一致性模塊兩個(gè)技術(shù)。通過處理器所有Case的Regress 測(cè)試,可以發(fā)現(xiàn)本文提出的參考模型在仿真時(shí)間上是RTL的0.18%,并可以100%的并發(fā)操作和Cache 一致性功能精確度。與傳統(tǒng)的時(shí)序級(jí)精確、傳輸級(jí)精確和功能級(jí)精確模型相比,本文模型通過利用提前執(zhí)行模塊和Cache 一致性模塊兩個(gè)技術(shù),取得了仿真時(shí)間和仿真精確度較好的折中,可顯著提高多核處理器的驗(yàn)證開發(fā)效率。

        表1 各仿真模型運(yùn)行時(shí)間結(jié)果表

        3 結(jié)束語

        本論文闡述了一種新的用于多核處理器驗(yàn)證的功能精確型多核參考模型,本參考模型通過指令提前執(zhí)行模塊技術(shù)和高速緩存一致性模塊技術(shù)來精確模擬多核處理器的高速緩存一致性和并發(fā)功能,快速高效實(shí)現(xiàn)多核處理器功能級(jí)驗(yàn)證。若多核處理器設(shè)計(jì)出錯(cuò),本參考模型能提供出錯(cuò)指令的詳細(xì)信息,便于跟蹤設(shè)計(jì)缺陷。仿真證明:與時(shí)序精確型多核參考模型和傳輸級(jí)精確型多核參考模型相比,本多核參考模型能快速完成仿真,在保證驗(yàn)證正確性的同時(shí),提高了驗(yàn)證效率。

        [1]Ahmed Jerraya,Wayne Wolf.Multiprocessor Systems-on-Chip[M].San Francisco:Elsevier Morgan Kaufmann,2005:1-9.

        [2]黃凱,殷燎,林鋒毅,等.一種多處理器原型及其系統(tǒng)芯片設(shè)計(jì)方法[J].電子學(xué)報(bào),2009,37(2):181-186.

        [3]黃永勤,朱英,巨鵬錦,等.“申威-1 號(hào)”高性能處理器的功能驗(yàn)證[J].軟件學(xué)報(bào),2009,20(4):1 077-1 086.

        [4]張欣,黃凱,孟建熠,等.一種面向微處理驗(yàn)證的分層隨機(jī)激勵(lì)方法[J].計(jì)算機(jī)應(yīng)用研究,2010,37(4):30-35.

        [5]Felix Sheng-Ho Chang,Alan J Hu.Fast Specification of Cycle-Accurate Processor Models[C].Britain∶International Conference on Computer Design,2001:1 488-2 001.

        [6]Zhou Haixiang,Ge Ning,Xu Lixin,etal.Transaction Level Modeling of SPARC Based on TLM2.0[J].Computer Engineering,2011,68(12):14-19.

        [7]Mehrdad Reshadi,Nikil Dutt.Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation[J].Design Automation and Test in Europe,2005,99(1):786-791.

        [8]John L Hennessy,David A Patterson.Computer Architecture A Quantitative Approach[M].Fourth Edtion:Elsevier,2007:167-174.

        猜你喜歡
        參考模型時(shí)序指令
        時(shí)序坐標(biāo)
        聽我指令:大催眠術(shù)
        基于Sentinel-2時(shí)序NDVI的麥冬識(shí)別研究
        ARINC661顯控指令快速驗(yàn)證方法
        LED照明產(chǎn)品歐盟ErP指令要求解讀
        一種毫米波放大器時(shí)序直流電源的設(shè)計(jì)
        電子制作(2016年15期)2017-01-15 13:39:08
        基于環(huán)境的軍事信息系統(tǒng)需求參考模型
        語義網(wǎng)絡(luò)P2P參考模型的查詢過程構(gòu)建
        坐標(biāo)系旋轉(zhuǎn)指令數(shù)控編程應(yīng)用
        DPBUS時(shí)序及其設(shè)定方法
        河南科技(2014年15期)2014-02-27 14:12:36
        久久精品亚洲成在人线av | 伴郎粗大的内捧猛烈进出视频观看 | 99久久人妻无码精品系列| 久久久久久成人毛片免费看| 亚洲欧洲国无码| 国产人妖伦理视频在线观看 | 中文字幕v亚洲日本| 日子2020一区二区免费视频| 国产成人亚洲合色婷婷| 少妇下面好爽好紧好湿一区二区| 97精品超碰一区二区三区| 国产天堂在线观看| 女优免费中文字幕在线| 97中文字幕精品一区二区三区| 久久久久久无码av成人影院| 亚洲自拍另类制服在线| 免费观看在线视频一区| 日本一区二区视频免费在线看| 国产98在线 | 日韩| 日本一区二区啪啪视频| 国产人妖直男在线视频| 亚洲av永久无码精品古装片| 丰满少妇在线观看网站| 狠狠躁夜夜躁人人爽天天不卡| 久久精品一区二区熟女| 国产精品兄妹在线观看麻豆| 俺也去色官网| 美腿丝袜中文字幕在线观看| 欧美黑人巨大videos精品| 国产婷婷一区二区三区| 国产亚洲精品综合在线网址| 日韩精品一二三区乱码| 97无码免费人妻超级碰碰夜夜 | 一区二区三区婷婷中文字幕| 户外精品一区二区三区| 狠狠做深爱婷婷久久综合一区| 亚洲—本道中文字幕久久66| 激情五月六月婷婷俺来也| 国产精品无码一区二区在线观一| 日韩毛片在线| 看大陆男女真人草逼视频|