cpp/thread/timed mutex/~timed mutex