mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-30 15:34:33 +01:00
Code Issues Projects Releases Packages Wiki Activity
1341 commits 45 branches 47 tags 193 MiB
Commit graph

1341 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jorge Aparicio
fdc060c273 remove system ceiling from lock_mut closure 
now it's impossible to do a `borrow` within that critical section as a borrow of
the task priority is required (and that's already mutably borrowed by the
`lock_mut` closure)
 2017-04-13 23:00:39 -05:00
Jorge Aparicio
2fb00c7d85 fix memory safety hole around borrow 2017-04-13 22:58:29 -05:00
Jorge Aparicio
692ad81ad8 re-export Local and wfi from cortex-m 
make Context private
 2017-04-13 19:01:46 -05:00
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
cc6c1ad3f3 add cfail tests for the tasks! macro 2017-04-12 16:05:48 -05:00
Jorge Aparicio
26f8ca6969 rustfmt 2017-04-12 15:28:18 -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
67881bc7f5 ci: allow auto and try branches 2017-04-11 23:24:39 -05:00
Jorge Aparicio
5d6847ab7b partial thumv6m-none-eabi support 2017-04-11 23:19:18 -05:00
Jorge Aparicio
6af1873922 add CI 2017-04-11 23:19:14 -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
441a822780 use stable release of the cortex-m crate 2017-03-12 11:19:43 -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