diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-03-04 15:20:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-04 15:20:26 +0000 |
| commit | a765f3fffac95f270ce416dc15acd063b215f027 (patch) | |
| tree | 29fb04ead5d62bf1409729d06611dcf8a08b849f /ci | |
| parent | 790b074e18e13370aaab698587d6f0fa262aad1d (diff) | |
| parent | f86dab5ff3e9c35e9e68b798b5c4faa08d390085 (diff) | |
Merge #589
589: Fine grained concurrency on thumbv6m (no BASEPRI). r=korken89 a=perlindgren
This is an experimental implementation of SRP based scheduling on the M0/M0+ (thumbv6m) architecture.
The aim is a (sub)-zero abstraction to the resource protection (locking mechanism).
Please try, but not merge yet, since its an early POC.
Co-authored-by: Per Lindgren <per.lindgren@ltu.se>
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/expected/complex.run | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/ci/expected/complex.run b/ci/expected/complex.run new file mode 100644 index 0000000..5df884d --- /dev/null +++ b/ci/expected/complex.run @@ -0,0 +1,47 @@ +init +idle p0 started +t2 p4 called 1 time +enter lock s4 0 +t3 p4 exit +idle enter lock s3 0 +idle pend t0 +idle pend t1 +idle pend t2 +t2 p4 called 2 times +enter lock s4 1 +t3 p4 exit +idle still in lock s3 0 +t1 p3 called 1 time +t1 enter lock s4 2 +t1 pend t0 +t1 pend t2 +t1 still in lock s4 2 +t2 p4 called 3 times +enter lock s4 2 +t3 p4 exit +t1 p3 exit +t0 p2 called 1 time +t0 p2 exit + +back in idle +enter lock s2 0 +idle pend t0 +idle pend t1 +t1 p3 called 2 times +t1 enter lock s4 3 +t1 pend t0 +t1 pend t2 +t1 still in lock s4 3 +t2 p4 called 4 times +enter lock s4 3 +t3 p4 exit +t1 p3 exit +idle pend t2 +t2 p4 called 5 times +enter lock s4 4 +t3 p4 exit +idle still in lock s2 0 +t0 p2 called 2 times +t0 p2 exit + +idle exit |