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

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

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