aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/race-1.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/race-1.rs')
-rw-r--r--tests/cfail/race-1.rs6
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs
index 35a476d..0b32c5e 100644
--- a/tests/cfail/race-1.rs
+++ b/tests/cfail/race-1.rs
@@ -5,7 +5,11 @@ use rtfm::{C2, C4, P1, P3, Resource};
static R1: Resource<i32, C2> = Resource::new(0);
fn j1(prio: P1) {
- R1.lock(&prio, |r1, _| {
+ let ceil = prio.as_ceiling();
+
+ rtfm::raise_to(&ceil, &R1, |ceil| {
+ let r1 = R1.borrow(&prio, ceil);
+
// Would preempt this critical section
// rtfm::request(j2);
});