diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 15:31:02 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 15:31:02 -0500 |
| commit | 3e165f2a42b8f3c66e3e77742a54feb875ec4bd6 (patch) | |
| tree | 40fed29e8d94ac1d3b678ad3617a8e957e679f3c /tests/cfail/race-1.rs | |
| parent | 854939fc6b523479a7540d8ac9d0933d9c3dcb78 (diff) | |
drop `lock` methods, add `raise_to` function
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); }); |
