From fc4cb7d472dad1ea0fa137bb116bd907efc19601 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Mon, 8 May 2017 12:05:42 -0500 Subject: replace the ceiling token with a preemption threshold token --- tests/cfail/raise.rs | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 tests/cfail/raise.rs (limited to 'tests/cfail/raise.rs') diff --git a/tests/cfail/raise.rs b/tests/cfail/raise.rs new file mode 100644 index 0000000..3d7e564 --- /dev/null +++ b/tests/cfail/raise.rs @@ -0,0 +1,24 @@ +extern crate cortex_m_rtfm as rtfm; + +use rtfm::{C2, CMax, P1, P3, Resource, T1, T3}; + +static R1: Resource = Resource::new(0); + +// You CAN'T use `raise` to lower the preemption level +fn j1(prio: P3, thr: T3) { + thr.raise(&R1, |thr| {}); + //~^ error +} + +static R2: Resource = Resource::new(0); + +// You CAN'T `raise` the preemption level to the maximum +fn j2(prio: P1, thr: T1) { + thr.raise(&R2, |thr| {}); + //~^ error + + // Instead use `rtfm::atomic` to access a resource with ceiling C16 + rtfm::atomic(|thr| { + let r2 = R2.access(&prio, thr); + }); +} -- cgit v1.2.3