计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2015年
5期
973-986
,共14页
确定性%并行计算%可靠性%数据竞争
確定性%併行計算%可靠性%數據競爭
학정성%병행계산%가고성%수거경쟁
determinism%parallel computing%reliability%data race
由于执行个体之间的同步、竞争和干扰,并行程序的执行存在着不确定性问题,即程序在相同输入下多次执行可能得到不同的结果.不确定性给并行程序在开发、调试、测试、容错和安全等方面都带来了挑战,严重降低了并行程序的可靠性,阻碍了并行程序的发展.确定性并行技术通过控制并行程序执行个体间的同步、竞争和干扰,使程序的执行结果仅依赖于输入.确定性并行技术能够从根本上解决了目前并行程序存在的诸多问题,提升了并行程序的可靠性,给并行程序的发展带来了新的机遇.文中调查、分析和比较了目前主流的确定性并行技术和方法,分析了弱内存一致性对确定性并行系统的影响,并对未来确定性并行技术的发展趋势做出了展望.
由于執行箇體之間的同步、競爭和榦擾,併行程序的執行存在著不確定性問題,即程序在相同輸入下多次執行可能得到不同的結果.不確定性給併行程序在開髮、調試、測試、容錯和安全等方麵都帶來瞭挑戰,嚴重降低瞭併行程序的可靠性,阻礙瞭併行程序的髮展.確定性併行技術通過控製併行程序執行箇體間的同步、競爭和榦擾,使程序的執行結果僅依賴于輸入.確定性併行技術能夠從根本上解決瞭目前併行程序存在的諸多問題,提升瞭併行程序的可靠性,給併行程序的髮展帶來瞭新的機遇.文中調查、分析和比較瞭目前主流的確定性併行技術和方法,分析瞭弱內存一緻性對確定性併行繫統的影響,併對未來確定性併行技術的髮展趨勢做齣瞭展望.
유우집행개체지간적동보、경쟁화간우,병행정서적집행존재착불학정성문제,즉정서재상동수입하다차집행가능득도불동적결과.불학정성급병행정서재개발、조시、측시、용착화안전등방면도대래료도전,엄중강저료병행정서적가고성,조애료병행정서적발전.학정성병행기술통과공제병행정서집행개체간적동보、경쟁화간우,사정서적집행결과부의뢰우수입.학정성병행기술능구종근본상해결료목전병행정서존재적제다문제,제승료병행정서적가고성,급병행정서적발전대래료신적궤우.문중조사、분석화비교료목전주류적학정성병행기술화방법,분석료약내존일치성대학정성병행계통적영향,병대미래학정성병행기술적발전추세주출료전망.