介绍了并行仿真驱动及支持软件KD-PARSE基于状态变换对象(SXO),采用增量式状态保存法,实现透明、可扩展自动回退机制以支持并行离散事件仿真中的乐观时间管理算法的方法,并给出了诸回退框架的整体结构设计。介绍了该软件实现的一种持续机制以支持仿真运行中的检查点功能。该持续机制利用持续数据库不仅实现了持续化内存管理,主持程序运行中的可回退动态内存分配和删除操作。
How a transparent and extendable automatic rollback mechanism design using State Exchange Object and Incremental State Saving technique was implemented in KD-PARSE, and a parallel discrete event simulation engine and supporting environment, to facilitate its optimistic synchronization algorithms used in parallel discrete event simulation. KD-PARSE's persistence mechanism supporting checkpoint function in a PDES was also provided. This mechanism realizes persistent memory management and integrates with the rollback framework to support rollbackable dynamic memory allocation and deallocation.