国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

并發(fā)程序內(nèi)部表示及靜態(tài)切片算法的改進(jìn)

2005-04-29 00:44:03肖健宇張德運(yùn)鄭衛(wèi)斌
關(guān)鍵詞:循環(huán)

肖健宇 張德運(yùn) 鄭衛(wèi)斌

摘要:通過分析Krinke切片算法對(duì)程序循環(huán)體內(nèi)嵌套一個(gè)或多個(gè)線程結(jié)構(gòu)會(huì)產(chǎn)生切片不精確現(xiàn)象,得出Krinke算法所基于的程序依賴圖對(duì)線程間數(shù)據(jù)的依賴關(guān)系定義得過于粗糙,且對(duì)并發(fā)程序執(zhí)行行為的合法性約束不夠嚴(yán)格的結(jié)果.據(jù)此,提出一種新的并發(fā)程序依賴圖,引入跨線程邊界循環(huán)—承載數(shù)據(jù)依賴關(guān)系,并在此數(shù)據(jù)結(jié)構(gòu)上改進(jìn)了切片算法;引入?yún)^(qū)域化執(zhí)行證據(jù)概念,進(jìn)一步約束程序執(zhí)行行為的合法性,并給出了添加跨線程邊界循環(huán)—承載數(shù)據(jù)依賴關(guān)系的算法及新的并發(fā)程序切片算法的偽代碼.實(shí)例分析與算法性能測(cè)試表明,改進(jìn)的切片算法克服了Krinke算法的不精確現(xiàn)象,降低了時(shí)間開銷,改善了算法的可伸縮性。

關(guān)鍵詞:并發(fā)程序;程序依賴圖;循環(huán)—承載數(shù)據(jù)依賴;區(qū)域化執(zhí)行證據(jù)

中圖分類號(hào):TP311.1文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):0253—987X(2005)12—1295—04

猜你喜歡
循環(huán)
試談《百年孤獨(dú)》的循環(huán)敘事
文教資料(2016年27期)2017-02-23 21:19:27
基于省級(jí)精品教材多元自主學(xué)習(xí)平臺(tái)的螺旋上升學(xué)習(xí)研究
PDCA循環(huán)在持續(xù)改進(jìn)領(lǐng)導(dǎo)教育質(zhì)量中的應(yīng)用
淺析英語詞匯記憶策略
青春歲月(2016年20期)2016-12-21 12:29:31
分層、過濾、循環(huán)教學(xué)法初探*
新一代(2016年15期)2016-11-16 17:34:11
太陽能光伏材料的循環(huán)利用
科技傳播(2016年8期)2016-07-13 22:50:32
聯(lián)合風(fēng)險(xiǎn)投資、智力資本及其對(duì)企業(yè)價(jià)值創(chuàng)造的影響
關(guān)于CFB鍋爐排煙溫度控制的探討
物質(zhì)能量循環(huán)理論
科技視界(2016年7期)2016-04-01 20:05:33
CDIO工程教育模式的分界、循環(huán)和融合
海兴县| 凯里市| 花莲市| 保德县| 满洲里市| 和平区| 察雅县| 雅安市| 财经| 花垣县| 石城县| 汪清县| 青铜峡市| 秦安县| 浙江省| 新津县| 日喀则市| 五原县| 南安市| 石门县| 永宁县| 容城县| 库车县| 绥江县| 潞西市| 泽普县| 万州区| 博兴县| 太谷县| 平山县| 赫章县| 社旗县| 大名县| 云南省| 象州县| 承德县| 武穴市| 墨脱县| 泊头市| 怀安县| 阳高县|