1 files changed, 11 insertions, 0 deletions

diff --git a/gen/edf_generators.py b/gen/edf_generators.py
index eda23e4..cca4d44 100644
--- a/gen/edf_generators.py
+++ b/gen/edf_generators.py
@@ -269,4 +269,15 @@ class CflSplitPgmGenerator(EdfPgmGenerator):
         if exp_params['level'] == 'ALL':
             # kludge: assume global task sets are always schedulable
             is_sched = True
+
+        if is_sched:
+            # compute the minimum time to produce/consume, so this can be discounted
+            # from the execution time during runtime
+            for ti in ts:
+                consume_amount = ti.wss
+                produce_amount = sum([e.wss for e in ti.node.outEdges])
+                consume_time = overheads.read(consume_amount)
+                produce_time = overheads.write(produce_amount)
+                ti.cost_discount = consume_time + produce_time
+
         return is_sched, ts