pub struct ShardedLock<T>where
T: ?Sized,{
shards: Box<[CachePadded<Shard>]>,
value: UnsafeCell<T>,
}
Expand description
A sharded reader-writer lock.
This lock is equivalent to RwLock
, except read operations are faster and write operations
are slower.
A ShardedLock
is internally made of a list of shards, each being a RwLock
occupying a
single cache line. Read operations will pick one of the shards depending on the current thread
and lock it. Write operations need to lock all shards in succession.
By splitting the lock into shards, concurrent read operations will in most cases choose different shards and thus update different cache lines, which is good for scalability. However, write operations need to do more work and are therefore slower than usual.
The priority policy of the lock is dependent on the underlying operating system’s implementation, and this type does not guarantee that any particular policy will be used.
§Poisoning
A ShardedLock
, like RwLock
, will become poisoned on a panic. Note that it may only be
poisoned if a panic occurs while a write operation is in progress. If a panic occurs in any
read operation, the lock will not be poisoned.
§Examples
use crossbeam_utils::sync::ShardedLock;
let lock = ShardedLock::new(5);
// Any number of read locks can be held at once.
{
let r1 = lock.read().unwrap();
let r2 = lock.read().unwrap();
assert_eq!(*r1, 5);
assert_eq!(*r2, 5);
} // Read locks are dropped at this point.
// However, only one write lock may be held.
{
let mut w = lock.write().unwrap();
*w += 1;
assert_eq!(*w, 6);
} // Write lock is dropped here.
Fields§
§shards: Box<[CachePadded<Shard>]>
§value: UnsafeCell<T>
Implementations§
§impl<T> ShardedLock<T>
impl<T> ShardedLock<T>
pub fn new(value: T) -> ShardedLock<T>
pub fn new(value: T) -> ShardedLock<T>
Creates a new sharded reader-writer lock.
§Examples
use crossbeam_utils::sync::ShardedLock;
let lock = ShardedLock::new(5);
pub fn into_inner(self) -> Result<T, PoisonError<T>>
pub fn into_inner(self) -> Result<T, PoisonError<T>>
Consumes this lock, returning the underlying data.
§Errors
This method will return an error if the lock is poisoned. A lock gets poisoned when a write operation panics.
§Examples
use crossbeam_utils::sync::ShardedLock;
let lock = ShardedLock::new(String::new());
{
let mut s = lock.write().unwrap();
*s = "modified".to_owned();
}
assert_eq!(lock.into_inner().unwrap(), "modified");
§impl<T> ShardedLock<T>where
T: ?Sized,
impl<T> ShardedLock<T>where
T: ?Sized,
pub fn is_poisoned(&self) -> bool
pub fn is_poisoned(&self) -> bool
Returns true
if the lock is poisoned.
If another thread can still access the lock, it may become poisoned at any time. A false
result should not be trusted without additional synchronization.
§Examples
use crossbeam_utils::sync::ShardedLock;
use std::sync::Arc;
use std::thread;
let lock = Arc::new(ShardedLock::new(0));
let c_lock = lock.clone();
let _ = thread::spawn(move || {
let _lock = c_lock.write().unwrap();
panic!(); // the lock gets poisoned
}).join();
assert_eq!(lock.is_poisoned(), true);
pub fn get_mut(&mut self) -> Result<&mut T, PoisonError<&mut T>>
pub fn get_mut(&mut self) -> Result<&mut T, PoisonError<&mut T>>
Returns a mutable reference to the underlying data.
Since this call borrows the lock mutably, no actual locking needs to take place.
§Errors
This method will return an error if the lock is poisoned. A lock gets poisoned when a write operation panics.
§Examples
use crossbeam_utils::sync::ShardedLock;
let mut lock = ShardedLock::new(0);
*lock.get_mut().unwrap() = 10;
assert_eq!(*lock.read().unwrap(), 10);
pub fn try_read(
&self,
) -> Result<ShardedLockReadGuard<'_, T>, TryLockError<ShardedLockReadGuard<'_, T>>>
pub fn try_read( &self, ) -> Result<ShardedLockReadGuard<'_, T>, TryLockError<ShardedLockReadGuard<'_, T>>>
Attempts to acquire this lock with shared read access.
If the access could not be granted at this time, an error is returned. Otherwise, a guard is returned which will release the shared access when it is dropped. This method does not provide any guarantees with respect to the ordering of whether contentious readers or writers will acquire the lock first.
§Errors
This method will return an error if the lock is poisoned. A lock gets poisoned when a write operation panics.
§Examples
use crossbeam_utils::sync::ShardedLock;
let lock = ShardedLock::new(1);
match lock.try_read() {
Ok(n) => assert_eq!(*n, 1),
Err(_) => unreachable!(),
};
pub fn read(
&self,
) -> Result<ShardedLockReadGuard<'_, T>, PoisonError<ShardedLockReadGuard<'_, T>>>
pub fn read( &self, ) -> Result<ShardedLockReadGuard<'_, T>, PoisonError<ShardedLockReadGuard<'_, T>>>
Locks with shared read access, blocking the current thread until it can be acquired.
The calling thread will be blocked until there are no more writers which hold the lock. There may be other readers currently inside the lock when this method returns. This method does not provide any guarantees with respect to the ordering of whether contentious readers or writers will acquire the lock first.
Returns a guard which will release the shared access when dropped.
§Errors
This method will return an error if the lock is poisoned. A lock gets poisoned when a write operation panics.
§Panics
This method might panic when called if the lock is already held by the current thread.
§Examples
use crossbeam_utils::sync::ShardedLock;
use std::sync::Arc;
use std::thread;
let lock = Arc::new(ShardedLock::new(1));
let c_lock = lock.clone();
let n = lock.read().unwrap();
assert_eq!(*n, 1);
thread::spawn(move || {
let r = c_lock.read();
assert!(r.is_ok());
}).join().unwrap();
pub fn try_write(
&self,
) -> Result<ShardedLockWriteGuard<'_, T>, TryLockError<ShardedLockWriteGuard<'_, T>>>
pub fn try_write( &self, ) -> Result<ShardedLockWriteGuard<'_, T>, TryLockError<ShardedLockWriteGuard<'_, T>>>
Attempts to acquire this lock with exclusive write access.
If the access could not be granted at this time, an error is returned. Otherwise, a guard is returned which will release the exclusive access when it is dropped. This method does not provide any guarantees with respect to the ordering of whether contentious readers or writers will acquire the lock first.
§Errors
This method will return an error if the lock is poisoned. A lock gets poisoned when a write operation panics.
§Examples
use crossbeam_utils::sync::ShardedLock;
let lock = ShardedLock::new(1);
let n = lock.read().unwrap();
assert_eq!(*n, 1);
assert!(lock.try_write().is_err());
pub fn write(
&self,
) -> Result<ShardedLockWriteGuard<'_, T>, PoisonError<ShardedLockWriteGuard<'_, T>>>
pub fn write( &self, ) -> Result<ShardedLockWriteGuard<'_, T>, PoisonError<ShardedLockWriteGuard<'_, T>>>
Locks with exclusive write access, blocking the current thread until it can be acquired.
The calling thread will be blocked until there are no more writers which hold the lock. There may be other readers currently inside the lock when this method returns. This method does not provide any guarantees with respect to the ordering of whether contentious readers or writers will acquire the lock first.
Returns a guard which will release the exclusive access when dropped.
§Errors
This method will return an error if the lock is poisoned. A lock gets poisoned when a write operation panics.
§Panics
This method might panic when called if the lock is already held by the current thread.
§Examples
use crossbeam_utils::sync::ShardedLock;
let lock = ShardedLock::new(1);
let mut n = lock.write().unwrap();
*n = 2;
assert!(lock.try_read().is_err());
Trait Implementations§
§impl<T> Debug for ShardedLock<T>
impl<T> Debug for ShardedLock<T>
§impl<T> Default for ShardedLock<T>where
T: Default,
impl<T> Default for ShardedLock<T>where
T: Default,
§fn default() -> ShardedLock<T>
fn default() -> ShardedLock<T>
§impl<T> From<T> for ShardedLock<T>
impl<T> From<T> for ShardedLock<T>
§fn from(t: T) -> ShardedLock<T>
fn from(t: T) -> ShardedLock<T>
impl<T> RefUnwindSafe for ShardedLock<T>where
T: ?Sized,
impl<T> Send for ShardedLock<T>
impl<T> Sync for ShardedLock<T>
impl<T> UnwindSafe for ShardedLock<T>where
T: ?Sized,
Auto Trait Implementations§
impl<T> !Freeze for ShardedLock<T>
impl<T> Unpin for ShardedLock<T>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CheckedAs for T
impl<T> CheckedAs for T
source§fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
source§impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
source§fn checked_cast_from(src: Src) -> Option<Dst>
fn checked_cast_from(src: Src) -> Option<Dst>
§impl<T> Conv for T
impl<T> Conv for T
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
T
in a tonic::Request
source§impl<Src, Dst> LosslessTryInto<Dst> for Srcwhere
Dst: LosslessTryFrom<Src>,
impl<Src, Dst> LosslessTryInto<Dst> for Srcwhere
Dst: LosslessTryFrom<Src>,
source§fn lossless_try_into(self) -> Option<Dst>
fn lossless_try_into(self) -> Option<Dst>
source§impl<Src, Dst> LossyInto<Dst> for Srcwhere
Dst: LossyFrom<Src>,
impl<Src, Dst> LossyInto<Dst> for Srcwhere
Dst: LossyFrom<Src>,
source§fn lossy_into(self) -> Dst
fn lossy_into(self) -> Dst
§impl<T> NoneValue for Twhere
T: Default,
impl<T> NoneValue for Twhere
T: Default,
type NoneType = T
§fn null_value() -> T
fn null_value() -> T
source§impl<T> OverflowingAs for T
impl<T> OverflowingAs for T
source§fn overflowing_as<Dst>(self) -> (Dst, bool)where
T: OverflowingCast<Dst>,
fn overflowing_as<Dst>(self) -> (Dst, bool)where
T: OverflowingCast<Dst>,
source§impl<Src, Dst> OverflowingCastFrom<Src> for Dstwhere
Src: OverflowingCast<Dst>,
impl<Src, Dst> OverflowingCastFrom<Src> for Dstwhere
Src: OverflowingCast<Dst>,
source§fn overflowing_cast_from(src: Src) -> (Dst, bool)
fn overflowing_cast_from(src: Src) -> (Dst, bool)
§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read more§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read more§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> SaturatingAs for T
impl<T> SaturatingAs for T
source§fn saturating_as<Dst>(self) -> Dstwhere
T: SaturatingCast<Dst>,
fn saturating_as<Dst>(self) -> Dstwhere
T: SaturatingCast<Dst>,
source§impl<Src, Dst> SaturatingCastFrom<Src> for Dstwhere
Src: SaturatingCast<Dst>,
impl<Src, Dst> SaturatingCastFrom<Src> for Dstwhere
Src: SaturatingCast<Dst>,
source§fn saturating_cast_from(src: Src) -> Dst
fn saturating_cast_from(src: Src) -> Dst
§impl<T> Tap for T
impl<T> Tap for T
§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read more§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read more§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read more§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read more§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read more§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read more§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.