aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2012-08-09 11:47:04 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2013-02-12 06:55:15 -0500
commit67c3193f1773e05df33b2316cb063652bf6652ff (patch)
treed09e95c8bb7b8f0abeffd26b1ff2ad0356622beb
parent52452d0589ed8654288a575c0083816cef43a2ba (diff)
Allow clients to use the original DPCP blocking terms
That is, using periods instead of response-time bounds, as is the case in the published DPCP analysis.
-rw-r--r--schedcat/locking/bounds.py7
1 files changed, 4 insertions, 3 deletions
diff --git a/schedcat/locking/bounds.py b/schedcat/locking/bounds.py
index 0b47fb4..b2093a9 100644
--- a/schedcat/locking/bounds.py
+++ b/schedcat/locking/bounds.py
@@ -80,10 +80,11 @@ def get_cpp_topology(res_mapping):
80 map.assign_resource(res_id, res_mapping[res_id]) 80 map.assign_resource(res_id, res_mapping[res_id])
81 return map 81 return map
82 82
83def apply_dpcp_bounds(all_tasks, resource_mapping): 83def apply_dpcp_bounds(all_tasks, resource_mapping,
84 use_text_book_definition=False):
84 # The DPCP bounds are expressed in terms of task periods, 85 # The DPCP bounds are expressed in terms of task periods,
85 # not response time. 86 # not response time, in the original definition.
86 model = get_cpp_model(all_tasks) 87 model = get_cpp_model(all_tasks, use_text_book_definition)
87 topo = get_cpp_topology(resource_mapping) 88 topo = get_cpp_topology(resource_mapping)
88 res = cpp.dpcp_bounds(model, topo) 89 res = cpp.dpcp_bounds(model, topo)
89 90