use mutex + deque as ready-queue in example work-stealing