UNIX系统用户级检查点技术分析

摘要

检查点技术是容错、回放调试、进程迁移等技术的基础.本文首先分析UNIX用户级检查点技术,对实现过程要涉及的各种技术,如地址空间定位、栈恢复等做了完整的介绍,并对共享库恢复等比较复杂的问题做了详细的分析.接着给出几种提高检查点效率的方法,包括写时拷贝、增量记录、用户制导的内存区域包含/剔除等.本文所述技术和类似的现有系统相比,有适应性强、对一些关键问题比较解决充分等优点.基于这些技术分析,作者实现了一个灵活高效的软件DSM并行检查点系统,它能够运行在Linux,Solaris和AIX系统上.