Optimal control of two deques in shared memory with various work-stealing strategies