Petri Nets Based Synchronization Model for Distributed Real-Time Simulation System
分布式实时仿真系统中基于PN的同步模型

1 引言基于不同的应用背景与假设,人们已对分布式实时仿真系统中任务间的同步问题进行了大量研究,其主要思想是将系统看成一个离散事件的集合,事件之间存在某种相互依赖的关系,执行时遵循一定的时序约定,在不破坏这种约定的前提下,尽可能提高系统的并行度。基于此,人们提出了众多解决办法,概括而言,可分为Optimistic方法与Conserva-tion方法两大类。Time Wrap(TW)是前者的典型,可以很好地控制保存状态所需的开销,因而被广泛应用,但它在出现因果关系倒置后所需的Rollback处理代价很高,仍不尽如人意,对此人们一直在进行多方面的改良工作;后者面临的最大问题是难以避免死锁的产生,但仍可在某些特定问题上发挥较大作用。