2021-12-01 23:52:53 +11:00
//! Multicore support
2021-12-08 19:34:39 +11:00
//!
//! This module handles setup of the 2nd cpu core on the rp2040, which we refer to as core1.
//! It provides functionality for setting up the stack, and starting core1.
//!
//! The options for an entrypoint for core1 are
//! - a function that never returns - eg
//! `fn core1_task() -> ! { loop{} }; `
//! - a lambda (note: This requires a global allocator which requires a nightly compiler. Not recommended for beginners)
//!
//! # Usage
//!
//! ```no_run
//! static mut CORE1_STACK: Stack<4096> = Stack::new();
//! fn core1_task() -> ! {
//! loop{}
//! }
//! // fn main() -> ! {
//! use rp2040_hal::{pac, gpio::Pins, sio::Sio, multicore::{Multicore, Stack}};
//! let mut pac = pac::Peripherals::take().unwrap();
//! let mut sio = Sio::new(pac.SIO);
//! // Other init code above this line
//! let mut mc = Multicore::new(&mut pac.PSM, &mut pac.PPB, &mut sio);
//! let cores = mc.cores();
//! let core1 = &mut cores[1];
//! let _test = core1.spawn(core1_task, unsafe { &mut CORE1_STACK.mem });
//! // The rest of your application below this line
//! //}
//!
//! ```
//!
//! For inter-processor communications, see [`crate::sio::SioFifo`] and [`crate::sio::Spinlock0`]
//!
//! For a detailed example, see [examples/multicore_fifo_blink.rs](https://github.com/rp-rs/rp-hal/tree/main/rp2040-hal/examples/multicore_fifo_blink.rs)
2021-12-01 23:52:53 +11:00
2022-03-05 14:55:32 +11:00
use core ::mem ;
use core ::mem ::ManuallyDrop ;
use pac ::Peripherals ;
2021-12-01 23:52:53 +11:00
2022-03-05 14:55:32 +11:00
use crate ::pac ;
use crate ::Sio ;
2021-12-01 23:52:53 +11:00
/// Errors for multicore operations.
#[ derive(Debug) ]
pub enum Error {
/// Operation is invalid on this core.
InvalidCore ,
/// Core was unresposive to commands.
Unresponsive ,
}
// We pass data to cores via the stack, so we read
// the data off the stack and into parameters that
// rust can read here. Ideally this would be a
// #[naked] function but that is not stable yet.
static MULTICORE_TRAMPOLINE : [ u16 ; 2 ] = [
2022-03-05 14:55:32 +11:00
0xbd07 , // pop {r0, r1, r2, pc} - call wrapper (pc) with r0, r1 and r2
2021-12-01 23:52:53 +11:00
0x46c0 , // nop - pad this out to 32 bits long
] ;
#[ inline(always) ]
fn install_stack_guard ( stack_bottom : * mut usize ) {
let core = unsafe { pac ::CorePeripherals ::steal ( ) } ;
// Trap if MPU is already configured
if core . MPU . ctrl . read ( ) ! = 0 {
cortex_m ::asm ::udf ( ) ;
}
// The minimum we can protect is 32 bytes on a 32 byte boundary, so round up which will
// just shorten the valid stack range a tad.
let addr = ( stack_bottom as u32 + 31 ) & ! 31 ;
// Mask is 1 bit per 32 bytes of the 256 byte range... clear the bit for the segment we want
let subregion_select = 0xff ^ ( 1 < < ( ( addr > > 5 ) & 7 ) ) ;
unsafe {
core . MPU . ctrl . write ( 5 ) ; // enable mpu with background default map
core . MPU . rbar . write ( ( addr & ! 0xff ) | 0x8 ) ;
core . MPU . rasr . write (
1 // enable region
| ( 0x7 < < 1 ) // size 2^(7 + 1) = 256
| ( subregion_select < < 8 )
| 0x10000000 , // XN = disable instruction fetch; no other bits means no permissions
) ;
}
}
#[ inline(always) ]
fn core1_setup ( stack_bottom : * mut usize ) {
install_stack_guard ( stack_bottom ) ;
// TODO: irq priorities
}
/// Multicore execution management.
pub struct Multicore < ' p > {
cores : [ Core < ' p > ; 2 ] ,
}
2021-12-08 19:34:39 +11:00
/// Data type for a properly aligned stack of N 32-bit (usize) words
#[ repr(C, align(32)) ]
pub struct Stack < const SIZE : usize > {
/// Memory to be used for the stack
pub mem : [ usize ; SIZE ] ,
}
impl < const SIZE : usize > Stack < SIZE > {
/// Construct a stack of length SIZE, initialized to 0
pub const fn new ( ) -> Stack < SIZE > {
Stack { mem : [ 0 ; SIZE ] }
}
}
2021-12-01 23:52:53 +11:00
impl < ' p > Multicore < ' p > {
/// Create a new |Multicore| instance.
2021-12-04 15:52:46 +11:00
pub fn new ( psm : & ' p mut pac ::PSM , ppb : & ' p mut pac ::PPB , sio : & ' p mut crate ::Sio ) -> Self {
2021-12-01 23:52:53 +11:00
Self {
cores : [
Core { inner : None } ,
Core {
inner : Some ( ( psm , ppb , sio ) ) ,
} ,
] ,
}
}
/// Get the available |Core| instances.
pub fn cores ( & mut self ) -> & ' p mut [ Core ] {
& mut self . cores
}
}
/// A handle for controlling a logical core.
pub struct Core < ' p > {
2021-12-04 15:52:46 +11:00
inner : Option < ( & ' p mut pac ::PSM , & ' p mut pac ::PPB , & ' p mut crate ::Sio ) > ,
2021-12-01 23:52:53 +11:00
}
impl < ' p > Core < ' p > {
/// Get the id of this core.
pub fn id ( & self ) -> u8 {
match self . inner {
None = > 0 ,
Some ( .. ) = > 1 ,
}
}
2021-12-02 07:19:02 +11:00
fn inner_spawn (
& mut self ,
wrapper : * mut ( ) ,
2022-03-05 14:55:32 +11:00
entry : u64 ,
2021-12-02 07:19:02 +11:00
stack : & 'static mut [ usize ] ,
) -> Result < ( ) , Error > {
2021-12-01 23:52:53 +11:00
if let Some ( ( psm , ppb , sio ) ) = self . inner . as_mut ( ) {
// Reset the core
psm . frce_off . modify ( | _ , w | w . proc1 ( ) . set_bit ( ) ) ;
while ! psm . frce_off . read ( ) . proc1 ( ) . bit_is_set ( ) {
cortex_m ::asm ::nop ( ) ;
}
psm . frce_off . modify ( | _ , w | w . proc1 ( ) . clear_bit ( ) ) ;
// Set up the stack
2021-12-02 07:19:02 +11:00
let mut stack_ptr = unsafe { stack . as_mut_ptr ( ) . add ( stack . len ( ) ) } ;
2021-12-01 23:52:53 +11:00
let mut push = | v : usize | unsafe {
stack_ptr = stack_ptr . sub ( 1 ) ;
stack_ptr . write ( v ) ;
} ;
push ( wrapper as usize ) ;
2021-12-02 07:19:02 +11:00
push ( stack . as_mut_ptr ( ) as usize ) ;
2022-03-05 14:55:32 +11:00
push ( ( entry > > 32 ) as usize ) ;
2021-12-01 23:52:53 +11:00
push ( entry as usize ) ;
let vector_table = ppb . vtor . read ( ) . bits ( ) ;
// After reset, core 1 is waiting to receive commands over FIFO.
// This is the sequence to have it jump to some code.
let cmd_seq = [
0 ,
0 ,
1 ,
vector_table as usize ,
stack_ptr as usize ,
MULTICORE_TRAMPOLINE . as_ptr ( ) as usize + 1 ,
] ;
let mut seq = 0 ;
let mut fails = 0 ;
loop {
let cmd = cmd_seq [ seq ] as u32 ;
if cmd = = 0 {
sio . fifo . drain ( ) ;
cortex_m ::asm ::sev ( ) ;
}
sio . fifo . write_blocking ( cmd ) ;
let response = sio . fifo . read_blocking ( ) ;
if cmd = = response {
seq + = 1 ;
} else {
seq = 0 ;
fails + = 1 ;
if fails > 16 {
return Err ( Error ::Unresponsive ) ;
}
}
if seq > = cmd_seq . len ( ) {
break ;
}
}
Ok ( ( ) )
} else {
Err ( Error ::InvalidCore )
}
}
/// Spawn a function on this core.
2021-12-02 07:19:02 +11:00
pub fn spawn < F > ( & mut self , entry : F , stack : & 'static mut [ usize ] ) -> Result < ( ) , Error >
2021-12-01 23:52:53 +11:00
where
F : FnOnce ( ) -> bad ::Never ,
F : Send + 'static ,
{
2022-03-05 14:55:32 +11:00
// idea stolen from https://users.rust-lang.org/t/invoke-mut-dyn-fnonce/59356/4
trait Core1Main {
/// # Safety
///
/// Must only be called once.
unsafe fn run ( & mut self ) -> ! ;
}
2021-12-01 23:52:53 +11:00
2022-03-05 14:55:32 +11:00
impl < T : FnOnce ( ) -> bad ::Never > Core1Main for T {
unsafe fn run ( & mut self ) -> ! {
let f = ( self as * mut Self ) . read ( ) ;
2021-12-01 23:52:53 +11:00
2022-03-05 14:55:32 +11:00
// Signal that it's safe for the other core to get rid of the original value now
let peripherals = Peripherals ::steal ( ) ;
let sio = Sio ::new ( peripherals . SIO ) ;
let mut fifo = sio . fifo ;
fifo . write_blocking ( 1 ) ;
f ( )
}
}
extern " C " fn core1 ( entry : u64 , stack_bottom : * mut usize ) -> ! {
2021-12-01 23:52:53 +11:00
core1_setup ( stack_bottom ) ;
2022-03-05 14:55:32 +11:00
let main : * mut dyn Core1Main = unsafe { mem ::transmute ( entry ) } ;
unsafe { ( * main ) . run ( ) }
2021-12-01 23:52:53 +11:00
}
2022-03-05 14:55:32 +11:00
// We don't want to drop this, since it's getting moved to the other core.
let mut entry = ManuallyDrop ::new ( entry ) ;
let ptr = & mut * entry as & mut dyn Core1Main ;
let ptr = unsafe { mem ::transmute ( ptr ) } ;
self . inner_spawn ( core1 as _ , ptr , stack ) ? ;
// If `inner_spawn` succeeded, this must not have been `None`,
// so it's fine to unwrap it.
let ( _ , _ , sio ) = self . inner . as_mut ( ) . unwrap ( ) ;
// Wait until the other core has copied `entry` before dropping it.
sio . fifo . read_blocking ( ) ;
Ok ( ( ) )
2021-12-01 23:52:53 +11:00
}
}
// https://github.com/nvzqz/bad-rs/blob/master/src/never.rs
mod bad {
pub ( crate ) type Never = < F as HasOutput > ::Output ;
pub trait HasOutput {
type Output ;
}
impl < O > HasOutput for fn ( ) -> O {
type Output = O ;
}
type F = fn ( ) -> ! ;
}