christoph/fail
1
Fork 0
Code Actions Packages Releases Activity
1,441 Commits 1 Branch 2 Tags
c34917ca8034b903dc9a563c8e3fd92d8fa13b38
Commit Graph
1441 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
hoffmann 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
hsc 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
chb 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
chb 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
adrian 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
chb 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
adrian 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
chb 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
hsc 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
hsc 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
hsc 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
hsc 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
hsc 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
hsc 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
hsc 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
hsc 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
chb 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
hsc 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
hsc 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
hsc 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
hoffmann 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
hsc 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
hsc 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
hsc 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
hsc 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
hsc 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
hsc 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
hoffmann 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
adrian 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
adrian 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
adrian 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
unzner 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
chb 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
hsc 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
chb 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
unzner 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
unzner 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
chb 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
chb 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
adrian 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
adrian 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
adrian 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
adrian 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
adrian 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
adrian 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
adrian 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
adrian 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
adrian 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
unzner 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
hsc 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