comments of Mutex.h