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

Formal Metadata

Title
Deterministic replay support for Genode components
Subtitle
Performance penalty and challenges
Title of Series
Number of Parts
611
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language
Production Year2017

Content Metadata

Subject Area
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.