本文關(guān)鍵詞：并發(fā)系統(tǒng)中基于優(yōu)先級的調(diào)度分析

  更多相關(guān)文章： 優(yōu)先級 調(diào)度策略 分解 正確性

【摘要】：當前復(fù)雜的并發(fā)系統(tǒng)多采用模塊化、逐步求精和信息隱藏等非形式化的原則來指導(dǎo)系統(tǒng)的開發(fā),而這些指導(dǎo)原則抽象且無法保證分解系統(tǒng)的正確性。為此,對基于優(yōu)先級控制的系統(tǒng)分解方法展開研究,提出一種系統(tǒng)分解的方法,并在理論上證明該分解方法的正確性。首先采用基于事件的行為模型對系統(tǒng)進行建模;接著定義調(diào)度、調(diào)度策略和調(diào)度策略正確性的概念;然后研究調(diào)度策略的分解方法,并證明了調(diào)度策略分解方法的正確性;最后根據(jù)該方法,開發(fā)出一種支持依賴模型建模和調(diào)度策略分解的原型工具,通過實例的演示,說明了使用該方法可以把系統(tǒng)分解成若干個子系統(tǒng),從而設(shè)計出正確和有效的調(diào)度策略,以達到正確分解系統(tǒng)的目的。
【作者單位】： 福建師范大學(xué)數(shù)學(xué)與計算機科學(xué)學(xué)院福建省網(wǎng)絡(luò)安全與密碼技術(shù)重點實驗室;
【關(guān)鍵詞】： 優(yōu)先級 調(diào)度策略 分解 正確性
【基金】：國家高技術(shù)研究發(fā)展計劃(863)(2012AA011205) 國家自然科學(xué)基金(61175123) 上海知識服務(wù)平臺項目(ZF1213) 上海高可信計算重點實驗室開放課題(07dz22304201401) 福建省自然科學(xué)基金(2014J01221) 福建師范大學(xué)優(yōu)秀骨干教師基金(fjsdjk2012047)資助
【分類號】：TP277
【正文快照】： 本文受國家高技術(shù)研究發(fā)展計劃(863)(2012AA011205),國家自然科學(xué)基金(61175123),上海知識服務(wù)平臺項目(ZF1213),上海高可信計算重點實驗室開放課題(07dz22304201401),福建省自然科學(xué)基金(2014J01221),福建師范大學(xué)優(yōu)秀骨干教師基金(fjsdjk2012047)資助。1引言隨著并發(fā)系統(tǒng)功

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉愛珍;王嘉禎;彭德云;文家福;;一種高效的基于拍賣背包機制的移動Agent調(diào)度策略[J];計算機應(yīng)用研究;2007年06期

2 喬非;李莉;王遵彤;過純中;;面向半導(dǎo)體生產(chǎn)的改進的混合重調(diào)度策略研究[J];計算機集成制造系統(tǒng);2007年03期

3 陳琳,胡澤新,邵惠鶴;多段多品種間歇過程混合型生產(chǎn)調(diào)度策略及應(yīng)用研究[J];信息與控制;1992年01期

4 朱海平;邵新宇;張國軍;;不確定信息條件下的車間調(diào)度策略研究[J];計算機集成制造系統(tǒng);2006年10期

5 胡國珍;王文君;;基于μC/OS-II的無線調(diào)度策略分析與實現(xiàn)[J];微計算機信息;2008年17期

6 于華;王雷;;作業(yè)車間批量調(diào)度策略研究[J];井岡山大學(xué)學(xué)報(自然科學(xué)版);2013年01期

7 程鵬;高慶;金磊;;地物模型調(diào)度策略技術(shù)淺析[J];中國新技術(shù)新產(chǎn)品;2010年22期

8 王遵彤,喬非,吳啟迪;基于CBR的半導(dǎo)體生產(chǎn)線組合調(diào)度策略研究[J];計算機工程;2005年07期

9 宮琳;孫厚芳;胥騫;;數(shù)字化生產(chǎn)車間動態(tài)生產(chǎn)環(huán)境復(fù)雜調(diào)度策略[J];航空制造技術(shù);2007年09期

10 倫永亮;程良倫;;一種基于反饋的CPS上層資源動態(tài)分配與優(yōu)化調(diào)度策略[J];科技通報;2012年12期

中國重要會議論文全文數(shù)據(jù)庫 前4條

1 王冰;谷寒雨;席裕庚;;大規(guī)模單機靜態(tài)調(diào)度的終端約束滾動策略[A];第二十二屆中國控制會議論文集（下）[C];2003年

2 趙千川;鄭大鐘;;一類HDS的事件反饋型最優(yōu)調(diào)度策略[A];1996年中國控制會議論文集[C];1996年

3 趙千川;鄭大鐘;;CLB調(diào)度策略的性能估計[A];1998年中國控制會議論文集[C];1998年

4 方劍;席裕庚;;動態(tài)環(huán)境下的Job Shop周期性滾動調(diào)度策略[A];1996中國控制與決策學(xué)術(shù)年會論文集[C];1996年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 周瀏陽;網(wǎng)絡(luò)控制系統(tǒng)中調(diào)度策略的設(shè)計與延時的處理[D];哈爾濱工業(yè)大學(xué);2015年

2 何忠賀;切換服務(wù)網(wǎng)絡(luò)的穩(wěn)定性及交通信號控制應(yīng)用[D];北京工業(yè)大學(xué);2013年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 修俊僑;云計算資源調(diào)度策略的研究[D];長春工業(yè)大學(xué);2015年

2 殷洪海;云環(huán)境下基于改進蟻群算法的資源調(diào)度策略[D];電子科技大學(xué);2014年

3 張浩榮;云環(huán)境下基于蟻群算法的資源調(diào)度策略研究[D];廣東工業(yè)大學(xué);2014年

，

本文編號：682840