|
17.
12.
2009
L4ReAnimator - A Restarting Framework for L4Re
Dirk Vogt
TU Dresden
Verteidigung der Diplom-Arbeit
As failures in hard- and software systems are likely to prevail,
there is a need for operating systems that offer failure resilience.
In my diploma thesis, I developed the L4ReAnimator framework, which
can serve as a foundation for failure resilient operating systems.
It offers a capability fault mechanism for recovering communication
channels to restarted components. Furthermore, L4ReAnimator contains
a userlevel checkpointing library that is transparent to
applications and helps to store an application's state after
restart. In my presentation, I will introduce L4ReAnimator and its
capability fault mechanism and also give an overview how the
checkpointing process works.
|
