aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/race-1.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-04-21 15:31:02 -0500
committerJorge Aparicio <jorge@japaric.io>2017-04-21 15:31:02 -0500
commit3e165f2a42b8f3c66e3e77742a54feb875ec4bd6 (patch)
tree40fed29e8d94ac1d3b678ad3617a8e957e679f3c /tests/cfail/race-1.rs
parent854939fc6b523479a7540d8ac9d0933d9c3dcb78 (diff)
drop `lock` methods, add `raise_to` function
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);
});