基于知识的计算机仿真 第十章.ppt

基于知识的计算机仿真Knowledge-Based Computer Simulation 上海交通大学计算机系 吴亚栋 E-mail:ydwu@sjtu.edu.cn Tel:第十章 如何研究大型复杂系统 10.1 分布式仿真概要* 10.2 分布式仿真中的几个关键问题* 10.3 ATM网络模型* 10.4 分布式仿真的几个难点* 小结 分布式仿真的异步处理方法 分布式仿真中的几个关键问题 - 同步机制及其选择依据 - 仿真速度的有效提高 - “向前看”功能的实现 分布式仿真中的几个难点 - 链路间的不一致性 - 仿真瓶颈 - 动态源点 - 内部通信开销 10.1 分布式仿真概要 系统性能评估* - 评估方法 - 网络性能评估 分布式仿真的两种处理方法* - 同步方式 - 异步方式 10.2 分布式仿真中的几个关键问题 同步机制* 选择同步机制的根据 * 仿真速度的有效提高 * “向前看”功能的实现 * 10.3 ATM网络模型 网络拓扑结构* 节点、连接机制建模* 路由算法、链路费用和路由函数* 10.4 分布式仿真的几个难点 各链路间的不一致* 仿真瓶颈* 动态源点* 内部通信开销* 系统性能评估---方法 分析的方法：为建模提供了明快的方法，可获得稳定 的输出结果。但常以简化系统为代价而 牺牲了实用性。 仿真的方法：能较灵活地处理大型复杂系统。但仿真 的灵活性是以花费大量的计算时间为代 价的。 - 顺序集中式仿真：同一时间做一件事，已达到极限。 - 并行分布式仿真：引入并行计算，同一时间并行处理， 然后综合，可大大减少处理时间。 系统性能评估---网络性能评估 宽带通信需要提供充分的带宽用于多媒体应用，如视频 会议，电视分配等。 随着速度与带宽的增加，为保证网络行为的优化，就需 要考虑诸如，避免堵赛，运行控制，最优路径选择等。 ATM(Asynchronous Transfer Mode:异步传输模式网络) 以高速分组传输模式为主，综合电路传输模式优点的一 种宽带传输模式。ATM采用小单元交换，采用光纤连接的 交换组件，从而提供大的通过能力和高速的传输。 并行分布式仿真的两种处理方式 同步方式：如，时间步法(全局同步时钟)。 - 异质传输问题：同步仿真势必将时间单元限制整个系统中存在的最小时间增量。当众多不同的子系统时间增量并存的时候，即各子系统时间增量有较大的差异时，会带来极大的开销。 - 时间步法难以应用于分布式处理，因定义一个全局的同步时钟是很困难的。 异步方式 并行分布式仿真中的异步方式---离散事件法 仿真系统可在空间上分解成彼此 不相交的子系统。 每个子系统的相关逻辑过程(LP) 由一个专用的处理器来加以仿真。 为描述系统中的交互作用， 采用消息交换方式。 - 发送消息的LP按照本地虚拟 时钟(LVT)对时间加上标记， - 接受端的LP将消息安排在 本地未来事件表中(FEL)， 以便被处理。 同步机制---保守法(Conservative) 只处理确切被认为是安全的消息， 即确保当前处理的消息不会导致 将来可能引起因果冲突。 如果发现可能的冲突，那么LP将 暂时进入阻塞状态以便确保安全。 保守法的优点在于总能得到正确 的仿真结果。它的缺点在于必须 通过发送空消息来避免可能引起 的死锁。 这些空消息依据的是“向前看”的 预测能力(look ahead)，用来人为的传播仿真时间的变化。 同步机制---乐观法(Optimistic) 不追求绝对的安全，而是采取预防措施，以便在冲突发生时可以把系统恢复到前此的与其相连贯的状态去。 为了获得更多的操作自由，必须周期性地设置检查点(check-point)和取得一些对抗消息(anti-message)来取消错误的操作。 还需引入全局虚拟时钟(GVT)来监视仿真的进展和回收无效消息所占用的内存。 乐观法相对保守法更加复杂，但可以在系统中直观地运用并行机制，而不需要依赖于“向前看”功能。 选择同步机制的根据 保守法同步机制 - 同步水平要求较高的系统 通信网络模型表现出高层次的信息同步需求，因为其 功能就是在节点之间传送包信息，如采用乐观法，将 导致大量的冲突处理。 - 传输方式比较简单 由于传输方式比较简单，导致错误计算快速蔓延的计 算粒度也相对较小。 仿真速度的有效提高