diff options
Diffstat (limited to 'tests/cfail/race-1.rs')
| -rw-r--r-- | tests/cfail/race-1.rs | 6 |
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); }); |
