并行离散事件仿真中的回退和持续机制研究

介绍了并行仿真驱动及支持软件KD-PARSE基于状态交换对象(SXO),采用增量式状态保存法,实现透明、可扩展自动回退机制以支持并行离散事件仿真中的乐观时间管理算法的方法,并给出了该回退框架的整体结构设计。介绍了该软件实现的一种持续机制以支持仿真运行中的检查点功能。该持续机制利用持续数据库不仅实现了持续化内存管理,支持程序运行中的可回退动态内存分配和删除操作。