aboutsummaryrefslogtreecommitdiffstats
path: root/include/litmus/pgm.h
Commit message (Collapse)AuthorAge
* PGM: Boost priority of producers, not consumers.Glenn Elliott2014-02-19
| | | | | | | 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.
* PGM release/deadline adjustment.Glenn Elliott2014-02-19
Adds code that adjusts a jobs release and deadline according to when the job receives the necessary PGM tokens.