aboutsummaryrefslogtreecommitdiff
path: root/macros/ui/shared-lock-free.rs
diff options
context:
space:
mode:
authorGravatar Emil Fresk <emil.fresk@gmail.com> 2022-12-31 14:45:13 +0100
committerGravatar Henrik Tjäder <henrik@tjaders.com> 2023-03-01 00:29:10 +0100
commit7614b96fe45240dafe91ae549e712b560e2d4c10 (patch)
tree30e1666c0aac09480e1a87e5fe7965487f4a99e6 /macros/ui/shared-lock-free.rs
parent1c5db277e4161470136dbd2a11e914ff1d383581 (diff)
downloadrtic-7614b96fe45240dafe91ae549e712b560e2d4c10.tar.gz
rtic-7614b96fe45240dafe91ae549e712b560e2d4c10.tar.zst
rtic-7614b96fe45240dafe91ae549e712b560e2d4c10.zip
RTIC v2: Initial commit
rtic-syntax is now part of RTIC repository
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) {}
+}