| Commit message (Collapse) | Author | Age |
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
The Python taskmodel implementation, TaskSystem, has multiple
definitions of assign_ids_by_period(), where one of them actually
assigns IDs by deadline. This patch renames the method accordingly.
|
| |
|
|
| |
This is useful for testing.
|
| | |
|
| | |
|
| |
|
|
|
| |
That is, using periods instead of response-time bounds,
as is the case in the published DPCP analysis.
|
| |
|
|
|
| |
Use the faster C++ version if available, unless the caller specifically requested
the Python implementation.
|
| |
|
|
|
|
| |
This patch adds the main LP generation for the construction of LPs that
yield safe upper bounds of maximum s-aware pi-blocking when
the objective function is maximized.
|
| |
|
|
|
|
|
| |
This patch adds the utility class LinearProgram, which implements a
simple representation of linear programs. Solving with CPLEX is
available as well, subject to the availability of the CPLEX Python
API.
|
| |
|
|
|
|
|
| |
- .without() skips certain tasks during iteration (useful for T_i != T_j
constraints).
- .with_higher_priority_than() skips all tasks with a larger ID.
- .with_lower_priority_than() skips all tasks with a smaller ID.
|
| |
|
|
|
| |
If the parameter already exists, then it should be inflated, not
overwritten.
|
| |
|
|
|
| |
If there is no priority point set for a Task, the GEL work triggered
an AttributeError due to a typo.
|
| |
|
|
| |
schedulers in native code and easy max lateness computation.
|
| | |
|
| |
|
|
| |
(Bjoern: removed trailing whitespace and commented out code)
|
| |
|
|
|
|
|
|
|
|
| |
- allow arbitrary period ranges
- don't generate periods of length 0 in case of period_min=1 and logunif periods
- allow scaling of generated parameters
- avoid rounding; instead optionally use parameter quantisation
- optionally decouple period granularity from period_min
(The patch also normalises non-standard whitespace usage.)
|
| |
|
|
|
| |
With very short periods, the floor operation might result in a period of 0.
This could crash quantize_params().
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
Integrate task set generator by Paul Emberson, Roger Stafford, Robert
Davis, presented at WATERS 2010 workshop.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
almost_worst_fit: like worst_fit, but uses second-to-worst bin.
any_fit: try each of the implemented heuristics and see if one works.
|
|
|
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.
|