aboutsummaryrefslogtreecommitdiff
path: root/rtic-macros/ui/shared-lock-free.rs
diff options
context:
space:
mode:
authorHenrik Tjäder <henrik@tjaders.com>2023-02-04 16:47:17 +0100
committerHenrik Tjäder <henrik@tjaders.com>2023-03-01 00:35:13 +0100
commit9e445b3583c15c7701f3167eaa8dfe4afd541691 (patch)
tree167565d51598f42c0454d60b34e1170589ae1056 /rtic-macros/ui/shared-lock-free.rs
parent4124fbdd61ff823c6217a2a16ebb4d813146116c (diff)
Move rtic macros to repo root, tune xtask
Diffstat (limited to 'rtic-macros/ui/shared-lock-free.rs')
-rw-r--r--rtic-macros/ui/shared-lock-free.rs38
1 files changed, 38 insertions, 0 deletions
diff --git a/rtic-macros/ui/shared-lock-free.rs b/rtic-macros/ui/shared-lock-free.rs
new file mode 100644
index 0000000..b3a4b9c
--- /dev/null
+++ b/rtic-macros/ui/shared-lock-free.rs
@@ -0,0 +1,38 @@
+#![no_main]
+
+#[rtic_macros::mock_app(device = mock)]
+mod app {
+ #[shared]
+ struct Shared {
+ // An exclusive, early resource
+ #[lock_free]
+ e1: u32,
+
+ // An exclusive, late resource
+ #[lock_free]
+ e2: u32,
+ }
+
+ #[local]
+ struct Local {}
+
+ #[init]
+ fn init(_: init::Context) -> (Shared, Local) {}
+
+ // e2 ok
+ #[idle(shared = [e2])]
+ fn idle(cx: idle::Context) -> ! {
+ debug::exit(debug::EXIT_SUCCESS);
+ loop {}
+ }
+
+ // e1 rejected (not lock_free)
+ #[task(binds = UART0, priority = 1, shared = [e1])]
+ fn uart0(cx: uart0::Context) {
+ *cx.resources.e1 += 10;
+ }
+
+ // e1 rejected (not lock_free)
+ #[task(binds = UART1, priority = 2, shared = [e1])]
+ fn uart1(cx: uart1::Context) {}
+}