HierarchicalMutex.cc