C or C++ : Mutex double unlock