schedcat.git/native/include, 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 preemptive prioritized spinlocks
2013-12-13T07:40:30+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-05-08T09:46:54+00:00

28ac7eff21bd8ff3e0fb07293de9efe95690b3e6

Mostly existing constraints for non-preemptive prioritized spinlocks were
extended.





Mostly existing constraints for non-preemptive prioritized spinlocks were
extended.







added constraints for preemptive FIFO spinlocks
2013-12-13T07:40:30+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-05-08T08:47:11+00:00

7ac631e29f8d9d5f2c27c9b2937253fe19dfb075

Some new constraints and helper functions specific for preemptive FIFO
spinlocks were added. To a large extent, the constraints for MSRP were
re-used and extended to produce constraints for preemptive FIFO spinlocks
if the flag "preemptive = true" is passed.





Some new constraints and helper functions specific for preemptive FIFO
spinlocks were added. To a large extent, the constraints for MSRP were
re-used and extended to produce constraints for preemptive FIFO spinlocks
if the flag "preemptive = true" is passed.







added helper functions and common constraints for the analysis of preemptive spinlocks
2013-12-13T07:40:30+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-05-08T07:22:46+00:00

6e11e516c40aef28e86e5a9f421a33e7fb4a0841












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












added common constraints and helper functions for the analysis of spinlocks
2013-12-13T07:39:07+00:00

Alexander Wieder
awieder@mpi-sws.org

2013-04-29T06:19:50+00:00

9ca65aae96eaddbb0c1b13c304b1d9c37589c570