ef45841b91
MemAccess aspect: only save rmw_address if MEMREAD/MEMWRITE is enabled
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1456 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-16 18:21:09 +00:00
e4570d95bd
Bochs aspects -> BochsController interface renamings
...
SimulatorController::on...Listener() does not really make sense: These
functions are called when a specific event occurs in the simulator. A
"Listener" cannot occur. Renaming these to "on..." for now; we could
alternatively use "on...Event" later.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1455 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-16 18:21:06 +00:00
b245327b7e
adding interval matching to memory-access listeners
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1454 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-16 18:21:03 +00:00
1a339c1814
typos
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1453 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-16 18:20:57 +00:00
39a82218cc
new plugin serialoutput
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1452 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-13 13:49:22 +00:00
2076d21e61
Experiment updates due to last commit.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1449 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-12 10:45:39 +00:00
a78911702a
Events -> Listeners, waitAny -> resume, addEventAndWait -> addListenerAndResume, ... (refactoring), updated experiments/plugin accordingly, coding-style fixed.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1448 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-12 10:37:54 +00:00
e4a60e8408
Removed internal (event-)ID stuff (no need for ID's ATM).
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1445 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-11 11:46:11 +00:00
0fbe3d7cfd
ecos_kernel_test experiment update
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1444 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-10 10:38:16 +00:00
bc922a98d3
ecos_kernel_test: merge experiment steps 0-2 into a single run
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1443 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-09 13:58:47 +00:00
4aa4943ae9
Minimal VEZS example experiment
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1440 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-06 10:41:13 +00:00
13d5e4dbeb
Bochs-modifying aspect: never abort/ask the user on what to do
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1428 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-05 16:31:14 +00:00
596f4c0644
new experiment: ecos_kernel_test
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1426 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-05 14:37:38 +00:00
48a83137fa
FAIL: Typo in sal/Register.hpp
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1425 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-05 14:37:34 +00:00
74c4f1cfd1
Typos + Coding-Style fixed, TODO revisited.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1422 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-04 11:25:26 +00:00
7adb59e68e
checksum-oostubs: update experiment target
...
* make use of standAlone pointcut expression (seems to work properly)
* updated test case, where bochs fails (once again) ;-)
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1421 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-04 09:39:55 +00:00
8d8a472569
Added missing doxygen comments.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1419 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-04 08:29:20 +00:00
4e2e02e48c
checksum-oostubs: unsure why waiting, if finished_reached before FI
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1418 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-04 07:53:56 +00:00
7e9914d576
checksum-oostubs: pruning takes ~3s now
...
TODO: modularize single-bit flip fault-space pruning
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1416 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 14:33:06 +00:00
aba1ad1e4d
checksum-oostubs: traces aren't single protobuf messages
...
... therefore we shouldn't use the .pb file extension here. Simply rename
your existing .pb to .tc for reuse.
+defining LOCAL for experiment debugging (disabled)
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1415 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 14:33:03 +00:00
9d0bb7b6b5
install targets for fail-client and server
...
"make install" installs both fail-client and the campaign server, if the
experiment provides one.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1414 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 13:27:07 +00:00
ababa48fd7
reboot (and interrupt injection?) are also async_events
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1411 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 13:26:58 +00:00
765c5f6985
fix restore() in case no "natural" async_events occur
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1410 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 12:38:24 +00:00
e0072e393b
checksum-oostubs: instr_offset + mem_addr for bochs debugging
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1408 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 10:03:39 +00:00
9e41c1a39c
Initial example experiment:
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1399 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-02 10:40:04 +00:00
e8ec6dc722
find and use libudis86 properly in l4-sys experiment
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1393 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-29 22:51:18 +00:00
4a4b3ea7e2
FailBochs build process reversed
...
The FailBochs client is not linked by the Bochs build system anymore, but
by our cmake scripts (make fail-client):
- All Bochs libraries are merged into libfailbochs.a (a new target
within the Bochs Autotools scripts).
- The previous libfail.a is *not* a merge of all Fail* libraries anymore,
but pulls these in via library dependencies.
Additionally I did a lot of build system cleanup, e.g. additional external
libraries may now be pulled in where they're needed.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1390 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-29 22:22:41 +00:00
fe915e7d52
++coding-style.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1388 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-27 11:27:06 +00:00
ac5dee6549
Renamed EventList -> EventManager (refactoring).
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1387 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-27 11:15:42 +00:00
1dd7f40e30
++coding-style.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1386 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-27 07:56:41 +00:00
22c5cdbde2
Adding some code to the L4-Sys experiment, and making it compile again.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1385 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-26 11:37:21 +00:00
5259f3497b
checksum-oostubs experiment update for new ecc aspects
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1384 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-22 14:19:35 +00:00
5f7ca1bc7b
wmoo: 400x fault-space pruning speedup
...
next steps:
- modularize single-bit flip fault-space pruning
- use improved method in other experiments (esp. checksum-oostubs)
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1383 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-22 14:03:56 +00:00
10ac5aac45
update checksum-oostubs target + experiment (use ecc for classes w/ inheritance)
...
* TODO: find bug in standAlone variant
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1380 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-22 12:14:55 +00:00
09c3f64d51
Bugfixing in L4-Sys
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1379 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-22 08:56:22 +00:00
58822b02f3
Some improvements on L4, and correcting a mistake made in revision 1361 (see mailing list).
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1377 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 14:19:21 +00:00
aa838b3c5a
update checksum-oostubs for new timer
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1376 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 12:46:17 +00:00
32481e1442
update for checksum-oostubs
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1375 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 12:43:30 +00:00
d143d6ae50
EvendId -> event_id_t (refactoring).
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1370 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 11:18:38 +00:00
e586f9d844
wmoo: TimerEvent constructor fix.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1367 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 11:04:16 +00:00
ad0cfb9b11
Pre-/postprocessing is done within the event objects (Bochs-specific event added), ++coding-style.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1366 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 10:47:22 +00:00
5effe564f0
++coding-style
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1365 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 10:39:05 +00:00
127a25707f
coding-style improved.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1364 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-20 08:42:58 +00:00
bff60aeae3
Additionally passing the current Bochs CPU context and instruction cache entry to BochsController (enables detailed instruction analysis and modification)
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1361 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-15 16:39:14 +00:00
33772f750e
wmoo: don't do more experiments than necessary
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1353 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-14 15:54:03 +00:00
784c05572e
wmoo: store more details on broken result data
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1346 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-13 16:43:22 +00:00
87f3ed10b4
wmoo: don't send a fishy result set
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1345 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-13 16:43:18 +00:00
10c68fdb9d
wmoo: don't trace more than necessary
...
Currently we're tracing until four main loop iterations are completed.
The campaign uses the complete trace to span the fault space, but we
cut it off afterwards for comparability reasons (same width as vanilla).
This (disabled) patch executes only the actually necessary number of
experiments in the first place.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1342 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-13 12:53:36 +00:00
c250d58e21
wmoo: remove events before leaving their scope
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1341 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-13 12:53:32 +00:00
d48f4d0f69
wmoo: TimerEvent bugfix (the event needs to be deleted explicitly).
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1340 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-13 11:37:33 +00:00
