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

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

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

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

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