| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
|
|
|
| |
Felipe Cerqueira reported incorrect QPA results. The root cause was
a corner case in the demand calculation. This patch fixes the
underestimation of demand if time == deadline and adds a test case
discovered by Felipe that triggered the bug.
|
|
|
|
|
| |
Use the faster C++ version if available, unless the caller specifically requested
the Python implementation.
|
|
|
|
|
|
|
|
|
|
| |
This patch fixes two bugs in the implementation of preemption-centric interrupt accounting.
1) When using dedicated interrupt-accounting, it there is a charged of oheads.release(n) required to model the delay due to the execution of the job's own release ISR. This bug was reported by Jeremy Erickson.
2) The definition of C_pre includes a divisor of 1.0 - utick - urel, which was missing.
As a result, the impact of IRQ-related delays was somewhat underestimated.
|
|
|
|
| |
Based on Zhang and Burns (2009), "Schedulability Analysis for Real-Time Systems with EDF Scheduling", IEEE Transactions on Computers, Vol 58, No 9.
|
|
|
|
|
|
| |
Otherwise, the resource model will not be copied correctly, which
can lead to wrong results if parameters are inflated to account
for overheads.
|
|
|
|
| |
The bound should not reflect requests executed by agents that can be preempted.
|
| |
|
| |
|
| |
|
|
Based on the code available at http://www.cs.unc.edu/~bbb/diss,
this is a cleaned-up version of schedcat intended to serve as
the basis for all further development.
Notable improvements: more unit tests and a cleaner module structure.
|