A work-stealing task scheduler