f468a197f9
n=WEATHER_NUMITER_TRACING - iterations that are traced (= fault-space width) - yields #instructions to that point in the golden run -> WEATHER_NUMINSTR_TRACING m=WEATHER_NUMITER_AFTER - iterations for observation afterwards (everything continuing OK?) - yields additional #instructions for that second part -> WEATHER_NUMINSTR_AFTER git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1102 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
49 lines
1.4 KiB
C++
49 lines
1.4 KiB
C++
#ifndef __WEATHERMONITOR_EXPERIMENT_INFO_HPP__
|
|
#define __WEATHERMONITOR_EXPERIMENT_INFO_HPP__
|
|
|
|
// autogenerated, don't edit!
|
|
|
|
#define GUARDED_WEATHERMONITOR 0
|
|
|
|
#if !GUARDED_WEATHERMONITOR // without vptr guards
|
|
|
|
// main() address:
|
|
// nm -C vanilla.elf|fgrep main
|
|
#define WEATHER_FUNC_MAIN 0x00100f80
|
|
// wait_begin address
|
|
#define WEATHER_FUNC_WAIT_BEGIN 0x00100f60
|
|
// wait_end address
|
|
#define WEATHER_FUNC_WAIT_END 0x00100f70
|
|
// number of main loop iterations to trace
|
|
// (determines trace length and therefore fault-space width)
|
|
#define WEATHER_NUMITER_TRACING 4
|
|
// number of instructions needed for these iterations in golden run (taken from
|
|
// experiment step #2)
|
|
#define WEATHER_NUMINSTR_TRACING 21437
|
|
// number of additional loop iterations for FI experiments (to see whether
|
|
// everything continues working fine)
|
|
#define WEATHER_NUMITER_AFTER 2
|
|
// number of instructions needed for these iterations in golden run (taken from
|
|
// experiment step #2)
|
|
#define WEATHER_NUMINSTR_AFTER 10676
|
|
// data/BSS begin:
|
|
// nm -C vanilla.elf|fgrep ___DATA_START__
|
|
#define WEATHER_DATA_START 0x001018c0
|
|
// data/BSS end:
|
|
// nm -C vanilla.elf|fgrep ___BSS_END__
|
|
#define WEATHER_DATA_END 0x001031a8
|
|
// text begin:
|
|
// nm -C vanilla.elf|fgrep ___TEXT_START__
|
|
#define WEATHER_TEXT_START 0x00100000
|
|
// text end:
|
|
// nm -C vanilla.elf|fgrep ___TEXT_END__
|
|
#define WEATHER_TEXT_END 0x001016fb
|
|
|
|
#else // with guards
|
|
|
|
// XXX
|
|
|
|
#endif
|
|
|
|
#endif
|