diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-30 11:44:37 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-30 11:44:37 -0400 |
commit | 94cc65997d237ddeab24d396f06bb93bc0644a9d (patch) | |
tree | a402620f54785051ec3b96fa24357cad107299b0 /config/config.py | |
parent | 648d6381cac8376b5217f915eb49e3aea232df26 (diff) |
Cleaned up run_exps.py parameters.
Diffstat (limited to 'config/config.py')
-rw-r--r-- | config/config.py | 18 |
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.''' |
18 | FILES = {'ft_data' : 'ft.bin', | 18 | FILES = {'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.''' |
25 | PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps | 27 | PARAMS = {'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.''' |
38 | DEFAULTS = {'params_file' : 'params.py', | 40 | DEFAULTS = {'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', |