Flux Research Group / School of Computing

User-level Checkpointing Through Exportable Kernel State

Patrick Tullmann, Jay Lepreau, Bryan Ford, and Mike Hibler

Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS) 1996.

areas
Operating Systems

abstract

Checkpointing, process migration, and similar services need to have access not only to the memory of the constituent processes, but also to the complete state of all kernel provided objects (e.g., threads and ports) involved. Traditionally, a major stumbling block in these operations is acquiring and re-creating the state in the operating system.

We have implemented a transparent user-mode checkpointer as an application on our Fluke microkernel. This microkernel consistently and cleanly supports the importing and exporting of fundamental kernel state safely to and from user applications. Implementing a transparent checkpointing facility with this sort of kernel support simplifies the implementation, and expands its flexibility and power.