Use c++ 11 rand in thread pool.