diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:24:28 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:24:28 -0500 |
| commit | eea803008390cbae307e873ce6d39e01d6367759 (patch) | |
| tree | c759d6c28a01fa8fa89abd52326720c5d3b5b8d3 /tests/cfail/lock.rs | |
| parent | 1c82f1b1190cb40a3502d5b74a8c98775a788850 (diff) | |
reword the comments in compile-fail tests
Diffstat (limited to 'tests/cfail/lock.rs')
| -rw-r--r-- | tests/cfail/lock.rs | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/tests/cfail/lock.rs b/tests/cfail/lock.rs index 36541f2..ca4ea73 100644 --- a/tests/cfail/lock.rs +++ b/tests/cfail/lock.rs @@ -4,17 +4,16 @@ use rtfm::{C16, C2, P1, P16, P2, P3, Resource}; static R1: Resource<i32, C2> = Resource::new(0); -// You CAN'T lock a resource with ceiling C from a task with priority P if P > C +// You CAN'T use `raise` to lower the system ceiling fn j1(prio: P3) { let ceil = prio.as_ceiling(); - ceil.raise(&R1, |ceil| { - //~^ error - }); + ceil.raise(&R1, |ceil| {}); + //~^ error } -// DON'T lock a resource with ceiling equal to the task priority. -// Instead use `borrow` +// You don't need to raise the ceiling to access a resource with ceiling equal +// to the task priority. fn j2(prio: P2) { let ceil = prio.as_ceiling(); @@ -25,28 +24,26 @@ fn j2(prio: P2) { let r1 = R1.borrow(&prio, ceil); } -// You CAN lock a resource with ceiling C from a task with priority P if C > P +// 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) { let ceil = prio.as_ceiling(); // OK - ceil.raise(&R1, |ceil| { - let r1 = R1.borrow(&prio, ceil); - }) + ceil.raise(&R1, |ceil| { let r1 = R1.borrow(&prio, ceil); }) } static R2: Resource<i32, C16> = Resource::new(0); -// Tasks with priority less than P16 can't lock a resource with ceiling C16 +// Tasks with priority less than P16 can't access a resource with ceiling C16 fn j4(prio: P1) { let ceil = prio.as_ceiling(); - ceil.raise(&R2, |ceil| { - //~^ error - }); + ceil.raise(&R2, |ceil| {}); + //~^ error } -// Only tasks with priority P16 can claim a resource with ceiling C16 +// Only tasks with priority P16 can access a resource with ceiling C16 fn j5(prio: P16) { // OK let r2 = R2.borrow(&prio, prio.as_ceiling()); |
