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
e94773937b
documentation update for build-system changes
...
+script snippet on how to automatically fill the bochslibs/ directory
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1417 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 16:11:15 +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
3413243ea9
bochs(un)install targets removed
...
This doesn't work anymore, as we're not building a bochs binary.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1413 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 13:27:04 +00:00
b2353078bc
add cmake configuration for additional ag++ flags
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1412 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-03 13:27:01 +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
80076ec568
reduced cmake cache variable namespace pollution
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1403 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-02 17:16:30 +00:00
4c3c5d53ab
more fine-grained X11 library linking
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1401 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-02 12:03:12 +00:00
83f64fd4bc
removing build-system debug output
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1400 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-02 12:03:09 +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
0ff2fb4dad
more fine-grained X11 checks
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1395 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-30 00:14:37 +00:00
32d882742c
build system fix for Ubuntu 12.04
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1394 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-30 00:14:33 +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
711572507d
cmake compatibility fix
...
*sigh*
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1392 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-29 22:51:14 +00:00
b832a11837
cmake compatibility fixes; optional Bochs dependencies
...
Gotta love subtle differences between cmake 2.8.2 and 2.8.7. Builds on
both Debian 6.0 and Ubuntu 12.04 now.
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1391 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-29 22:22:47 +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
651738fcca
Empty base dir for VEZS
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1389 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-29 11:20:05 +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
ccf57e3d7a
++coding-style.txt
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1373 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 11:49:46 +00:00
f4b2737091
TODO revisited.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1372 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 11:35:21 +00:00
2f42fd07f5
class-diagram update
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1371 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-21 11:34:23 +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
583f60c430
Typo fixed.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1363 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-20 08:27:48 +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
94909e8565
Separated how-to-build -> how-to-build + how-to-use, added details on experiment parallelization, updated fail-structure docs.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1348 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-06-14 10:26:51 +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
