christoph/fail
1
Fork 0
Code Releases Activity

wmoo: properly deal with timeouts (e.g., stuck in HLT)

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1334 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-06-12 15:13:24 +00:00
parent ff29f900ec
commit 6447c52355
2 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/experiments/weather-monitor/experiment.cc
View File

@ -249,6 +249,10 @@ bool WeatherMonitorExperiment::run()
// error detected
BPSingleEvent ev_detected(WEATHER_FUNC_VPTR_PANIC);
simulator.addEvent(&ev_detected);
// timeout (e.g., stuck in a HLT instruction)
// 10000us = 500000 instructions
TimerEvent ev_timeout(10000, true);
simulator.addEvent(&ev_timeout);
#if LOCAL && 0
// XXX debug
@ -277,6 +281,10 @@ bool WeatherMonitorExperiment::run()
log << "Result FINISHED (" << dec
<< count_loop_iter_before << "+" << count_loop_iter_after << ")" << endl;
result->set_resulttype(result->FINISHED);
} else if (ev == &ev_timeout) {
log << "Result TIMEOUT (" << dec
<< count_loop_iter_before << "+" << count_loop_iter_after << ")" << endl;
result->set_resulttype(result->TIMEOUT);
} else if (ev == &ev_below_text || ev == &ev_beyond_text) {
log << "Result OUTSIDE" << endl;
result->set_resulttype(result->OUTSIDE);

3
src/experiments/weather-monitor/weathermonitor.proto
View File

@ -30,7 +30,8 @@ message WeathermonitorProtoMsg {
TRAP = 2;
OUTSIDE = 3;
DETECTED = 4;
UNKNOWN = 5;
TIMEOUT = 5;
UNKNOWN = 6;
}
required ResultType resulttype = 2;