基于Petri網(wǎng)的并行程序分析與評(píng)價(jià).pdf

1、并行程序目前是一個(gè)活躍的研究領(lǐng)域,也是一個(gè)困難問(wèn)題.在進(jìn)行并行程序的分析和設(shè)計(jì)過(guò)程中,必須面對(duì)不確定性、通信、同步、數(shù)據(jù)劃分和分配、負(fù)載平衡、容錯(cuò)、異構(gòu)、共享或分布存儲(chǔ)、死鎖及競(jìng)爭(zhēng)等問(wèn)題,這些問(wèn)題在串行程序的分析和設(shè)計(jì)中是很少遇到的.針對(duì)這些問(wèn)題,用Petri網(wǎng)來(lái)分析并行程序的性能是其它模型無(wú)法比擬的.本文的主要工作是借助時(shí)延變遷Petri網(wǎng)來(lái)分析并行程序,首先給出了一般并行程序轉(zhuǎn)化為T(mén)TPN的基本轉(zhuǎn)換規(guī)則,對(duì)TTPN模型采用G.Chi

2、ola的方法進(jìn)行分析.對(duì)于數(shù)據(jù)并行問(wèn)題,提出了并行程序邏輯進(jìn)程中一個(gè)塊的TTPN模型以及包含多個(gè)塊的循環(huán)的TTPN模型.通過(guò)分析矩陣乘法算法的TTPN模型,在曙光2000并行機(jī)上對(duì)兩個(gè)400×400矩陣相乘的問(wèn)題進(jìn)行了模擬,并與一般內(nèi)積并行算法的運(yùn)行結(jié)果作了比較.然后,基于A.Nketsa和N.B.Khalifa在文獻(xiàn)[39]中提出的先行值概念,我們給出了先行值的確切定義.結(jié)合TTPN,本文給出了無(wú)初始標(biāo)識(shí)先行值和有確定初始標(biāo)識(shí)先行值的