mod.rs.html -- source
Description: Source to the Rust file `src/libstd/sync/mod.rs`.
Keywords: rust, rustlang, rust-lang

      1
      2
      3
      4
      5
      6
      7
      8
      9
     10
     11
     12
     13
     14
     15
     16
     17
     18
     19
     20
     21
     22
     23
     24
     25
     26
     27
     28
     29
     30
     31
     32
     33
     34
     35
     36
     37
     38
     39
     40
     41
     42
     43
     44
     45
     46
     47
     48
     49
     50
     51
     52
     53
     54
     55
     56
     57
     58
     59
     60
     61
     62
     63
     64
     65
     66
     67
     68
     69
     70
     71
     72
     73
     74
     75
     76
     77
     78
     79
     80
     81
     82
     83
     84
     85
     86
     87
     88
     89
     90
     91
     92
     93
     94
     95
     96
     97
     98
     99
    100
    101
    102
    103
    104
    105
    106
    107
    108
    109
    110
    111
    112
    113
    114
    115
    116
    117
    118
    119
    120
    121
    122
    123
    124
    125
    126
    127
    128
    129
    130
    131
    132
    133
    134
    135
    136
    137
    138
    139
    140
    141
    142
    143
    144
    145
    146
    147
    148
    149
    150
    151
    152
    153
    154
    155
    156
    157
    158
    159
    160
    161
    162
    163
    164
    165
    166
    167
    168
    169
    170
    171
    172
    173
    174
    175
    176
    177
    178
    179
    180
    181
    182
    183
    184
    185
    186
    187
    188

    // Copyright 2013 The Rust Project Developers. See the COPYRIGHT
    // file at the top-level directory of this distribution and at
    // http://rust-lang.org/COPYRIGHT.
    //
    // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
    // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
    // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
    // option. This file may not be copied, modified, or distributed
    // except according to those terms.

    //! Useful synchronization primitives.
    //!
    //! ## The need for synchronization
    //!
    //! Conceptually, a Rust program is a series of operations which will
    //! be executed on a computer. The timeline of events happening in the
    //! program is consistent with the order of the operations in the code.
    //!
    //! Consider the following code, operating on some global static variables:
    //!
    //! ```rust
    //! static mut A: u32 = 0;
    //! static mut B: u32 = 0;
    //! static mut C: u32 = 0;
    //!
    //! fn main() {
    //!     unsafe {
    //!         A = 3;
    //!         B = 4;
    //!         A = A + B;
    //!         C = B;
    //!         println!("{} {} {}", A, B, C);
    //!         C = A;
    //!     }
    //! }
    //! ```
    //!
    //! It appears as if some variables stored in memory are changed, an addition
    //! is performed, result is stored in `A` and the variable `C` is
    //! modified twice.
    //!
    //! When only a single thread is involved, the results are as expected:
    //! the line `7 4 4` gets printed.
    //!
    //! As for what happens behind the scenes, when optimizations are enabled the
    //! final generated machine code might look very different from the code:
    //!
    //! - The first store to `C` might be moved before the store to `A` or `B`,
    //!   _as if_ we had written `C = 4; A = 3; B = 4`.
    //!
    //! - Assignment of `A + B` to `A` might be removed, since the sum can be stored
    //!   in a temporary location until it gets printed, with the global variable
    //!   never getting updated.
    //!
    //! - The final result could be determined just by looking at the code
    //!   at compile time, so [constant folding] might turn the whole
    //!   block into a simple `println!("7 4 4")`.
    //!
    //! The compiler is allowed to perform any combination of these
    //! optimizations, as long as the final optimized code, when executed,
    //! produces the same results as the one without optimizations.
    //!
    //! Due to the [concurrency] involved in modern computers, assumptions
    //! about the program's execution order are often wrong. Access to
    //! global variables can lead to nondeterministic results, **even if**
    //! compiler optimizations are disabled, and it is **still possible**
    //! to introduce synchronization bugs.
    //!
    //! Note that thanks to Rust's safety guarantees, accessing global (static)
    //! variables requires `unsafe` code, assuming we don't use any of the
    //! synchronization primitives in this module.
    //!
    //! [constant folding]: https://en.wikipedia.org/wiki/Constant_folding
    //! [concurrency]: https://en.wikipedia.org/wiki/Concurrency_(computer_science)
    //!
    //! ## Out-of-order execution
    //!
    //! Instructions can execute in a different order from the one we define, due to
    //! various reasons:
    //!
    //! - The **compiler** reordering instructions: If the compiler can issue an
    //!   instruction at an earlier point, it will try to do so. For example, it
    //!   might hoist memory loads at the top of a code block, so that the CPU can
    //!   start [prefetching] the values from memory.
    //!
    //!   In single-threaded scenarios, this can cause issues when writing
    //!   signal handlers or certain kinds of low-level code.
    //!   Use [compiler fences] to prevent this reordering.
    //!
    //! - A **single processor** executing instructions [out-of-order]:
    //!   Modern CPUs are capable of [superscalar] execution,
    //!   i.e. multiple instructions might be executing at the same time,
    //!   even though the machine code describes a sequential process.
    //!
    //!   This kind of reordering is handled transparently by the CPU.
    //!
    //! - A **multiprocessor** system executing multiple hardware threads
    //!   at the same time: In multi-threaded scenarios, you can use two
    //!   kinds of primitives to deal with synchronization:
    //!   - [memory fences] to ensure memory accesses are made visible to
    //!   other CPUs in the right order.
    //!   - [atomic operations] to ensure simultaneous access to the same
    //!   memory location doesn't lead to undefined behavior.
    //!
    //! [prefetching]: https://en.wikipedia.org/wiki/Cache_prefetching
    //! [compiler fences]: crate::sync::atomic::compiler_fence
    //! [out-of-order]: https://en.wikipedia.org/wiki/Out-of-order_execution
    //! [superscalar]: https://en.wikipedia.org/wiki/Superscalar_processor
    //! [memory fences]: crate::sync::atomic::fence
    //! [atomic operations]: crate::sync::atomic
    //!
    //! ## Higher-level synchronization objects
    //!
    //! Most of the low-level synchronization primitives are quite error-prone and
    //! inconvenient to use, which is why the standard library also exposes some
    //! higher-level synchronization objects.
    //!
    //! These abstractions can be built out of lower-level primitives.
    //! For efficiency, the sync objects in the standard library are usually
    //! implemented with help from the operating system's kernel, which is
    //! able to reschedule the threads while they are blocked on acquiring
    //! a lock.
    //!
    //! The following is an overview of the available synchronization
    //! objects:
    //!
    //! - [`Arc`]: Atomically Reference-Counted pointer, which can be used
    //!   in multithreaded environments to prolong the lifetime of some
    //!   data until all the threads have finished using it.
    //!
    //! - [`Barrier`]: Ensures multiple threads will wait for each other
    //!   to reach a point in the program, before continuing execution all
    //!   together.
    //!
    //! - [`Condvar`]: Condition Variable, providing the ability to block
    //!   a thread while waiting for an event to occur.
    //!
    //! - [`mpsc`]: Multi-producer, single-consumer queues, used for
    //!   message-based communication. Can provide a lightweight
    //!   inter-thread synchronisation mechanism, at the cost of some
    //!   extra memory.
    //!
    //! - [`Mutex`]: Mutual Exclusion mechanism, which ensures that at
    //!   most one thread at a time is able to access some data.
    //!
    //! - [`Once`]: Used for thread-safe, one-time initialization of a
    //!   global variable.
    //!
    //! - [`RwLock`]: Provides a mutual exclusion mechanism which allows
    //!   multiple readers at the same time, while allowing only one
    //!   writer at a time. In some cases, this can be more efficient than
    //!   a mutex.
    //!
    //! [`Arc`]: crate::sync::Arc
    //! [`Barrier`]: crate::sync::Barrier
    //! [`Condvar`]: crate::sync::Condvar
    //! [`mpsc`]: crate::sync::mpsc
    //! [`Mutex`]: crate::sync::Mutex
    //! [`Once`]: crate::sync::Once
    //! [`RwLock`]: crate::sync::RwLock

    #![stable(feature = "rust1", since = "1.0.0")]

    #[stable(feature = "rust1", since = "1.0.0")]
    pub use alloc_crate::sync::{Arc, Weak};
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use core::sync::atomic;

    #[stable(feature = "rust1", since = "1.0.0")]
    pub use self::barrier::{Barrier, BarrierWaitResult};
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use self::condvar::{Condvar, WaitTimeoutResult};
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use self::mutex::{Mutex, MutexGuard};
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use self::once::{Once, OnceState, ONCE_INIT};
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use sys_common::poison::{PoisonError, TryLockError, TryLockResult, LockResult};
    #[stable(feature = "rust1", since = "1.0.0")]
    pub use self::rwlock::{RwLock, RwLockReadGuard, RwLockWriteGuard};

    pub mod mpsc;

    mod barrier;
    mod condvar;
    mod mutex;
    mod once;
    mod rwlock;

# Help

## Keyboard Shortcuts

`?`
  Show this help dialog
`S`
  Focus the search field
`↑`
  Move up in search results
`↓`
  Move down in search results
`↹`
  Switch tab
`⏎`
  Go to active search result
`+`
  Expand all sections
`-`
  Collapse all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g. `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g. `vec -> usize` or `* -> vec`)

Search multiple things at once by splitting your query with comma (e.g. `str,u8` or `String,struct:Vec,test`)