aboutsummaryrefslogtreecommitdiff
path: root/examples/not-send.rs
diff options
context:
space:
mode:
Diffstat (limited to 'examples/not-send.rs')
-rw-r--r--examples/not-send.rs20
1 files changed, 11 insertions, 9 deletions
diff --git a/examples/not-send.rs b/examples/not-send.rs
index c1b6bcdd..d27cc82f 100644
--- a/examples/not-send.rs
+++ b/examples/not-send.rs
@@ -5,11 +5,10 @@
#![no_main]
#![no_std]
-extern crate panic_halt;
-
use core::marker::PhantomData;
use cortex_m_semihosting::debug;
+use panic_halt as _;
use rtfm::app;
pub struct NotSend {
@@ -18,7 +17,10 @@ pub struct NotSend {
#[app(device = lm3s6965)]
const APP: () = {
- static mut SHARED: Option<NotSend> = None;
+ struct Resources {
+ #[init(None)]
+ shared: Option<NotSend>,
+ }
#[init(spawn = [baz, quux])]
fn init(c: init::Context) {
@@ -37,16 +39,16 @@ const APP: () = {
// scenario 1
}
- #[task(priority = 2, resources = [SHARED])]
- fn baz(mut c: baz::Context) {
+ #[task(priority = 2, resources = [shared])]
+ fn baz(c: baz::Context) {
// scenario 2: resource shared between tasks that run at the same priority
- *c.resources.SHARED = Some(NotSend { _0: PhantomData });
+ *c.resources.shared = Some(NotSend { _0: PhantomData });
}
- #[task(priority = 2, resources = [SHARED])]
- fn quux(mut c: quux::Context) {
+ #[task(priority = 2, resources = [shared])]
+ fn quux(c: quux::Context) {
// scenario 2
- let _not_send = c.resources.SHARED.take().unwrap();
+ let _not_send = c.resources.shared.take().unwrap();
debug::exit(debug::EXIT_SUCCESS);
}