schedcat.git/native/interface, branch staging [ARCHIVE] Bjorn's schedulability study framework. Now on GitHub. added "baseline" analysis for comparison 2013-12-13T07:40:30+00:00 Alexander Wieder awieder@mpi-sws.org 2013-05-08T09:54:45+00:00 9467ff6674845e95a19db15e7de16697828d9f9d This allows to run the ILP-based blocking analysis for spinlocks with only the common constraints enabled (i.e., no spinlock type specific constraints). This is useful for comparison. 
This allows to run the ILP-based blocking analysis for spinlocks with only
the common constraints enabled (i.e., no spinlock type specific constraints).
This is useful for comparison.
added wrappers and Python interface for preemptive spinlock analysis 2013-12-13T07:40:30+00:00 Alexander Wieder awieder@mpi-sws.org 2013-05-08T09:53:07+00:00 4b266d05a877206433e8c382fdeda9c83db1aecf 






added constraints for the analysis of non-preemptive prioritized FIFO mutex spinlocks
2013-12-13T07:39:08+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-04-29T06:36:24+00:00

9838dfcf0177673ee4ce546e088a389a7fb5e44d












added constraints for the analysis of non-preemptive unordered mutex spinlocks
2013-12-13T07:39:08+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-04-29T06:35:35+00:00

e3b68ad6d8344e106410478c47d553d29e0ea6eb












added constraints for the analysis of non-preemptive prioritized mutex spinlocks
2013-12-13T07:39:07+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-04-29T06:34:26+00:00

408145b9f503a9632c41845951ad4458f0bf90da












added constraints for the analysis of MSRP
2013-12-13T07:39:07+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-03-28T13:57:38+00:00

b7a6c6f66fdce0e942100b1f4edf90851f466e27












implement classic (non-LP, non-holistic) MSRP analysis for comparison
2013-12-13T07:39:07+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-02-18T03:57:43+00:00

18b0abe53e20b7486ea30b87f13356706c6eb151












Add holistic MSRP analysis (with PCP/SRP for local resources)
2013-12-13T07:39:06+00:00

Bjoern Brandenburg
bbb@mpi-sws.org

2013-08-15T06:47:03+00:00

b98848e9570d00ded81d5b82672003a50c3e4c99

This patch adds holistic analysis of the MSRP, which combines the PCP/SRP
for local resources and task-fair mutex spin locks for global resources.

This is added as its own analysis (rather than patching the task-fair mutex
code directly) because
- the MSRP only applies to partitioned scheduling, and
- to not break existing code that does not expect special treatment of local resources.

Simple tests included. Adds some convenience code to Interference and BlockingBounds.





This patch adds holistic analysis of the MSRP, which combines the PCP/SRP
for local resources and task-fair mutex spin locks for global resources.

This is added as its own analysis (rather than patching the task-fair mutex
code directly) because
- the MSRP only applies to partitioned scheduling, and
- to not break existing code that does not expect special treatment of local resources.

Simple tests included. Adds some convenience code to Interference and BlockingBounds.







Export the LP-based analysis of the DFLP/DPCP
2013-02-12T11:49:40+00:00

Bjoern Brandenburg
bbb@mpi-sws.org

2012-08-07T18:30:16+00:00

aa726aa597d5e1aa75b69b0e37caa98ee63d6543

...via Swig to Python. The actual Python API will
be finalized later.





...via Swig to Python. The actual Python API will
be finalized later.







Extract sharedres_types.h from sharedres.h
2013-02-12T11:49:39+00:00

Bjoern Brandenburg
bbb@mpi-sws.org

2012-08-07T17:51:20+00:00

6bd218ab3d181a6295de0da88489abe40ffd3cec

The LP code requires many of the same definitions. Therefore, this patch splits the reusable
type definitions into an individual file to facilitate inclusion.





The LP code requires many of the same definitions. Therefore, this patch splits the reusable
type definitions into an individual file to facilitate inclusion.