tree f1df21a3bdc1cdd859a54a5afd8823b3cb738708
parent 2f44e8843a553ef0f9c53c9b27899727de097777
author Olivier Houchard <ohouchard@haproxy.com> 1573224115 +0100
committer Olivier Houchard <cognet@ci0.org> 1573320437 +0100

BUG/MEDIUM: tasks: Make tasklet_remove_from_tasklet_list() no matter the tasklet.

In tasklet_remove_from_tasket_list(), we can be called for a tasklet that is
either in the private task list, or in the shared tasklet list. Take that into
account and always use MT_LIST_DEL() to remove it, otherwise if we're in the
shared list and another thread attempts to add a tasklet in it, bad things
will happen.

__tasklet_remove_from_tasklet_list() is left unchanged, it's only supposed
to be used by process_runnable_task() to remove task/tasklets from the private
tast list.

This should not be backported.
This should fix github issue #357.