Task snapshoting in HelenOS

Abstract

HelenOS je moderním mikrokernelovým operačním systémem vyvíjeným na Matematicko-Fyzikální fakultě Univerzity Karlovy v Praze. Checkpointing je technika běžně používaná pro zajištění určité úrovně chybové tolerance pro aplikace, může však být použita i jako stavební kámen pro implementaci migrace procesů. HelenOS nebyl navržen s ohledem na tuto funkčnost; cílem této práce je proto prozkoumat možnosti, jak by se tato technika dala do HelenOS přidat, a navrhnout a implementovat prototyp.

HelenOS is a modern micro-kernel based operating system being developed at the Faculty of Mathematics and Physics of the Charles University in Prague. Application checkpointing is a feature which is primarily used for adding fault tolerance to computing systems, however, it can also be used as a basis for process migration. HelenOS has not been developed with support for application checkpointing in mind; the aim of this thesis is to explore the possibilities of adding such support to HelenOS and provide a prototype implemetation.