Work-stealing scheduler