diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-11-19 14:12:08 -0500 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2014-02-19 15:33:40 -0500 |
| commit | e92deb39f12594254a3dce0b9cac347eab9dd2ad (patch) | |
| tree | 6bccf0d5d86baa319528c97f78a6afd2f3803a0e /litmus/budget.c | |
| parent | c99faf7a7afc4ff013628fa4321e590d8bb1aecb (diff) | |
PGM: Boost priority of producers, not consumers.
This patch boosts the priority of PGM producers while
they are sending tokens instead of boosting the priority
of consumers while they are waiting for tokens. This improves
schedulability analysis.
Diffstat (limited to 'litmus/budget.c')
0 files changed, 0 insertions, 0 deletions