11. 12. 2015

Client-independent Checkpoint/Restart of L4Re-server-applications


Johannes Kulik

TU Dresden

Verteidigung der Diplomarbeit

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.

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.
28. Oct 2020
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum ·