std::sync::poison::rwlock

Struct RwLockWriteGuard

pub struct RwLockWriteGuard<'rwlock, T: ?Sized + 'rwlock> {
    lock: &'rwlock RwLock<T>,
    poison: Guard,
}

🔬This is a nightly-only experimental API. (sync_poison_mod #134646)

Expand description

RAII structure used to release the exclusive write access of a lock when dropped.

This structure is created by the write and try_write methods on RwLock.

Fields§

§lock: &'rwlock RwLock<T>

🔬This is a nightly-only experimental API. (sync_poison_mod #134646)

A reference to the RwLock that we have write-locked.

§poison: Guard

🔬This is a nightly-only experimental API. (sync_poison_mod #134646)

The poison guard. See the poison module for more information.

Implementations§

Source §

impl<'rwlock, T: ?Sized> RwLockWriteGuard<'rwlock, T>

Source

unsafe fn new( lock: &'rwlock RwLock<T>, ) -> LockResult<RwLockWriteGuard<'rwlock, T>>

🔬This is a nightly-only experimental API. (sync_poison_mod #134646)

Creates a new instance of RwLockWriteGuard<T> from a RwLock<T>.

§Safety

This function is safe if and only if the same thread has successfully and safely called lock.inner.write(), lock.inner.try_write(), or lock.inner.try_upgrade before instantiating this object.

Source

pub fn downgrade(s: Self) -> RwLockReadGuard<'rwlock, T>

🔬This is a nightly-only experimental API. (rwlock_downgrade #128203)

Downgrades a write-locked RwLockWriteGuard into a read-locked RwLockReadGuard.

Since we have the RwLockWriteGuard, the RwLock must already be locked for writing, so this method cannot fail.

After downgrading, other readers will be allowed to read the protected data.

§Examples

downgrade takes ownership of the RwLockWriteGuard and returns a RwLockReadGuard.

#![feature(rwlock_downgrade)]

use std::sync::{RwLock, RwLockWriteGuard};

let rw = RwLock::new(0);

let mut write_guard = rw.write().unwrap();
*write_guard = 42;

let read_guard = RwLockWriteGuard::downgrade(write_guard);
assert_eq!(42, *read_guard);

downgrade will atomically change the state of the RwLock from exclusive mode into shared mode. This means that it is impossible for another writing thread to get in between a thread calling downgrade and any reads it performs after downgrading.

#![feature(rwlock_downgrade)]

use std::sync::{Arc, RwLock, RwLockWriteGuard};

let rw = Arc::new(RwLock::new(1));

// Put the lock in write mode.
let mut main_write_guard = rw.write().unwrap();

let rw_clone = rw.clone();
let evil_handle = std::thread::spawn(move || {
    // This will not return until the main thread drops the `main_read_guard`.
    let mut evil_guard = rw_clone.write().unwrap();

    assert_eq!(*evil_guard, 2);
    *evil_guard = 3;
});

*main_write_guard = 2;

// Atomically downgrade the write guard into a read guard.
let main_read_guard = RwLockWriteGuard::downgrade(main_write_guard);

// Since `downgrade` is atomic, the writer thread cannot have changed the protected data.
assert_eq!(*main_read_guard, 2, "`downgrade` was not atomic");

Source

pub fn map<U, F>(orig: Self, f: F) -> MappedRwLockWriteGuard<'rwlock, U>
where F: FnOnce(&mut T) -> &mut U, U: ?Sized,

🔬This is a nightly-only experimental API. (mapped_lock_guards #117108)

Makes a MappedRwLockWriteGuard for a component of the borrowed data, e.g. an enum variant.

The RwLock is already locked for writing, so this cannot fail.

This is an associated function that needs to be used as RwLockWriteGuard::map(...). A method would interfere with methods of the same name on the contents of the RwLockWriteGuard used through Deref.

§Panics

If the closure panics, the guard will be dropped (unlocked) and the RwLock will be poisoned.

Source

pub fn filter_map<U, F>( orig: Self, f: F, ) -> Result<MappedRwLockWriteGuard<'rwlock, U>, Self>
where F: FnOnce(&mut T) -> Option<&mut U>, U: ?Sized,

🔬This is a nightly-only experimental API. (mapped_lock_guards #117108)

Makes a MappedRwLockWriteGuard for a component of the borrowed data. The original guard is returned as an Err(...) if the closure returns None.

The RwLock is already locked for writing, so this cannot fail.

This is an associated function that needs to be used as RwLockWriteGuard::filter_map(...). A method would interfere with methods of the same name on the contents of the RwLockWriteGuard used through Deref.