ReadLock is indeed a RAII structure -- `release()` is called in the destructor.