Commit graph

59 commits

Author SHA1 Message Date
Dario Nieuwenhuis
aeaa34d7a1 Executor API V2.
- It's no longer possible to call run() reentrantly from within a task (soundness issue)
- it's now possible to spawn Send tasks across threads (SendSpawner, #37)
2021-02-02 05:20:41 +01:00
Timo Kröger
9f9d808948 Fix IRQ numbers
The raw enum values are not always equal to the interrupt number
fixes #23
2021-01-17 17:28:46 +01:00
Dario Nieuwenhuis
9e88718fbd Add "context" pointer to owned interrupt handlers. 2021-01-04 22:25:39 +01:00
Timo Kröger
c17954ccba Fix warnings for tasks that take mutable parameters
#[task]
pub async fn run(mut param: Param) {}

warning: variable does not need to be mutable
2020-12-31 15:38:10 +01:00
Dario Nieuwenhuis
bb6f25d010 Remove use of deprecated compare_and_swap. 2020-12-30 01:07:22 +01:00
Dario Nieuwenhuis
0750234fbe WIP owned irqs 2020-12-29 00:05:52 +01:00
Dario Nieuwenhuis
b40e09d502 Allow spawning tasks with non-copy args. 2020-11-03 22:12:45 +01:00
Dario Nieuwenhuis
57abd7064d task codegen: use local items instead of non-locals with prefixed names. 2020-10-31 16:36:09 +01:00
Dario Nieuwenhuis
cd9ecaef57 integrate static-executor, cleanup time module. 2020-10-19 21:25:54 +02:00