aboutsummaryrefslogtreecommitdiff
path: root/examples/lock-free.rs
diff options
context:
space:
mode:
Diffstat (limited to 'examples/lock-free.rs')
-rw-r--r--examples/lock-free.rs50
1 files changed, 0 insertions, 50 deletions
diff --git a/examples/lock-free.rs b/examples/lock-free.rs
deleted file mode 100644
index 6e5faad..0000000
--- a/examples/lock-free.rs
+++ /dev/null
@@ -1,50 +0,0 @@
-//! examples/lock-free.rs
-
-#![deny(unsafe_code)]
-#![deny(warnings)]
-#![deny(missing_docs)]
-#![no_main]
-#![no_std]
-
-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, init::Monotonics) {
- foo::spawn().unwrap();
-
- (Shared { counter: 0 }, Local {}, init::Monotonics())
- }
-
- #[task(shared = [counter])] // <- same priority
- fn foo(c: foo::Context) {
- bar::spawn().unwrap();
-
- *c.shared.counter += 1; // <- no lock API required
- let counter = *c.shared.counter;
- hprintln!(" foo = {}", counter);
- }
-
- #[task(shared = [counter])] // <- same priority
- fn bar(c: bar::Context) {
- foo::spawn().unwrap();
-
- *c.shared.counter += 1; // <- no lock API required
- let counter = *c.shared.counter;
- hprintln!(" bar = {}", counter);
-
- debug::exit(debug::EXIT_SUCCESS); // Exit QEMU simulator
- }
-}