Try to fix divergence due to task-shutdown futexes.