多核并行程序的建模與仿真.pdf

1、多核并行計(jì)算在提高系統(tǒng)計(jì)算能力和吞吐量的同時(shí)，對(duì)系統(tǒng)測試也提出了更加嚴(yán)格的要求，如何保障系統(tǒng)正確性已成為計(jì)算機(jī)領(lǐng)域的前沿課題之一。作為投影時(shí)序邏輯的一個(gè)可執(zhí)行子集，MSVL能夠?qū)τ?jì)算機(jī)軟硬件系統(tǒng)進(jìn)行建模、仿真和驗(yàn)證，保障系統(tǒng)的可靠性。但是，目前MSVL對(duì)多核并行系統(tǒng)的描述還不夠簡便。
　　本文在MSVL解釋器中實(shí)現(xiàn)了一種描述多核并行系統(tǒng)的抽象語義模型，使解釋器能夠更加方便地支持多核并行系統(tǒng)的仿真和建模。首先，介紹了投影時(shí)序邏輯和

2、MSVL的語法和語義，并說明了MSVL解釋器的實(shí)現(xiàn)原理和基本功能；接著，引入了基于投影時(shí)序邏輯的柱面計(jì)算模型，它可以對(duì)共享內(nèi)存的多核并行系統(tǒng)進(jìn)行描述和建模；然后，基于CCM的語法和操作語義，在MSVL解釋器中增加了CCM相關(guān)的詞法分析，語法分析以及進(jìn)程狀態(tài)化簡等模塊，實(shí)現(xiàn)了多核并行程序在MSVL解釋器中的仿真與建模；最后，通過雙偶數(shù)幻方和去除進(jìn)位依賴的乘法器兩個(gè)用例，說明引入CCM后，解釋器對(duì)多核并行系統(tǒng)仿真、建模與驗(yàn)證的適用性及實(shí)用性