基于linux内核的进程检查点系统设计与实现

作为一种流行的软件容错机制，检查点与恢复技术的实现模式有两种：用户级和系统级。首先阐述了两者的区别，然后根据linux可加载内核模块机制提出了一种基于linux内核的进程检查点与恢复实现方法。利用linux内核线程实现了检查点与恢复内核模块，并基于此内核模块在用户层构造了一检查点函数库，为用户提供了相应接口。用户通过组合使用这些接口可以高效地实现具体检查点与恢复算法。