diff options
author | Jeremy Erickson <jerickso@cs.unc.edu> | 2013-11-25 15:50:04 -0500 |
---|---|---|
committer | Jeremy Erickson <jerickso@cs.unc.edu> | 2013-11-25 15:50:04 -0500 |
commit | 972ff75fcdddf59db00b50e8a28414cf0894cc24 (patch) | |
tree | 1d19a399f93701fe885f5ed721decd787e248efa | |
parent | 470baafab47738cb7b2474b07cbd6d44851a97f7 (diff) |
Add support for arbitrary GEL locking priorities
-rw-r--r-- | schedcat/locking/bounds.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/schedcat/locking/bounds.py b/schedcat/locking/bounds.py index f307b80..7e74959 100644 --- a/schedcat/locking/bounds.py +++ b/schedcat/locking/bounds.py | |||
@@ -37,6 +37,15 @@ def assign_edf_locking_prios(all_tasks): | |||
37 | for t in all_tasks: | 37 | for t in all_tasks: |
38 | t.locking_prio = prio[int(t.deadline)] | 38 | t.locking_prio = prio[int(t.deadline)] |
39 | 39 | ||
40 | def assign_prio_pt_locking_prios(all_tasks): | ||
41 | all_prio_pts = set([t.prio_pt for t in all_tasks]) | ||
42 | prio = {} | ||
43 | for i, pp in enumerate(sorted(all_prio_pts)): | ||
44 | prio[int(pp)] = i | ||
45 | |||
46 | for t in all_tasks: | ||
47 | t.locking_prio = prio[int(t.prio_pt)] | ||
48 | |||
40 | def assign_fp_locking_prios(all_tasks): | 49 | def assign_fp_locking_prios(all_tasks): |
41 | # prioritized in index order | 50 | # prioritized in index order |
42 | for i, t in enumerate(all_tasks): | 51 | for i, t in enumerate(all_tasks): |