blob: 47a6b8edccd4a3f212f7636085973baf7bc7d82a [file] [log] [blame]
//! Abstractions common to bare metal systems
#![deny(missing_docs)]
#![deny(warnings)]
#![no_std]
use core::cell::UnsafeCell;
/// A peripheral
#[derive(Debug)]
pub struct Peripheral<T>
where
T: 'static,
{
address: *mut T,
}
impl<T> Peripheral<T> {
/// Creates a new peripheral
///
/// `address` is the base address of the register block
pub const unsafe fn new(address: usize) -> Self {
Peripheral {
address: address as *mut T,
}
}
/// Borrows the peripheral for the duration of a critical section
pub fn borrow<'cs>(&self, _ctxt: &'cs CriticalSection) -> &'cs T {
unsafe { &*self.get() }
}
/// Returns a pointer to the register block
pub fn get(&self) -> *mut T {
self.address as *mut T
}
}
/// Critical section token
///
/// Indicates that you are executing code within a critical section
pub struct CriticalSection {
_0: (),
}
impl CriticalSection {
/// Creates a critical section token
///
/// This method is meant to be used to create safe abstractions rather than
/// meant to be directly used in applications.
pub unsafe fn new() -> Self {
CriticalSection { _0: () }
}
}
/// A "mutex" based on critical sections
///
/// # Safety
///
/// **This Mutex is only safe on single-core systems.**
///
/// On multi-core systems, a `CriticalSection` **is not sufficient** to ensure exclusive access.
pub struct Mutex<T> {
inner: UnsafeCell<T>,
}
impl<T> Mutex<T> {
/// Creates a new mutex
pub const fn new(value: T) -> Self {
Mutex {
inner: UnsafeCell::new(value),
}
}
}
impl<T> Mutex<T> {
/// Borrows the data for the duration of the critical section
pub fn borrow<'cs>(&'cs self, _cs: &'cs CriticalSection) -> &'cs T {
unsafe { &*self.inner.get() }
}
}
/// ``` compile_fail
/// fn bad(cs: &bare_metal::CriticalSection) -> &u32 {
/// let x = bare_metal::Mutex::new(42u32);
/// x.borrow(cs)
/// }
/// ```
#[allow(dead_code)]
const GH_6: () = ();
/// Interrupt number
pub unsafe trait Nr {
/// Returns the number associated with an interrupt
fn nr(&self) -> u8;
}
// NOTE A `Mutex` can be used as a channel so the protected data must be `Send`
// to prevent sending non-Sendable stuff (e.g. access tokens) across different
// execution contexts (e.g. interrupts)
unsafe impl<T> Sync for Mutex<T> where T: Send {}