Zygo Blaxell 46a38fe016 task: rescue post-exec queue on Task destruction ...

task1.append(task2) is supposed to run task2 after task1 is executed;
however, if task1 was just executed, and its last reference was owned by
a TaskConsumer, then task2 will be appended to a Task that will never
run again.

A similar problem arises in Exclusion, which can cause blocked tasks
to occasionally be dropped without executing them.

Signed-off-by: Zygo Blaxell <bees@furryterror.org>

2022-12-20 20:50:57 -05:00

20 KiB

Raw Blame History

View Raw