14.5.3 hash table mutex