2018-11-04 18:50:42 +01:00
|
|
|
//! examples/generics.rs
|
|
|
|
|
|
|
|
#![deny(unsafe_code)]
|
|
|
|
#![deny(warnings)]
|
|
|
|
#![no_main]
|
|
|
|
#![no_std]
|
|
|
|
|
|
|
|
extern crate panic_semihosting;
|
|
|
|
|
2018-11-04 19:57:39 +01:00
|
|
|
use cortex_m_semihosting::{debug, hprintln};
|
2018-11-04 18:50:42 +01:00
|
|
|
use lm3s6965::Interrupt;
|
|
|
|
use rtfm::{app, Mutex};
|
|
|
|
|
|
|
|
#[app(device = lm3s6965)]
|
|
|
|
const APP: () = {
|
|
|
|
static mut SHARED: u32 = 0;
|
|
|
|
|
|
|
|
#[init]
|
|
|
|
fn init() {
|
|
|
|
rtfm::pend(Interrupt::UART0);
|
|
|
|
rtfm::pend(Interrupt::UART1);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[interrupt(resources = [SHARED])]
|
|
|
|
fn UART0() {
|
|
|
|
static mut STATE: u32 = 0;
|
|
|
|
|
2018-11-04 19:57:39 +01:00
|
|
|
hprintln!("UART0(STATE = {})", *STATE).unwrap();
|
2018-11-04 18:50:42 +01:00
|
|
|
|
|
|
|
advance(STATE, resources.SHARED);
|
|
|
|
|
|
|
|
rtfm::pend(Interrupt::UART1);
|
|
|
|
|
|
|
|
debug::exit(debug::EXIT_SUCCESS);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[interrupt(priority = 2, resources = [SHARED])]
|
|
|
|
fn UART1() {
|
|
|
|
static mut STATE: u32 = 0;
|
|
|
|
|
2018-11-04 19:57:39 +01:00
|
|
|
hprintln!("UART1(STATE = {})", *STATE).unwrap();
|
2018-11-04 18:50:42 +01:00
|
|
|
|
|
|
|
// just to show that `SHARED` can be accessed directly and ..
|
|
|
|
*resources.SHARED += 0;
|
|
|
|
// .. also through a (no-op) `lock`
|
|
|
|
resources.SHARED.lock(|shared| *shared += 0);
|
|
|
|
|
|
|
|
advance(STATE, resources.SHARED);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
fn advance(state: &mut u32, mut shared: impl Mutex<T = u32>) {
|
|
|
|
*state += 1;
|
|
|
|
|
|
|
|
let (old, new) = shared.lock(|shared| {
|
|
|
|
let old = *shared;
|
|
|
|
*shared += *state;
|
|
|
|
(old, *shared)
|
|
|
|
});
|
|
|
|
|
2018-11-04 19:57:39 +01:00
|
|
|
hprintln!("SHARED: {} -> {}", old, new).unwrap();
|
2018-11-04 18:50:42 +01:00
|
|
|
}
|