This is true, but it is a subset of designs using shared_mutex.