aboutsummaryrefslogtreecommitdiffstats
path: root/config/config.py
diff options
context:
space:
mode:
Diffstat (limited to 'config/config.py')
-rw-r--r--config/config.py18
1 files changed, 9 insertions, 9 deletions
diff --git a/config/config.py b/config/config.py
index 5e6f9e3..cfdfb05 100644
--- a/config/config.py
+++ b/config/config.py
@@ -14,12 +14,14 @@ BINS = {'rtspin' : get_executable_hint('rtspin', 'liblitmus'),
14 # Optional, as sched_trace is not a publically supported repository 14 # Optional, as sched_trace is not a publically supported repository
15 'st_show' : get_executable_hint('st_show', 'sched_trace', True)} 15 'st_show' : get_executable_hint('st_show', 'sched_trace', True)}
16 16
17'''Names of output files.''' 17'''Names of data files.'''
18FILES = {'ft_data' : 'ft.bin', 18FILES = {'params_file' : 'params.py',
19 'ft_matches' : r'(ft.*\.bin$)|(.*\.ft)', 19 'sched_file' : 'sched.py',
20 'linux_data' : 'trace.dat', 20 'ft_data' : 'ft.bin',
21 'sched_data' : 'st-{}.bin', 21 'ft_matches' : r'(ft.*\.bin$)|(.*\.ft)',
22 'log_data' : 'trace.slog'} 22 'linux_data' : 'trace.dat',
23 'sched_data' : 'st-{}.bin',
24 'log_data' : 'trace.slog'}
23 25
24'''Default parameter names in params.py.''' 26'''Default parameter names in params.py.'''
25PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps 27PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps
@@ -35,9 +37,7 @@ PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps
35 } 37 }
36 38
37'''Default values for program options.''' 39'''Default values for program options.'''
38DEFAULTS = {'params_file' : 'params.py', 40DEFAULTS = {'duration' : 10,
39 'sched_file' : 'sched.py',
40 'duration' : 10,
41 'prog' : 'rtspin', 41 'prog' : 'rtspin',
42 'out-gen' : 'exps', 42 'out-gen' : 'exps',
43 'out-run' : 'run-data', 43 'out-run' : 'run-data',