aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/lock.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/lock.rs')
-rw-r--r--tests/cfail/lock.rs34
1 files changed, 14 insertions, 20 deletions
diff --git a/tests/cfail/lock.rs b/tests/cfail/lock.rs
index 62d3c6ef..64753ac1 100644
--- a/tests/cfail/lock.rs
+++ b/tests/cfail/lock.rs
@@ -1,42 +1,36 @@
extern crate cortex_m_rtfm as rtfm;
-use rtfm::{C16, C1, C2, C3, P1, P16, P2, P3, Resource};
+use rtfm::{CMax, C2, P1, P2, P3, PMax, Resource, T1, T2, T3, TMax};
static R1: Resource<i32, C2> = Resource::new(0);
-// You CAN'T use `raise` to lower the system ceiling
-fn j1(prio: P3, ceil: C3) {
- ceil.raise(&R1, |ceil| {});
- //~^ error
-}
-
// You don't need to raise the ceiling to access a resource with ceiling equal
// to the task priority.
-fn j2(prio: P2, ceil: C2) {
- ceil.raise(&R1, |_| {});
+fn j1(prio: P2, thr: T2) {
+ thr.raise(&R1, |_| {});
//~^ error
// OK
- let r1 = R1.access(&prio, &ceil);
+ let r1 = R1.access(&prio, &thr);
}
// You CAN access a resource with ceiling C from a task with priority P if C > P
-// and you raise the ceiling first
-fn j3(prio: P1, ceil: C1) {
+// if you raise the preemption threshold first
+fn j2(prio: P1, thr: T1) {
// OK
- ceil.raise(&R1, |ceil| { let r1 = R1.access(&prio, ceil); })
+ thr.raise(&R1, |thr| { let r1 = R1.access(&prio, thr); })
}
-static R2: Resource<i32, C16> = Resource::new(0);
+static R2: Resource<i32, CMax> = Resource::new(0);
-// Tasks with priority less than P16 can't access a resource with ceiling C16
-fn j4(prio: P1, ceil: C1) {
- ceil.raise(&R2, |ceil| {});
+// Tasks with priority less than P16 can't access a resource with ceiling CMax
+fn j4(prio: P1, thr: T1) {
+ thr.raise(&R2, |thr| {});
//~^ error
}
-// Only tasks with priority P16 can access a resource with ceiling C16
-fn j5(prio: P16, ceil: C16) {
+// Only tasks with priority P16 can directly access a resource with ceiling CMax
+fn j5(prio: PMax, thr: TMax) {
// OK
- let r2 = R2.access(&prio, &ceil);
+ let r2 = R2.access(&prio, &thr);
}