Update mutex.cpp