We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Deterministic replay support for Genode components

Formale Metadaten

Titel
Deterministic replay support for Genode components
Untertitel
Performance penalty and challenges
Serientitel
Anzahl der Teile
611
Autor
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache
Produktionsjahr2017

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
We are modifying Nova kernel to make it support temporal redundancy for userprocesses running Genode components. Every time a process releases the CPU, wemanage to restart it from its last starting point and re-run the same portionof the process code. An practical application of this could be animplementation of a fault tolerant system. At the end of the two executions,one may compare their memory footprints to detect an eventual fault due forexample to SEU. We are also interested in the performance penalty this wouldinduce on the overall systems compared to existing redundancy models. In thistalk, we will present how Genode components performances are impacted by thistype of redundancy. Possible choices and remaining challenges for extendingthis model for multiprocessor environment will also be discussed.