aboutsummaryrefslogtreecommitdiff
path: root/macros/ui/shared-lock-free.rs
diff options
context:
space:
mode:
Diffstat (limited to 'macros/ui/shared-lock-free.rs')
-rw-r--r--macros/ui/shared-lock-free.rs38
1 files changed, 38 insertions, 0 deletions
diff --git a/macros/ui/shared-lock-free.rs b/macros/ui/shared-lock-free.rs
new file mode 100644
index 00000000..c7f8a16d
--- /dev/null
+++ b/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, init::Monotonics) {}
+
+ // e2 ok
+ #[idle(shared = [e2])]
+ fn idle(cx: idle::Context) -> ! {
+ debug::exit(debug::EXIT_SUCCESS);
+ loop {}
+ }
+
+ // e1 rejected (not lock_free)
+ #[task(priority = 1, shared = [e1])]
+ fn uart0(cx: uart0::Context) {
+ *cx.resources.e1 += 10;
+ }
+
+ // e1 rejected (not lock_free)
+ #[task(priority = 2, shared = [e1])]
+ fn uart1(cx: uart1::Context) {}
+}