reader_unlock

Description:

public void reader_unlock ()

Release a read lock on this.

Calling reader_unlock on a lock that is not held by the current thread leads to undefined behaviour.

Parameters:

this

a RWLock