Move to std::mutex (c++0x) from pthread mutex