diff options
Diffstat (limited to 'config/config.py')
-rw-r--r-- | config/config.py | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/config/config.py b/config/config.py index d463999..31ef7c7 100644 --- a/config/config.py +++ b/config/config.py | |||
@@ -10,7 +10,7 @@ BINS = {'rtspin' : get_executable('rtspin', 'liblitmus'), | |||
10 | 'ftsort' : get_executable('ftsort', 'feather-trace-tools'), | 10 | 'ftsort' : get_executable('ftsort', 'feather-trace-tools'), |
11 | 'st_trace' : get_executable('st_trace', 'feather-trace-tools'), | 11 | 'st_trace' : get_executable('st_trace', 'feather-trace-tools'), |
12 | 'trace-cmd' : get_executable('trace-cmd', 'rt-kernelshark'), | 12 | 'trace-cmd' : get_executable('trace-cmd', 'rt-kernelshark'), |
13 | # Optional, as sched_trace is not a publically supported repository | 13 | # Optional, as sched_trace is not a publically supported repository |
14 | 'st_show' : get_executable('st_show', 'sched_trace', True)} | 14 | 'st_show' : get_executable('st_show', 'sched_trace', True)} |
15 | 15 | ||
16 | '''Names of output files.''' | 16 | '''Names of output files.''' |
@@ -20,19 +20,18 @@ FILES = {'ft_data' : 'ft.bin', | |||
20 | 'log_data' : 'trace.slog'} | 20 | 'log_data' : 'trace.slog'} |
21 | 21 | ||
22 | '''Default parameter names in params.py.''' | 22 | '''Default parameter names in params.py.''' |
23 | # TODO: add check for config options | 23 | PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps |
24 | PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps | 24 | 'dur' : 'duration', # Duration of tests in run_exps |
25 | 'dur' : 'duration', # Duration of tests in run_exps | 25 | 'kernel' : 'uname', # Regex of required OS name in run_exps |
26 | 'kernel' : 'uname', # Regex of required OS name in run_exps | 26 | 'cycles' : 'clock-frequency', # Frequency run_exps was run with |
27 | 'cycles' : 'cpu-frequency', # Frequency run_exps was run with | 27 | 'tasks' : 'tasks' # Number of tasks |
28 | 'tasks' : 'tasks' # Number of tasks | ||
29 | } | 28 | } |
30 | 29 | ||
31 | '''Default values for program options.''' | 30 | '''Default values for program options.''' |
32 | DEFAULTS = {'params_file' : 'params.py', | 31 | DEFAULTS = {'params_file' : 'params.py', |
33 | 'sched_file' : 'sched.py', | 32 | 'sched_file' : 'sched.py', |
34 | 'duration' : 10, | 33 | 'duration' : 10, |
35 | 'spin' : 'rtspin', | 34 | 'spin' : 'rtspin', |
36 | 'cycles' : 2000} | 35 | 'cycles' : 2000} |
37 | 36 | ||
38 | '''Default sched_trace events (this is all of them).''' | 37 | '''Default sched_trace events (this is all of them).''' |