ＰＤＥＳ时间推进中乐观算法的研究与实现.docVIP

ＰＤＥＳ时间推进中乐观算法的研究与实现 　　摘要：介绍了PDES时间推进中的乐观算法，给出了乐观策略，从本地控制机制、消息回滚机制和全局控制机制三个方面分析了时间弯曲机制，最后对算法进行了实现。 　　关键词：PDES；乐观算法；时间弯曲 　　中图分类号：TP311 文献标识码：A 文章编号：1009-3044(2009)05-1185-03 　　 　　Research and Realization of the Optimistic Arithmetic in PDES Time Advancing 　　MIAO Qing, DING Jing，KONG Jian-xing 　　(Artillery Academy, Hefei 230031,China) 　　Abstract: It introduces the optimistic arithmetic in PDES time advancing, giving the optimistic strategy, analyzing the Time Wrap from the local control mechanism、message rollback mechanism and global control mechanism. In the end, it realizes the arithmetic. 　　Key words: PDES; optimistic arithmetic; Time Wrap 　　 　　1 引言 　　 　　并行离散事件仿真（Parallel Discrete Event Simulation，PDES），是指在多处理器系统或网络工作站上并行执行离散事件仿真程序。如何将不同类型的仿真系统的内部时间协调一致，是保证仿真正确运行的基本前提条件，这也正是PDES过去20年努力解决的问题。随着近年来计算机仿真技术中高层体系结构（High Level Architecture，HLA）的飞速发展，作为HLA时间管理算法直接来源的PDES中的时间推进算法，对其的研究又掀起了新的高潮。 　　PDES中关键的时间推进同步算法始终是仿真界公认的重点和难点问题。目前PDES主要采取两类同步算法。保守算法严格禁止发生因果关系错误，确保不会失序地处理非独立事件，也就是保证依据时间的逻辑先后顺序在并行机上处理事件，但可能发生死锁。乐观算法充分利用系统平台的并行计算能力，设定分布在每个处理机上的逻辑进程可以按任意顺序在空闲的处理机上执行，一旦出现任何一个关系错误即发生同步错误，则及时进行回退，并且恢复系统上一时刻的状态。本文重点研究PDES时间推进中的乐观算法。 　　 　　2 PDES时间推进中乐观算法的研究 　　 　　2.1 乐观（Optimistic）策略 　　与保守策略相反，乐观策略并不遵守本地因果约束条件，不需要确定可以安全处理事件的时间，它规定逻辑进程可以按任何顺序执行事件，尽可能快地向前推进，不严格地避免因果错误的发生，一旦进程收到一个时戳值小于正在处理的消息时戳的消息，则认为因果错误发生了，此时探测因果错误，并使用回滚机制纠正错误。这种方法的好处之一是可以充分利用可能发生，但实际上并不会发生因果错误的几率。 　　2.2 时间弯曲机制（Time Wrap） 　　最著名的PDES乐观算法是由Jefferson 提出的基于虚拟时间的时间弯曲机制（Time Wrap）。时间弯曲是把“超前――回滚”作为基本的同步机制，每个进程运行时，并不考虑是否会和其他进程发生同步冲突。一旦发生冲突，不管冒进的进程运行到什么时刻，都必须回滚到发生冲突前的时间点处，再按照己修正的路径继续运行。 　　可以用非常简单的一句话描述出实现虚拟时间的主要约束条件，即如果事件A产生事件B，则在执行A和B时，必须保证在B开始执行前，A事实上已经执行完毕。但是实际上，如果A和B之间没有因果关系，即使事件A具有比事件B较早的虚拟时间，也不需要在执行事件B之前执行事件A，可以并行执行A和B，或者是执行A后，立即执行B，均可获得更高的性能。如果A和B具有完全相同的虚拟时间坐标，那么在事件调度上就更没有约束和限制条件，它们甚至可以交叉执行。 　　为正确实现虚拟时间，必须使每个进程按时戳顺序处理消息。但因为消息并不总是按时戳顺序到达的，对于某个进程来说，仅仅依靠自身的信息，是不可能知道那个消息是具有“下一”时戳的消息的。不管哪个消息被推测为“下一”个，总可能有更早时戳的消息在较晚时刻到达。因此，即使具有“下一”时戳的消息到达，进程也不能确定它是这样的消息。这是用时间弯曲机制实现虚拟时间的核心问题。 　　时间弯曲有三个主要组成部分： 　　1）本地控制