schedcat.git/native/src/edf, branch master

Improvements to the GEL Piecewise Linear module: support for arbitrary GEL schedulers in native code and easy max lateness computation.

2013-02-04T15:41:25+00:00

Use utilization cap instead of number of CPUs where applicable

2012-12-27T09:34:39+00:00

Minor bug fixes in the QPA implementation

2012-11-28T12:07:51+00:00

1) On Linux hosts, limits.h must be included explicitly.

2) Don't try to compute the busy interval if the task system
   is over-utilized.

Add QPA EDF uniprocessor test

2012-11-27T11:33:29+00:00

Based on Zhang and Burns (2009), "Schedulability Analysis for Real-Time Systems with EDF Scheduling", IEEE Transactions on Computers, Vol 58, No 9.

Added arbitrary-precision arithmetic to native module

2012-10-29T18:10:32+00:00

Initial GEL Piecewise Linear implementation

2012-09-25T16:39:56+00:00

Rename time types used in C++ schedulablity analysis

2012-04-11T15:00:35+00:00

integral_t   == integral time units
fractional_t == fractions of integral time units

This is hopefully less of an eyesore than mpq_class and mpz_class.

Bugfix: handle the case of zero slack in BaruahGedf

2012-04-11T11:53:43+00:00

This could create a floating point exception (division by zero) in edge cases.

Implement timeout in BaruahGEDF

2012-04-11T11:53:40+00:00

Give up after running for 5 seconds. This is almost never triggered, but once in a while
this should help to catch a pseudo-polynomial excursion.

Import refactored schedcat codebase

2012-02-02T09:40:07+00:00

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.