Willy Tarreau eb8c2c69fa MEDIUM: sched: implement task_kill() to kill a task ... task_kill() may be used by any thread to kill any task with less overhead than a regular wakeup. In order to achieve this, it bypasses the priority tree and inserts the task directly into the shared tasklets list, cast as a tasklet. The task_list_size is updated to make sure it is properly decremented after execution of this task. The task will thus be picked by process_runnable_tasks() after checking the tree and sent to the TL_URGENT list, where it will be processed and killed. If the task is bound to more than one thread, its first thread will be the one notified. If the task was already queued or running, nothing is done, only the flag is added so that it gets killed before or after execution. Of course it's the caller's responsibility to make sur any resources allocated by this task were already cleaned up or taken over.		2020-07-01 16:35:53 +02:00
..
haproxy	MEDIUM: sched: implement task_kill() to kill a task	2020-07-01 16:35:53 +02:00
import	CLEANUP: assorted typo fixes in the code and comments	2020-06-26 11:27:28 +02:00