public UpgradeableReadLock(RWLock rwlock_) : base(rwlock_) { if (rwlock != null) { rwlock.doEnterUpgradeableReadLock(); } }
public ReadLock(RWLock rwlock_) : base(rwlock_) { if (rwlock != null) { rwlock.doEnterReadLock(); } }
public WriteLock(RWLock rwlock_) : base(rwlock_) { if (rwlock != null) { rwlock.doEnterWriteLock(); } }
public LockHandle(RWLock rwlock_) { rwlock = rwlock_; }