系统仿真技术
繫統倣真技術
계통방진기술
SYSTEM SIMULATION TECHNOLOGY
2012年
3期
238-243
,共6页
互斥进程%同步距离%Petri网
互斥進程%同步距離%Petri網
호척진정%동보거리%Petri망
互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题.为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时间同步距离和数据同步策略进行分析和计算,证明了优化方案在缩小同步距离、减少系统运行耗时和资源占用率方面的优势.
互斥是解決資源利用遲突、實現資源共享的一種有效方法,但是簡單互斥方法給同步帶來一些問題.為此從Petri網對互斥進程的錶示入手,分析併提齣瞭改進和優化的互斥進程解決方案,利用同步距離的概唸對不同性質互斥進程的邏輯同步距離、時間同步距離和數據同步策略進行分析和計算,證明瞭優化方案在縮小同步距離、減少繫統運行耗時和資源佔用率方麵的優勢.
호척시해결자원이용충돌、실현자원공향적일충유효방법,단시간단호척방법급동보대래일사문제.위차종Petri망대호척진정적표시입수,분석병제출료개진화우화적호척진정해결방안,이용동보거리적개념대불동성질호척진정적라집동보거리、시간동보거리화수거동보책략진행분석화계산,증명료우화방안재축소동보거리、감소계통운행모시화자원점용솔방면적우세.
