diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-09 11:47:04 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-02-12 06:55:15 -0500 |
| commit | 67c3193f1773e05df33b2316cb063652bf6652ff (patch) | |
| tree | d09e95c8bb7b8f0abeffd26b1ff2ad0356622beb | |
| parent | 52452d0589ed8654288a575c0083816cef43a2ba (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.py | 7 |
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 | ||
| 83 | def apply_dpcp_bounds(all_tasks, resource_mapping): | 83 | def 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 | ||
