tree 802cb31d0d88b3588036e3e5b8715cd983295fbc
parent c45791aa5234de9e19821d7b109ef7487b2f43df
author Olivier Houchard <cognet@ci0.org> 1569329728 +0200
committer Olivier Houchard <cognet@ci0.org> 1569329925 +0200

BUG/MEDIUM: tasklets: Make sure we're waking the target thread if it sleeps.

Now that we can wake tasklet for other threads, make sure that if the thread
is sleeping, we wake it up, or the tasklet won't be executed until it's
done sleeping.
That also means that, before going to sleep, and after we put our bit
in sleeping_thread_mask, we have to check that nobody added a tasklet for
us, just checking for global_tasks_mask isn't enough anymore.