Manual
Programming Reference
virtual void release_read()=0
Releases the read ownership acquired by acquire_read or try_acquire_read.