From b054e871d486e8eb35e3c98a73652640238c5e7d Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Sat, 7 Jan 2023 14:23:32 +0100
Subject: examples/lock fixed

---
 examples/lock-free.no_rs | 50 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 examples/lock-free.no_rs

(limited to 'examples/lock-free.no_rs')

diff --git a/examples/lock-free.no_rs b/examples/lock-free.no_rs
new file mode 100644
index 0000000..053307c
--- /dev/null
+++ b/examples/lock-free.no_rs
@@ -0,0 +1,50 @@
+//! examples/lock-free.rs
+
+#![deny(unsafe_code)]
+#![deny(warnings)]
+#![no_main]
+#![no_std]
+#![feature(type_alias_impl_trait)]
+
+use panic_semihosting as _;
+
+#[rtic::app(device = lm3s6965, dispatchers = [GPIOA])]
+mod app {
+    use cortex_m_semihosting::{debug, hprintln};
+
+    #[shared]
+    struct Shared {
+        #[lock_free] // <- lock-free shared resource
+        counter: u64,
+    }
+
+    #[local]
+    struct Local {}
+
+    #[init]
+    fn init(_: init::Context) -> (Shared, Local) {
+        foo::spawn().unwrap();
+
+        (Shared { counter: 0 }, Local {})
+    }
+
+    #[task(shared = [counter])] // <- same priority
+    async fn foo(c: foo::Context) {
+        bar::spawn().unwrap();
+
+        *c.shared.counter += 1; // <- no lock API required
+        let counter = *c.shared.counter;
+        hprintln!("  foo = {}", counter).unwrap();
+    }
+
+    #[task(shared = [counter])] // <- same priority
+    async fn bar(c: bar::Context) {
+        foo::spawn().unwrap();
+
+        *c.shared.counter += 1; // <- no lock API required
+        let counter = *c.shared.counter;
+        hprintln!("  bar = {}", counter).unwrap();
+
+        debug::exit(debug::EXIT_SUCCESS); // Exit QEMU simulator
+    }
+}
-- 
cgit v1.2.3