-
Pedro Gonnet authored
use dynamic unlock pointers, i.e. the unlock_tasks array in each task is just a pointer to a pool of pointers in the scheduler. this pool needs to be sorted whenever tasks are added.
717e070f
use dynamic unlock pointers, i.e. the unlock_tasks array in each task is just a pointer to a pool of pointers in the scheduler. this pool needs to be sorted whenever tasks are added.