1.0.0[−][src]Trait uefi_std::marker::Sync
Types for which it is safe to share references between threads.
This trait is automatically implemented when the compiler determines it's appropriate.
The precise definition is: a type T
is Sync
if and only if &T
is
Send
. In other words, if there is no possibility of
undefined behavior (including data races) when passing
&T
references between threads.
As one would expect, primitive types like u8
and f64
are all Sync
, and so are simple aggregate types containing them,
like tuples, structs and enums. More examples of basic Sync
types include "immutable" types like &T
, and those with simple
inherited mutability, such as Box<T>
, Vec<T>
and
most other collection types. (Generic parameters need to be Sync
for their container to be Sync
.)
A somewhat surprising consequence of the definition is that &mut T
is Sync
(if T
is Sync
) even though it seems like that might
provide unsynchronized mutation. The trick is that a mutable
reference behind a shared reference (that is, & &mut T
)
becomes read-only, as if it were a & &T
. Hence there is no risk
of a data race.
Types that are not Sync
are those that have "interior
mutability" in a non-thread-safe form, such as Cell
and RefCell
. These types allow for mutation of
their contents even through an immutable, shared reference. For
example the set
method on Cell<T>
takes &self
, so it requires
only a shared reference &Cell<T>
. The method performs no
synchronization, thus Cell
cannot be Sync
.
Another example of a non-Sync
type is the reference-counting
pointer Rc
. Given any reference &Rc<T>
, you can clone
a new Rc<T>
, modifying the reference counts in a non-atomic way.
For cases when one does need thread-safe interior mutability,
Rust provides atomic data types, as well as explicit locking via
sync::Mutex
and sync::RwLock
. These types
ensure that any mutation cannot cause data races, hence the types
are Sync
. Likewise, sync::Arc
provides a thread-safe
analogue of Rc
.
Any types with interior mutability must also use the
cell::UnsafeCell
wrapper around the value(s) which
can be mutated through a shared reference. Failing to doing this is
undefined behavior. For example, transmute
-ing
from &T
to &mut T
is invalid.
See the Nomicon for more details about Sync
.
Implementations on Foreign Types
impl Sync for Argument
[src]
impl Sync for FormatSpec
[src]
impl Sync for Alignment
[src]
impl Sync for Count
[src]
impl Sync for Waker
[src]
impl Sync for AtomicI16
[src]
impl Sync for AtomicI32
[src]
impl Sync for AtomicBool
[src]
impl Sync for AtomicU8
[src]
impl Sync for AtomicU32
[src]
impl Sync for AtomicI64
[src]
impl<T> Sync for AtomicPtr<T>
[src]
impl Sync for AtomicUsize
[src]
impl Sync for AtomicU64
[src]
impl Sync for AtomicIsize
[src]
impl Sync for AtomicU16
[src]
impl Sync for AtomicI8
[src]
impl<T> Sync for LinkedList<T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for IterMut<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for CursorMut<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for Cursor<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for Iter<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for IterMut<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for Drain<'_, T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for Arc<T> where
T: Send + Sync + ?Sized,
[src]
T: Send + Sync + ?Sized,
impl<T> Sync for Weak<T> where
T: Send + Sync + ?Sized,
[src]
Loading content...T: Send + Sync + ?Sized,
Implementors
impl<'_> Sync for uefi_std::string::Drain<'_>
[src]
impl<'_, T> Sync for uefi_std::slice::Iter<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T> Sync for uefi_std::slice::IterMut<'_, T> where
T: Sync,
[src]
T: Sync,
impl<'_, T, A> Sync for uefi_std::vec::Drain<'_, T, A> where
A: Sync + Allocator,
T: Sync,
[src]
A: Sync + Allocator,
T: Sync,
impl<T> !Sync for *const T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> !Sync for *mut T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> !Sync for Cell<T> where
T: ?Sized,
[src]
T: ?Sized,
impl<T> !Sync for RefCell<T> where
T: ?Sized,
[src]
T: ?Sized,
impl<T> !Sync for UnsafeCell<T> where
T: ?Sized,
[src]
T: ?Sized,
impl<T> !Sync for NonNull<T> where
T: ?Sized,
[src]
T: ?Sized,
NonNull
pointers are not Sync
because the data they reference may be aliased.
impl<T> !Sync for Rc<T> where
T: ?Sized,
[src]
T: ?Sized,
impl<T> !Sync for uefi_std::rc::Weak<T> where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Sync for Empty<T>
[src]
impl<T, A> Sync for uefi_std::vec::IntoIter<T, A> where
A: Allocator,
T: Sync,
[src]
A: Allocator,
T: Sync,
Auto implementors
impl !Sync for LoadedImage
[src]
impl !Sync for TraitObject
[src]
impl Sync for Ordering
[src]
impl Sync for Infallible
[src]
impl Sync for uefi_std::fmt::Alignment
[src]
impl Sync for SearchStep
[src]
impl Sync for TypeId
[src]
impl Sync for CpuidResult
[src]
impl Sync for __m128
[src]
impl Sync for __m128d
[src]
impl Sync for __m128i
[src]
impl Sync for __m256
[src]
impl Sync for __m256d
[src]
impl Sync for __m256i
[src]
impl Sync for __m512
[src]
impl Sync for __m512d
[src]
impl Sync for __m512i
[src]
impl Sync for TryFromSliceError
[src]
impl Sync for BorrowError
[src]
impl Sync for BorrowMutError
[src]
impl Sync for CharTryFromError
[src]
impl Sync for DecodeUtf16Error
[src]
impl Sync for uefi_std::char::EscapeDebug
[src]
impl Sync for uefi_std::char::EscapeDefault
[src]
impl Sync for uefi_std::char::EscapeUnicode
[src]
impl Sync for ParseCharError
[src]
impl Sync for ToLowercase
[src]
impl Sync for ToUppercase
[src]
impl Sync for Error
[src]
impl Sync for Dir
[src]
impl Sync for File
[src]
impl Sync for FileSystem
[src]
impl Sync for SipHasher
[src]
impl Sync for Stdout
[src]
impl Sync for PhantomPinned
[src]
impl Sync for RangeFull
[src]
impl Sync for NoneError
[src]
impl Sync for Pointer
[src]
impl Sync for Shell
[src]
impl Sync for ParseBoolError
[src]
impl Sync for Utf8Error
[src]
impl Sync for FromUtf8Error
[src]
impl Sync for FromUtf16Error
[src]
impl Sync for String
[src]
impl Sync for [u8]
[src]
impl Sync for bool
[src]
impl Sync for char
[src]
impl Sync for f32
[src]
impl Sync for f64
[src]
impl Sync for i8
[src]
impl Sync for i16
[src]
impl Sync for i32
[src]
impl Sync for i64
[src]
impl Sync for i128
[src]
impl Sync for isize
[src]
impl Sync for str
[src]
impl Sync for u8
[src]
impl Sync for u16
[src]
impl Sync for u32
[src]
impl Sync for u64
[src]
impl Sync for u128
[src]
impl Sync for usize
[src]
impl<'a> !Sync for Arguments<'a>
[src]
impl<'a> !Sync for Formatter<'a>
[src]
impl<'a> Sync for CharSearcher<'a>
[src]
impl<'a> Sync for Bytes<'a>
[src]
impl<'a> Sync for CharIndices<'a>
[src]
impl<'a> Sync for Chars<'a>
[src]
impl<'a> Sync for EncodeUtf16<'a>
[src]
impl<'a> Sync for uefi_std::str::EscapeDebug<'a>
[src]
impl<'a> Sync for uefi_std::str::EscapeDefault<'a>
[src]
impl<'a> Sync for uefi_std::str::EscapeUnicode<'a>
[src]
impl<'a> Sync for Lines<'a>
[src]
impl<'a> Sync for LinesAny<'a>
[src]
impl<'a> Sync for SplitAsciiWhitespace<'a>
[src]
impl<'a> Sync for SplitWhitespace<'a>
[src]
impl<'a, 'b> !Sync for DebugList<'a, 'b>
[src]
impl<'a, 'b> !Sync for DebugMap<'a, 'b>
[src]
impl<'a, 'b> !Sync for DebugSet<'a, 'b>
[src]
impl<'a, 'b> !Sync for DebugStruct<'a, 'b>
[src]
impl<'a, 'b> !Sync for DebugTuple<'a, 'b>
[src]
impl<'a, 'b> Sync for CharSliceSearcher<'a, 'b>
[src]
impl<'a, 'b> Sync for StrSearcher<'a, 'b>
[src]
impl<'a, A> Sync for uefi_std::option::Iter<'a, A> where
A: Sync,
[src]
A: Sync,
impl<'a, A> Sync for uefi_std::option::IterMut<'a, A> where
A: Sync,
[src]
A: Sync,
impl<'a, B: ?Sized> Sync for Cow<'a, B> where
B: Sync,
<B as ToOwned>::Owned: Sync,
[src]
B: Sync,
<B as ToOwned>::Owned: Sync,
impl<'a, F> Sync for CharPredicateSearcher<'a, F> where
F: MultiCharEq + Sync,
[src]
F: MultiCharEq + Sync,
impl<'a, I, A> Sync for Splice<'a, I, A> where
A: Sync,
I: Sync,
<I as Iterator>::Item: Sync,
[src]
A: Sync,
I: Sync,
<I as Iterator>::Item: Sync,
impl<'a, P> Sync for MatchIndices<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for Matches<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for RMatchIndices<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for RMatches<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for uefi_std::str::RSplit<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for uefi_std::str::RSplitN<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for RSplitTerminator<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for uefi_std::str::Split<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for uefi_std::str::SplitN<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, P> Sync for SplitTerminator<'a, P> where
<P as Pattern<'a>>::Searcher: Sync,
[src]
<P as Pattern<'a>>::Searcher: Sync,
impl<'a, T> Sync for uefi_std::result::Iter<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for uefi_std::result::IterMut<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for Chunks<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for ChunksExact<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for ChunksExactMut<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for ChunksMut<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for RChunks<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for RChunksExact<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for RChunksExactMut<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for RChunksMut<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T> Sync for Windows<'a, T> where
T: Sync,
[src]
T: Sync,
impl<'a, T, F, A> Sync for DrainFilter<'a, T, F, A> where
A: Sync,
F: Sync,
T: Sync,
[src]
A: Sync,
F: Sync,
T: Sync,
impl<'a, T, P> Sync for uefi_std::slice::RSplit<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for RSplitMut<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for uefi_std::slice::RSplitN<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for RSplitNMut<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for uefi_std::slice::Split<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for SplitMut<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for uefi_std::slice::SplitN<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, P> Sync for SplitNMut<'a, T, P> where
P: Sync,
T: Sync,
[src]
P: Sync,
T: Sync,
impl<'a, T, const N: usize> !Sync for ArrayWindows<'a, T, N>
[src]
impl<'a, T, const N: usize> Sync for ArrayChunks<'a, T, N> where
T: Sync,
[src]
T: Sync,
impl<'a, T, const N: usize> Sync for ArrayChunksMut<'a, T, N> where
T: Sync,
[src]
T: Sync,
impl<'b, T> !Sync for Ref<'b, T>
[src]
impl<'b, T> !Sync for RefMut<'b, T>
[src]
impl<A> Sync for Repeat<A> where
A: Sync,
[src]
A: Sync,
impl<A> Sync for uefi_std::option::IntoIter<A> where
A: Sync,
[src]
A: Sync,
impl<A, B> Sync for Chain<A, B> where
A: Sync,
B: Sync,
[src]
A: Sync,
B: Sync,
impl<A, B> Sync for Zip<A, B> where
A: Sync,
B: Sync,
[src]
A: Sync,
B: Sync,
impl<B, C> Sync for ControlFlow<B, C> where
B: Sync,
C: Sync,
[src]
B: Sync,
C: Sync,
impl<F> Sync for FromFn<F> where
F: Sync,
[src]
F: Sync,
impl<F> Sync for OnceWith<F> where
F: Sync,
[src]
F: Sync,
impl<F> Sync for RepeatWith<F> where
F: Sync,
[src]
F: Sync,
impl<H> Sync for BuildHasherDefault<H> where
H: Sync,
[src]
H: Sync,
impl<I> Sync for DecodeUtf16<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Cloned<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Copied<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Cycle<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Enumerate<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Flatten<I> where
I: Sync,
<<I as Iterator>::Item as IntoIterator>::IntoIter: Sync,
[src]
I: Sync,
<<I as Iterator>::Item as IntoIterator>::IntoIter: Sync,
impl<I> Sync for Fuse<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Peekable<I> where
I: Sync,
<I as Iterator>::Item: Sync,
[src]
I: Sync,
<I as Iterator>::Item: Sync,
impl<I> Sync for Skip<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for StepBy<I> where
I: Sync,
[src]
I: Sync,
impl<I> Sync for Take<I> where
I: Sync,
[src]
I: Sync,
impl<I, F> Sync for FilterMap<I, F> where
F: Sync,
I: Sync,
[src]
F: Sync,
I: Sync,
impl<I, F> Sync for Inspect<I, F> where
F: Sync,
I: Sync,
[src]
F: Sync,
I: Sync,
impl<I, F> Sync for Map<I, F> where
F: Sync,
I: Sync,
[src]
F: Sync,
I: Sync,
impl<I, P> Sync for Filter<I, P> where
I: Sync,
P: Sync,
[src]
I: Sync,
P: Sync,
impl<I, P> Sync for MapWhile<I, P> where
I: Sync,
P: Sync,
[src]
I: Sync,
P: Sync,
impl<I, P> Sync for SkipWhile<I, P> where
I: Sync,
P: Sync,
[src]
I: Sync,
P: Sync,
impl<I, P> Sync for TakeWhile<I, P> where
I: Sync,
P: Sync,
[src]
I: Sync,
P: Sync,
impl<I, St, F> Sync for Scan<I, St, F> where
F: Sync,
I: Sync,
St: Sync,
[src]
F: Sync,
I: Sync,
St: Sync,
impl<I, U, F> Sync for FlatMap<I, U, F> where
F: Sync,
I: Sync,
<U as IntoIterator>::IntoIter: Sync,
[src]
F: Sync,
I: Sync,
<U as IntoIterator>::IntoIter: Sync,
impl<Idx> Sync for Range<Idx> where
Idx: Sync,
[src]
Idx: Sync,
impl<Idx> Sync for RangeFrom<Idx> where
Idx: Sync,
[src]
Idx: Sync,
impl<Idx> Sync for RangeInclusive<Idx> where
Idx: Sync,
[src]
Idx: Sync,
impl<Idx> Sync for RangeTo<Idx> where
Idx: Sync,
[src]
Idx: Sync,
impl<Idx> Sync for RangeToInclusive<Idx> where
Idx: Sync,
[src]
Idx: Sync,
impl<P> Sync for Pin<P> where
P: Sync,
[src]
P: Sync,
impl<T> Sync for Bound<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for Option<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for Reverse<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for Once<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for Rev<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for Discriminant<T> where
<T as DiscriminantKind>::Discriminant: Sync,
[src]
<T as DiscriminantKind>::Discriminant: Sync,
impl<T> Sync for uefi_std::result::IntoIter<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for MaybeUninit<T> where
T: Sync,
[src]
T: Sync,
impl<T> Sync for [T] where
T: Sync,
[src]
T: Sync,
impl<T, A> Sync for Vec<T, A> where
A: Sync,
T: Sync,
[src]
A: Sync,
T: Sync,
impl<T, E> Sync for Result<T, E> where
E: Sync,
T: Sync,
[src]
E: Sync,
T: Sync,
impl<T, F> Sync for Successors<T, F> where
F: Sync,
T: Sync,
[src]
F: Sync,
T: Sync,
impl<T, const N: usize> Sync for uefi_std::array::IntoIter<T, N> where
T: Sync,
[src]
T: Sync,
impl<T, const N: usize> Sync for [T; N] where
T: Sync,
[src]
T: Sync,
impl<T: ?Sized> Sync for PhantomData<T> where
T: Sync,
[src]
T: Sync,
impl<T: ?Sized> Sync for ManuallyDrop<T> where
T: Sync,
[src]
T: Sync,
impl<T: ?Sized, A> Sync for Box<T, A> where
A: Sync,
T: Sync,
[src]
A: Sync,
T: Sync,
impl<Y, R> Sync for GeneratorState<Y, R> where
R: Sync,
Y: Sync,
[src]
R: Sync,
Y: Sync,