Rename mutex_ to smutex_ since it is used for statistics