aboutsummaryrefslogtreecommitdiff
path: root/examples/t-resource.rs
blob: 2732491013c06abf888d5e05acb4c878f464e03f (plain) (blame)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
//! [compile-pass] Check code generation of shared resources

#![deny(unsafe_code)]
#![deny(warnings)]
#![no_main]
#![no_std]

use panic_semihosting as _;

#[rtic::app(device = lm3s6965)]
mod app {
    #[shared]
    struct Shared {
        o2: u32, // idle
        o3: u32, // EXTI0
        o4: u32, // idle
        o5: u32, // EXTI1
        s1: u32, // idle & uart0
        s2: u32, // uart0 & uart1
        s3: u32, // idle & uart0
    }

    #[local]
    struct Local {}

    #[init]
    fn init(_: init::Context) -> (Shared, Local, init::Monotonics) {
        (
            Shared {
                o2: 0,
                o3: 0,
                o4: 0,
                o5: 0,
                s1: 0,
                s2: 0,
                s3: 0,
            },
            Local {},
            init::Monotonics(),
        )
    }

    #[idle(shared = [o2, &o4, s1, &s3])]
    fn idle(mut c: idle::Context) -> ! {
        // owned by `idle` == `&'static mut`
        let _: shared_resources::o2 = c.shared.o2;

        // owned by `idle` == `&'static` if read-only
        let _: &u32 = c.shared.o4;

        // shared with `idle` == `Mutex`
        c.shared.s1.lock(|_| {});

        // `&` if read-only
        let _: &u32 = c.shared.s3;

        loop {
            cortex_m::asm::nop();
        }
    }

    #[task(binds = UART0, shared = [o3, s1, s2, &s3])]
    fn uart0(c: uart0::Context) {
        // owned by interrupt == `&mut`
        let _: shared_resources::o3 = c.shared.o3;

        // no `Mutex` proxy when access from highest priority task
        let _: shared_resources::s1 = c.shared.s1;

        // no `Mutex` proxy when co-owned by cooperative (same priority) tasks
        let _: shared_resources::s2 = c.shared.s2;

        // `&` if read-only
        let _: &u32 = c.shared.s3;
    }

    #[task(binds = UART1, shared = [s2, &o5])]
    fn uart1(c: uart1::Context) {
        // owned by interrupt == `&` if read-only
        let _: &u32 = c.shared.o5;

        // no `Mutex` proxy when co-owned by cooperative (same priority) tasks
        let _: shared_resources::s2 = c.shared.s2;
    }
}
ilesLines 2022-05-11Update build-idbun-v0.0.81Gravatar Jarred Sumner 1-1/+1 2022-05-11disable the new target allowed errorGravatar Jarred Sumner 1-4/+5 2022-05-11Update Makefilebun-v0.0.80Gravatar Jarred Sumner 1-0/+1 2022-05-11Update MakefileGravatar Jarred Sumner 1-1/+1 2022-05-11Fix export symbols on LinuxGravatar Jarred Sumner 4-25/+153 2022-05-11Add test for import.meta.requireGravatar Jarred Sumner 2-1/+11 2022-05-11[napi] Add a couple more symbolsGravatar Jarred Sumner 1-0/+2 2022-05-11[napi] Fix panic inside napi_fatal_errorGravatar Jarred Sumner 1-11/+18 2022-05-11[napi] Stub a couple moreGravatar Jarred Sumner 3-6/+52 2022-05-11[bun.js] eagerly convert to import.meta.requireGravatar Jarred Sumner 2-3/+24 2022-05-11[json] Fix bug with negative integers in json parserGravatar Jarred Sumner 1-3/+6 2022-05-11[bun.js] Implement a polyfill for the `detect-libc` npm packageGravatar Jarred Sumner 2-0/+53 2022-05-11[bun.js] Implement `import.meta.require`Gravatar Jarred Sumner 13-158/+539 2022-05-11[bun.js] Implement `import.meta.resolveSync`Gravatar Jarred Sumner 3-1/+78 2022-05-10Include napi in plus100Gravatar Jarred Sumner 1-4/+20 2022-05-10Add test for Buffer.byteLengthGravatar Jarred Sumner 1-0/+7 2022-05-10[napi] Error on import .nodeGravatar Jarred Sumner 1-29/+1 2022-05-10Update napi.cppGravatar Jarred Sumner 1-1/+0 2022-05-10[napi] Fix string bugGravatar Jarred Sumner 4-58/+125 2022-05-10[napi] transpile require(*.node) into process.dlopenGravatar Jarred Sumner 4-3/+30 2022-05-10[bun.js] Implement `Buffer.byteLength`Gravatar Jarred Sumner 7-47/+443 2022-05-09Fix extra quote in bundled require errorsGravatar Jarred Sumner 1-2/+2 2022-05-09few more napi functionsGravatar Jarred Sumner 2-1/+30 2022-05-09Update MakefileGravatar Jarred Sumner 1-3/+3 2022-05-09Update Dockerfile.baseGravatar Jarred Sumner 1-1/+1 2022-05-09[napi] getters & setters workGravatar Jarred Sumner 1-26/+39