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

ＰＤＥＳ时间推进中保守算法的研究与实现 　　摘要：介绍了PDES时间推进中的保守算法，给出了保守策略，分析了死锁的产生原因，并给出了解决死锁的方法，最后对算法进行了实现。 　　关键词：PDES；保守算法；死锁；空消息 　　中图分类号：TP311 文献标识码 A 文章编号：1009-3044(2009)05-1194-03 　　Research and Realization of the Conservative Arithmetic in PDES Time Advancing 　　MIAO Qing, DING Jing，KONG Jian-xing 　　(Artillery Academy, Hefei 230031,China) 　　Abstract: It introduces the conservative arithmetic in PDES time advancing, giving the conservative strategy, analyzing the cause of the deadlock and giving the resolvent of the deadlock. In the end, it realizes the arithmetic. 　　Key words: PDES; conservative arithmetic; deadlock; null message 　　 　　1 引言 　　 　　并行离散事件仿真（Parallel Discrete Event Simulation，PDES），是指在多处理器系统或网络工作站上并行执行离散事件仿真程序。如何将不同类型的仿真系统的内部时间协调一致，是保证仿真正确运行的基本前提条件，这也正是PDES过去20年努力解决的问题。随着近年来计算机仿真技术中高层体系结构（High Level Architecture，HLA）的飞速发展，作为HLA时间管理算法直接来源的PDES中的时间推进算法，对其的研究又掀起了新的高潮。 　　PDES中关键的时间推进同步算法始终是仿真界公认的重点和难点问题。目前PDES主要采取两类同步算法。保守算法严格禁止发生因果关系错误，确保不会失序地处理非独立事件，也就是保证依据时间的逻辑先后顺序在并行机上处理事件，但可能发生死锁。乐观算法充分利用系统平台的并行计算能力，设定分布在每个处理机上的逻辑进程可以按任意顺序在空闲的处理机上执行，一旦出现任何一个关系错误即发生同步错误，则及时进行回退，并且恢复系统上一时刻的状态。本文重点研究PDES时间推进中的保守算法。 　　 　　2 PDES时间推进中保守算法的研究 　　 　　2.1 保守（Conservative）策略 　　PDES中保守算法的基本思想是：假设物理系统满足可实现性（Realizability）和可预测性（Predictability），并且在遵守本地因果约束条件（Local Causality Constraint）的前提下，可以实现对系统的正确仿真。 　　可实现性保证系统发出的t时刻消息仅依赖于t时刻以前接收到的消息状态，可预测性保证系统能够在t时刻预测出t+ε时刻的消息(ε＞0)。 　　本地因果约束条件是指由一组逻辑进程组成的离散事件仿真系统，当且仅当每个逻辑进程按非递减的时戳顺序处理事件，则系统遵守本地因果约束条件。 　　保守策略严格禁止发生因果错误，即保证按时间先后顺序在并行机上处理各类事件。保守策略的主要任务是确定何时能“保险”地执行某一事件，它常常依赖于仿真模型行为的信息，如模型的可预测性等来确定哪个事件能被“保险”地执行。 　　在保守算法中，到达每个进程输入通道的消息按时戳顺序存储，一个进程发送给另外一个进程的消息被保存在一个先进先出（FIFO）的队列中。对每个通道都有自己的通道时钟，时钟的取值按照三条原则： 　　原则1：仿真开始时，各个时钟取值为零； 　　原则2：如果队列不为空，则时钟取值为队列中第一个消息的时戳，第一个消息是该队列中时戳最小的消息； 　　原则3：如果队列为空，则时钟取值为最后一次接收到的消息时戳。 　　进程循环选出时钟值最小的输入通道，并且当该通道队列中有消息时，处理时戳最小的消息。如果这个通道队列是空的，那么这个进程会被阻塞。这样就保证了每次每个进程都能按时戳递增的顺序处理一个事件，因而遵守了本地因果关系约束条件。 　　一个保守进程处理消息的过程可用下列算法表示。 　　算法1：进程处理消息过程 　　While（仿真没有结束）{ 　　等待直到每个FIFO队列都至少包含一个消息； 　　找出所有队列中的最小的时戳消息M，并从相应的队列中删除； 　　时钟Cloc