容错实时系统的内存管理优化方案及实现

探讨如何把抢占门限应用于具有优先级提升和内存受限的实时系统,并进一步研究了互不抢占组内,linux平台上基于增量检测点的内存备份/恢复的方法及原型系统的实现.原型系统采用了可扩展的链接方式作为检测点文件格式,使得数据更加紧凑有序;在内存的备份操作上,提出了"影子脏位"算法来识别两检测点之间有无被改变的部分.原型实验验证了所提出方法的有效性.