From 7614b96fe45240dafe91ae549e712b560e2d4c10 Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Sat, 31 Dec 2022 14:45:13 +0100
Subject: RTIC v2: Initial commit

rtic-syntax is now part of RTIC repository
---
 macros/ui/shared-lock-free.rs | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 macros/ui/shared-lock-free.rs

(limited to 'macros/ui/shared-lock-free.rs')

diff --git a/macros/ui/shared-lock-free.rs b/macros/ui/shared-lock-free.rs
new file mode 100644
index 0000000..c7f8a16
--- /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) {}
+}
-- 
cgit v1.2.3