Jorge Aparicio
|
1ed5696f76
|
fix warning
|
2017-04-12 16:26:42 -05:00 |
|
Jorge Aparicio
|
2d334e76dd
|
no lock_mut on thumbv6m
|
2017-04-12 16:14:29 -05:00 |
|
Jorge Aparicio
|
f62af15cfd
|
implement lock_mut
|
2017-04-12 15:27:48 -05:00 |
|
Jorge Aparicio
|
fb20b51528
|
add claim_mut
|
2017-04-12 10:43:36 -05:00 |
|
Jorge Aparicio
|
d9300f01f8
|
fix the tasks! macro
NVIC.set_priority now requires unsafe
|
2017-04-12 10:16:56 -05:00 |
|
Jorge Aparicio
|
5d6847ab7b
|
partial thumv6m-none-eabi support
|
2017-04-11 23:19:18 -05:00 |
|
Jorge Aparicio
|
5ae7d5f6e0
|
simplify the tasks! macro, make the request function more straightforward
in its meaning
|
2017-04-09 23:18:00 -05:00 |
|
Jorge Aparicio
|
595404c5ff
|
compile time verified ceilings
|
2017-04-09 22:42:17 -05:00 |
|
Jorge Aparicio
|
6ac2625a75
|
drop global critical sections in checked::Resource
|
2017-04-07 19:33:08 -05:00 |
|
Jorge Aparicio
|
185f368d63
|
use volatile read/writes for checked::Resource.locked
|
2017-04-07 18:57:13 -05:00 |
|
Jorge Aparicio
|
22bb0d8eae
|
removed global critical section from checked::release
|
2017-04-07 18:48:33 -05:00 |
|
Jorge Aparicio
|
f875cfcb5c
|
use hw ceilings in checked::Resource.lock{,mut}
|
2017-04-07 18:18:37 -05:00 |
|
Jorge Aparicio
|
f2bab47aa4
|
allow returns from checked::Resource.lock{,mut}
also add compiler barriers
|
2017-04-07 18:14:48 -05:00 |
|
Jorge Aparicio
|
8e1c72057c
|
impl Sync for checked::Resource
|
2017-04-07 17:54:36 -05:00 |
|
Jorge Aparicio
|
2ae638995c
|
initial version of checked resources
|
2017-04-07 17:34:06 -05:00 |
|
Jorge Aparicio
|
759ac160db
|
remove the borrow_mut method from resources
it can be used to break references rules within nested locks
``` rust
static R1: Resource<bool, C1> = unsafe { Resource::new(false) };
static R2: Resource<bool, C2> = unsafe { Resource::new(false) };
static R3: Resource<bool, C3> = unsafe { Resource::new(false) };
// Priority = 1
extern "C" fn j1(task: interrupt::Exti0Irq) {
R1.lock(&task, |r1, c1| {
R2.lock(&task, |r2, c2| {
R3.lock(&task, |r3, mut c3| {
// BAD &- and &mut - that point to the same data
let r1_ref: &bool = R1.borrow(&c2);
let r1_ref_mut: &mut bool = R1.borrow_mut(&mut c3);
});
});
});
}
```
|
2017-04-07 16:38:39 -05:00 |
|
Jorge Aparicio
|
e631d8513a
|
partial thumbv6m-none-eabi support
|
2017-04-06 14:06:33 -05:00 |
|
Jorge Aparicio
|
01c8c3312d
|
split get in get / get_mut
|
2017-04-04 16:37:01 -05:00 |
|
Jorge Aparicio
|
00ef129f87
|
add a queue function
|
2017-04-04 15:36:23 -05:00 |
|
Jorge Aparicio
|
4c1b6c8293
|
add debug assertions to lock and get
|
2017-04-03 16:18:26 -05:00 |
|
Jorge Aparicio
|
f3b73bcc12
|
add a get method to get a raw pointer to the resource data
|
2017-04-02 20:42:38 -05:00 |
|
Jorge Aparicio
|
0ef71d29a8
|
rustfmt
|
2017-04-02 20:38:45 -05:00 |
|
Jorge Aparicio
|
85c628c2af
|
add methods to borrow resources within interrupt::free
|
2017-03-22 14:33:52 -05:00 |
|
Jorge Aparicio
|
2d6af9b5df
|
make logical non-const , check input using assertions
|
2017-03-11 18:02:11 -05:00 |
|
Jorge Aparicio
|
fd858a1994
|
make borrows of non-cooperative resources safe
|
2017-03-11 16:12:58 -05:00 |
|
Jorge Aparicio
|
4cfbf57799
|
add mutable variants of borrow and claim
|
2017-03-10 23:58:17 -05:00 |
|
Jorge Aparicio
|
7604400fd0
|
Token was renamed to Context
|
2017-03-10 20:11:36 -05:00 |
|
Jorge Aparicio
|
4da1963c8b
|
rename priority to logical
|
2017-03-10 10:56:08 -05:00 |
|
Jorge Aparicio
|
288b01ea07
|
turn ceilings into types
|
2017-03-09 23:59:50 -05:00 |
|
Jorge Aparicio
|
388c34cc9f
|
Resource::new is also unsafe
|
2017-03-08 08:22:31 -05:00 |
|
Jorge Aparicio
|
d88a15fb25
|
adapt to changes in cortex-m, verify the input of the priority function
|
2017-03-08 08:10:58 -05:00 |
|
Jorge Aparicio
|
e56f8156bc
|
make priority a const fn
|
2017-03-05 11:36:05 -05:00 |
|
Jorge Aparicio
|
aba9333799
|
initial commit
|
2017-03-05 00:29:08 -05:00 |
|