| commit | bba1a263c5831436196d1c6fbd5f771d659b34a7 | [log] [tgz] |
|---|---|---|
| author | Olivier Houchard <cognet@ci0.org> | Tue Sep 24 14:55:28 2019 +0200 |
| committer | Olivier Houchard <cognet@ci0.org> | Tue Sep 24 14:58:45 2019 +0200 |
| tree | 802cb31d0d88b3588036e3e5b8715cd983295fbc | |
| parent | c45791aa5234de9e19821d7b109ef7487b2f43df [diff] |
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.