An essential part of a microkernel based operating system are the servers running in user space. Without these servers functioning properly, the system becomes quickly unusable. Taking the region mapper as an example, no page faults could be solved without it. These services being essential, making them more robust is a worthwile goal.
Client-independent Checkpoint/Restart of L4Re-server-applications
Verteidigung der Diplomarbeit
In this talk I will present a checkpoint/restart system developed on Fisaco.OC/L4Re. The system is geared towards the systems's services. Checkpoints will be taken on a regular basis which will be used for automatic restarts of failing services. All of this is done invisible to the clients using a service.