分布環(huán)境下帶存儲(chǔ)器P系統(tǒng)的模擬及其系統(tǒng)實(shí)現(xiàn).pdf

1、帶存儲(chǔ)器P系統(tǒng)是由PaoloCAZZANIGA等人于2005年提出的最新類型，具備存儲(chǔ)以往提交的輸入及其結(jié)果的功能，這樣在同樣的輸入被多次請(qǐng)求計(jì)算的場(chǎng)合下可以加快計(jì)算速度，所以帶存儲(chǔ)器P系統(tǒng)平均計(jì)算速度優(yōu)于以往的P系統(tǒng)類型，從而成為重要的P系統(tǒng)之一。但是，目前對(duì)于P系統(tǒng)的模擬系統(tǒng)中尚無(wú)基于帶存儲(chǔ)器P系統(tǒng)的模擬系統(tǒng)，從而使得模擬帶存儲(chǔ)器P系統(tǒng)成為必要。本文首先根據(jù)帶存儲(chǔ)器P系統(tǒng)的形式化模型推導(dǎo)出其核心活動(dòng)——計(jì)算活動(dòng)、查詢活動(dòng)、存儲(chǔ)活動(dòng)、

2、清空活動(dòng)的規(guī)則應(yīng)用序列，在帶存儲(chǔ)器P系統(tǒng)的模型和核心活動(dòng)規(guī)則應(yīng)用序列的基礎(chǔ)上，本文研究了在分布式環(huán)境下模擬帶存儲(chǔ)器P系統(tǒng)的語(yǔ)義，制定了功能語(yǔ)義、最大并行性和非確定性語(yǔ)義的模擬策略。通過(guò)利用面向?qū)ο蟮姆治黾夹g(shù)分別為每個(gè)核心概念設(shè)計(jì)類實(shí)現(xiàn)功能語(yǔ)義，利用多級(jí)線程結(jié)構(gòu)模擬最大并行性，通過(guò)產(chǎn)生隨機(jī)數(shù)的方法模擬非確定性。然后在模擬策略的基礎(chǔ)上，本文用C++和pthread庫(kù)實(shí)現(xiàn)了帶存儲(chǔ)器P系統(tǒng)的分布式模擬系統(tǒng)——PMSim。 我們用內(nèi)核版本

3、為2.4.20-8的RedhatLinux下GNU的g++296對(duì)PMSim進(jìn)行編譯，在賽揚(yáng)1.7GHz單CPU，256M內(nèi)存的單機(jī)上對(duì)PMSim進(jìn)行測(cè)試。分別選擇了兩種不同的實(shí)例測(cè)試PMSim模擬帶存儲(chǔ)器P系統(tǒng)的進(jìn)化過(guò)程并對(duì)比存儲(chǔ)子系統(tǒng)的加速效果。實(shí)際的測(cè)試首先說(shuō)明了PMSim能夠正確演示帶存儲(chǔ)器P系統(tǒng)的進(jìn)化過(guò)程，并能給出正確的最終結(jié)果，其存儲(chǔ)子系統(tǒng)能夠起到加速作用；其次說(shuō)明本文提出的模擬策略正確的反映了帶存儲(chǔ)器P系統(tǒng)的語(yǔ)義。本論文的

4、創(chuàng)新體現(xiàn)在：首先討論了在分布環(huán)境下模擬帶存儲(chǔ)器P系統(tǒng)語(yǔ)義的策略；其次，實(shí)現(xiàn)了基于帶存儲(chǔ)器P系統(tǒng)的分布式模擬系統(tǒng)——PMSim。PMSim具備存儲(chǔ)，查詢，插入，刪除的新功能，在有大量輸入重復(fù)請(qǐng)求和進(jìn)化步數(shù)較大的場(chǎng)合下，其計(jì)算速度(該計(jì)算速度以P系統(tǒng)上的進(jìn)化步數(shù)衡量，而非計(jì)算機(jī)上的計(jì)算復(fù)雜度)大于或者等于以往提出的轉(zhuǎn)移P系統(tǒng)模擬系統(tǒng)。帶存儲(chǔ)器P系統(tǒng)分布式模擬系統(tǒng)的提出，為帶存儲(chǔ)器P系統(tǒng)模型的進(jìn)化過(guò)程提供了詳細(xì)的展示，從而能夠?yàn)閷?lái)各種基于該