论文部分内容阅读
互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题。为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时间同步距离和数据同步策略进行分析和计算,证明了优化方案在缩小同步距离、减少系统运行耗时和资源占用率方面的优势。