Struct RwLockWriteGuard

#[must_use = "if unused the RwLock will immediately unlock"]
pub struct RwLockWriteGuard<'rwlock, T: ?Sized + 'rwlock> { pub(in ::sync::poison::rwlock) lock: &'rwlock RwLock<T>, pub(in ::sync::poison::rwlock) poison: Guard }

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>

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

poison: Guard

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

Implementations

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

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

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.

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

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.

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.

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");
#
# drop(main_read_guard);
# evil_handle.join().unwrap();
#
# let final_check = rw.read().unwrap();
# assert_eq!(*final_check, 3);
fn map<U, F>(orig: Self, f: F) -> MappedRwLockWriteGuard<'rwlock, U>
where
    F: FnOnce(&mut T) -> &mut U,
    U: ?Sized,

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.

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

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.

Panics

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

Trait Implementations

impl<T: ?Sized + Debug> Debug for RwLockWriteGuard<'_, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<T: ?Sized + Display> Display for RwLockWriteGuard<'_, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<T: ?Sized + Sync> Sync for RwLockWriteGuard<'_, T>

impl<T: ?Sized> !Send for RwLockWriteGuard<'_, T>

impl<T: ?Sized> Deref for RwLockWriteGuard<'_, T>

type Target = T;
fn deref(&self) -> &T

impl<T: ?Sized> DerefMut for RwLockWriteGuard<'_, T>

fn deref_mut(&mut self) -> &mut T

impl<T: ?Sized> Drop for RwLockWriteGuard<'_, T>

fn drop(&mut self)

Auto Trait Implementations

impl<'rwlock, T> Freeze for RwLockWriteGuard<'rwlock, T> where &'rwlock RwLock<T>: Freeze, T: ?Sized,

impl<'rwlock, T> RefUnwindSafe for RwLockWriteGuard<'rwlock, T> where &'rwlock RwLock<T>: RefUnwindSafe, T: ?Sized,

impl<'rwlock, T> Unpin for RwLockWriteGuard<'rwlock, T> where &'rwlock RwLock<T>: Unpin, T: ?Sized,

impl<'rwlock, T> UnsafeUnpin for RwLockWriteGuard<'rwlock, T> where &'rwlock RwLock<T>: UnsafeUnpin, T: ?Sized,

impl<'rwlock, T> UnwindSafe for RwLockWriteGuard<'rwlock, T> where &'rwlock RwLock<T>: UnwindSafe, T: ?Sized,

Blanket Implementations

impl<P, T> Receiver for RwLockWriteGuard<'rwlock, T> where P: Deref<Target = T> + ?Sized, T: ?Sized,

type Target = T;

impl<T> Any for RwLockWriteGuard<'rwlock, T> where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for RwLockWriteGuard<'rwlock, T> where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for RwLockWriteGuard<'rwlock, T> where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for RwLockWriteGuard<'rwlock, T>

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> SizeHint for RwLockWriteGuard<'rwlock, T> where T: ?Sized,

fn lower_bound(&self) -> usize
fn upper_bound(&self) -> Option<usize>

impl<T> SizedTypeProperties for RwLockWriteGuard<'rwlock, T>

impl<T> ToString for RwLockWriteGuard<'rwlock, T> where T: Display + ?Sized,

fn to_string(&self) -> String

impl<T, U> Into<U> for RwLockWriteGuard<'rwlock, T> where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of [From]<T> for U chooses to do.

impl<T, U> TryFrom<U> for RwLockWriteGuard<'rwlock, T> where U: Into<T>,

type Error = Infallible;
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for RwLockWriteGuard<'rwlock, T> where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error;
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>