Björn Döbel

The podium will consist of representatives of all the OS projects participating in the devroom. This is thought as an interactive event. The audience will have the opportunity to ask questions, which will be answered by all representatives.

Other people: Martin Děcký Norman Feske Stefan Kalkowski Samuel Thibault Nils Asmussen

Operating systems research in fault tolerance has mainly focussed on dealing with faulty software, while resilience against transient hardware errors has been dealt with mostly by applying compiler techniques or using RAD-hardened hardware components. L4Re's Romain replication framework allows to replicate binary user applications on top of the Fiasco.OC microkernel. Replicas are run independently without modifications and are validated whenever they perform externalization events, such as system calls. In the talk I'm going to introduce Romain's architecture and discuss issues we had to deal with regarding replication of multithreaded applications in a capability-based system.