christoph/fail
1
Fork 0
Code Actions Packages Releases Activity
909 Commits 1 Branch 2 Tags
a65c64791e25ca365f36b05376f6dfed60f7f5c8
Commit Graph
15 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Bjoern Doebel a65c64791e L4Sys experiment: add CR3 detection to prep run 
Change-Id: Iebbc0309695ee6a7bb8c68fd6ffa24b73ffd7ee5
 2013-10-21 15:28:07 +02:00
Bjoern Doebel 77b2e208d0 L4Sys Experiment: more on address space tracing 
* introduce L4SYS_ADDRESS_SPACE_TRACE to indicate that we want
  to trace instructions in a different AS from the one we are starting
  the experiment in
* add CR3Run() to determine address space ID

Change-Id: I7bdaf1e858a6dd369af5175bd56e1b4e2d5f05ef
 2013-10-21 15:28:07 +02:00
Bjoern Doebel 523f4a465b add injection address to results 
Change-Id: I7966f97b8c09bbd6510ca6066dd40be398b54de3
 2013-10-21 15:28:07 +02:00
Bjoern Doebel 6274ddb15f Merge branch 'master' of ssh://vamos.informatik.uni-erlangen.de:29418/fail 2013-09-12 18:20:29 +02:00
Bjoern Doebel ff19bec52d L4Sys: some bug fixes 
* Fowler's Law of Refactoring: Have test cases available.
* BjoernD's Corollary to Fowler's Law: Use these tests!

Change-Id: I3d3e48ffe08209891c6204655323cd26a0eaaebd
 2013-09-12 18:19:04 +02:00
Bjoern Doebel 1ca9cb4a52 L4Sys: adapt to DatabaseCampaign 
Change-Id: Ia4912e7a74afccb51f6d704830a2d9c5b5c0159a
 2013-08-30 16:06:15 +02:00
Bjoern Doebel 045c08faf6 l4sys script: remove dbg option 
Change-Id: Ica13735ba04b7ae79fde6fb1462ca8200694b278
 2013-08-30 16:05:21 +02:00
Bjoern Doebel ed772429f9 L4Sys: fix use of L4SYS_NUMINSTR 
* L4SYS_NUMINSTR counts the instructions that were selected for
  injection and is used by the campaign server to generate experiments
* L4SYS_TOTINSTR counts the total number of instructions executed.
  It is used by the experiment to determine the timeout value.

Change-Id: Ibf37aea2a1f5ad5afad2b1232ce22fe070b08490
 2013-08-09 14:59:45 +02:00
Bjoern Doebel 2c35ac6235 RangeFilter: make boundaries inclusive 
Change-Id: Iecf7de565053bcd99a19a02722adcef458f5550b
 2013-08-09 14:57:20 +02:00
Bjoern Doebel 5364cfefaa typo... 
Change-Id: Ic23a74c429b5b441a85d9e3933f2f9829bc679f9
 2013-08-08 17:01:05 +02:00
Bjoern Doebel f8e31445ce L4Sys: add a script to automate experiment setup 
Change-Id: I1f5770bbbc75a6498182e8b357756c48cc81dfa2
 2013-08-08 16:57:11 +02:00
Bjoern Doebel 36afe76d33 Add protected white space 
Change-Id: I49d393fc53ca22822c7f0d7f044d4383f7207e90
 2013-08-08 13:48:34 +02:00
Bjoern Doebel b8d41f73fc Adjust L4Sys Manual 
- some more details on the requires experiment steps
- wording and layout fixes

Change-Id: I62b7b1cd5e2d5e746a8e8184349e465afcd2e7ff
 2013-08-08 13:45:46 +02:00
Bjoern Doebel 8724ff7cb4 Extend L4-Sys manual 
* mention how to obtain an L4Re setup
* describe finding the address space identifier in more detail

Change-Id: If56bfa255d498106920f39a7380b97306a8731c8
 2013-08-07 16:04:17 +02:00
Bjoern Doebel 31f4117e4b Fiasco.OC bochsrc example 
Add an example bochsrc to run Fiasco.OC.
 2013-02-23 03:57:34 +01:00