diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-05 14:17:51 +0100 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-05 14:17:51 +0100 |
commit | a0f1debb7c578df2f0525616ee354e465bff4281 (patch) | |
tree | 21d5caa9dde7a1fcf6ba0c9c0c080d4266e376b2 | |
parent | 6a3a5ccd3d3da7f9171b96bcf9be7aaef10a4a7a (diff) |
generate-dfa-benchmark: use sleep, not busy waiting, in EnergyTrace mode
-rwxr-xr-x | bin/generate-dfa-benchmark.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 5d89a2d..59da8e7 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -143,7 +143,10 @@ def benchmark_from_runs(pta: PTA, runs: list, harness: OnboardTimerHarness, benc outbuf.write('// current parameters: {}\n'.format(', '.join(map(lambda kv: '{}={}'.format(*kv), param.items())))) if opt['sleep']: - outbuf.write('arch.delay_ms({:d}); // {}\n'.format(opt['sleep'], transition.destination.name)) + if 'energytrace' in opt: + outbuf.write('arch.sleep_ms({:d}); // {}\n'.format(opt['sleep'], transition.destination.name)) + else: + outbuf.write('arch.delay_ms({:d}); // {}\n'.format(opt['sleep'], transition.destination.name)) outbuf.write(harness.stop_run(num_traces)) if dummy: |