Delay microsecond -> millisecond conversion.

We must delay the microsecond to millisecond conversion because
overhead/partitioning heuristics are meant to operate in the
microsecond time scale.

Scaling now takes place when the sched.py file is generated.

1 files changed, 0 insertions, 6 deletions

diff --git a/gen/edf_generators.py b/gen/edf_generators.py
index d9e8b31..7a6176d 100644
--- a/gen/edf_generators.py
+++ b/gen/edf_generators.py
@@ -138,12 +138,6 @@ class EdfPgmGenerator(gen.Generator):
     def _create_tasks(self, dp):
         '''Create a task set.'''
         ts, graphs, subts = create_pgm_task_set(dp)
-        # convert to ms
-        for t in ts:
-            t.cost = t.cost / 1000.0
-            t.period = t.period / 1000.0
-            t.deadline = t.deadline /1000.0
-
         return ts, graphs, subts
 
     def _customize(self, taskset, exp_params):