1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
extern crate cortex_m_srp;
use cortex_m_srp::{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
fn j1(prio: P3) {
R1.lock(&prio, |_, _| {});
//~^ error
}
// DON'T lock a resource with ceiling equal to the task priority.
// Instead use `claim`
fn j2(prio: P2) {
R1.lock(&prio, |_, _| {});
//~^ error
// OK
let r1 = R1.claim(&prio);
}
// You CAN lock a resource with ceiling C from a task with priority P if C > P
fn j3(prio: P1) {
// OK
R1.lock(&prio, |r1, _| {});
}
static R2: Resource<i32, C16> = Resource::new(0);
// Tasks with priority less than P16 can't lock a resource with ceiling C16
fn j4(prio: P1) {
R2.lock(&prio, |_, _| {});
//~^ error
}
// Only tasks with priority P16 can claim a resource with ceiling C16
fn j5(prio: P16) {
// OK
let r2 = R2.claim(&prio);
}
|
