摘要
介绍了并行仿真驱动及支持软件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.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2007年第1期67-70,88,共5页
Journal of System Simulation
基金
国家自然科学基金资助(60574057)
关键词
并行离散事件仿真
乐观时间管理
回退
持续化
parallel discrete event simulation
optimistic time management
rollback
persistence