adb2bf2787
Comments + Coding-Style fixed.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1461 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-30 13:34:52 +00:00
f3f58750c9
Adding build description for gem5.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1460 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-29 16:11:14 +00:00
41ef24747b
SerialOutput-plugin update
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1458 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-19 13:10:52 +00:00
c06565aa4e
Basic SAL files and makefile modifications for adding gem5.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1457 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-17 15:35:29 +00:00
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
d30e361ce5
class-diagramm++
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1447 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-12 08:21:14 +00:00
97d93a8e3d
Class diagram updates.
...
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1446 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-07-11 12:39:39 +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
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
