Fiasco-Fail: Fault-Injection experiment campaign for the Fiasco microkernel
Campaign to perform fault injection experiments on the Fiasco microkernel. Required arguments: - Variant (-v): The actual experiment variant (e.g. BASELINE) - Benchmark (-b): The actual experiment benchmark - Golden-Run (-g) : Specify whether the golden-run or the actual fault-injection experiment should be executed (only for fail-client) - Stop address (-E): Address where the experiment should finish - Timer-ticks (-T): Number of timer ticks from the golden run experiment - Total-instructions (-t): Number of total instructions from the golden run experiment - Ecc-panic-function-address (-p): Address of the Ecc-panic function in order to detect failures (if any fault detection is included) - Errors_corrected variable address (-c): Address of the errors_corrected variable in order to determain if any error was corrected Important: First run the generic-tracing experiment so there is a "state" folder where the actual experiment can start from and import/prune the resulting trace. Change-Id: I151428ecc21f5e714cc923674ebbca9d84435704
This commit is contained in:
committed by
Christoph Borchert
parent
140944fda1
commit
342af09e34
9
src/experiments/fiascoFail/experimentInfo.hpp
Normal file
9
src/experiments/fiascoFail/experimentInfo.hpp
Normal file
@ -0,0 +1,9 @@
|
||||
#ifndef __FIASCOFAIL_EXPERIMENT_INFO_HPP
|
||||
#define __FIASCOFAIL_EXPERIMENT_INFO_HPP
|
||||
|
||||
#define FIASCO_BREAK_BLINK 0xf004b800
|
||||
#define FIASCO_BREAK_LONGJMP 0xf004c88e
|
||||
|
||||
#define FIASCO_FAULTMODEL_BURST 1
|
||||
|
||||
#endif
|
||||
Reference in New Issue
Block a user