]> git.proxmox.com Git - rustc.git/blame - src/libstd/sync/once.rs
New upstream version 1.14.0+dfsg1
[rustc.git] / src / libstd / sync / once.rs
CommitLineData
1a4d82fc
JJ
1// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
11//! A "once initialization" primitive
12//!
13//! This primitive is meant to be used to run one-time initialization. An
14//! example use case would be for initializing an FFI library.
15
54a0048b
SL
16// A "once" is a relatively simple primitive, and it's also typically provided
17// by the OS as well (see `pthread_once` or `InitOnceExecuteOnce`). The OS
18// primitives, however, tend to have surprising restrictions, such as the Unix
19// one doesn't allow an argument to be passed to the function.
20//
21// As a result, we end up implementing it ourselves in the standard library.
22// This also gives us the opportunity to optimize the implementation a bit which
23// should help the fast path on call sites. Consequently, let's explain how this
24// primitive works now!
25//
26// So to recap, the guarantees of a Once are that it will call the
27// initialization closure at most once, and it will never return until the one
28// that's running has finished running. This means that we need some form of
29// blocking here while the custom callback is running at the very least.
30// Additionally, we add on the restriction of **poisoning**. Whenever an
31// initialization closure panics, the Once enters a "poisoned" state which means
32// that all future calls will immediately panic as well.
33//
34// So to implement this, one might first reach for a `StaticMutex`, but those
35// unfortunately need to be deallocated (e.g. call `destroy()`) to free memory
36// on all OSes (some of the BSDs allocate memory for mutexes). It also gets a
37// lot harder with poisoning to figure out when the mutex needs to be
38// deallocated because it's not after the closure finishes, but after the first
39// successful closure finishes.
40//
41// All in all, this is instead implemented with atomics and lock-free
42// operations! Whee! Each `Once` has one word of atomic state, and this state is
43// CAS'd on to determine what to do. There are four possible state of a `Once`:
44//
45// * Incomplete - no initialization has run yet, and no thread is currently
46// using the Once.
47// * Poisoned - some thread has previously attempted to initialize the Once, but
48// it panicked, so the Once is now poisoned. There are no other
49// threads currently accessing this Once.
50// * Running - some thread is currently attempting to run initialization. It may
51// succeed, so all future threads need to wait for it to finish.
52// Note that this state is accompanied with a payload, described
53// below.
54// * Complete - initialization has completed and all future calls should finish
55// immediately.
56//
57// With 4 states we need 2 bits to encode this, and we use the remaining bits
58// in the word we have allocated as a queue of threads waiting for the thread
59// responsible for entering the RUNNING state. This queue is just a linked list
60// of Waiter nodes which is monotonically increasing in size. Each node is
61// allocated on the stack, and whenever the running closure finishes it will
62// consume the entire queue and notify all waiters they should try again.
63//
64// You'll find a few more details in the implementation, but that's the gist of
65// it!
66
67use marker;
5bcae85e 68use ptr;
54a0048b
SL
69use sync::atomic::{AtomicUsize, AtomicBool, Ordering};
70use thread::{self, Thread};
1a4d82fc
JJ
71
72/// A synchronization primitive which can be used to run a one-time global
73/// initialization. Useful for one-time initialization for FFI or related
74/// functionality. This type can only be constructed with the `ONCE_INIT`
75/// value.
76///
c34b1796 77/// # Examples
1a4d82fc 78///
c34b1796 79/// ```
1a4d82fc
JJ
80/// use std::sync::{Once, ONCE_INIT};
81///
82/// static START: Once = ONCE_INIT;
83///
84/// START.call_once(|| {
85/// // run initialization here
86/// });
87/// ```
85aaf69f 88#[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc 89pub struct Once {
54a0048b
SL
90 // This `state` word is actually an encoded version of just a pointer to a
91 // `Waiter`, so we add the `PhantomData` appropriately.
92 state: AtomicUsize,
93 _marker: marker::PhantomData<*mut Waiter>,
94}
95
96// The `PhantomData` of a raw pointer removes these two auto traits, but we
97// enforce both below in the implementation so this should be safe to add.
98#[stable(feature = "rust1", since = "1.0.0")]
99unsafe impl Sync for Once {}
100#[stable(feature = "rust1", since = "1.0.0")]
101unsafe impl Send for Once {}
102
103/// State yielded to the `call_once_force` method which can be used to query
104/// whether the `Once` was previously poisoned or not.
a7813a04 105#[unstable(feature = "once_poison", issue = "33577")]
54a0048b
SL
106pub struct OnceState {
107 poisoned: bool,
1a4d82fc
JJ
108}
109
1a4d82fc 110/// Initialization value for static `Once` values.
85aaf69f 111#[stable(feature = "rust1", since = "1.0.0")]
62682a34 112pub const ONCE_INIT: Once = Once::new();
1a4d82fc 113
54a0048b
SL
114// Four states that a Once can be in, encoded into the lower bits of `state` in
115// the Once structure.
116const INCOMPLETE: usize = 0x0;
117const POISONED: usize = 0x1;
118const RUNNING: usize = 0x2;
119const COMPLETE: usize = 0x3;
120
121// Mask to learn about the state. All other bits are the queue of waiters if
122// this is in the RUNNING state.
123const STATE_MASK: usize = 0x3;
124
125// Representation of a node in the linked list of waiters in the RUNNING state.
126struct Waiter {
127 thread: Option<Thread>,
128 signaled: AtomicBool,
129 next: *mut Waiter,
130}
131
132// Helper struct used to clean up after a closure call with a `Drop`
133// implementation to also run on panic.
134struct Finish {
135 panicked: bool,
136 me: &'static Once,
137}
138
1a4d82fc 139impl Once {
62682a34
SL
140 /// Creates a new `Once` value.
141 #[stable(feature = "once_new", since = "1.2.0")]
142 pub const fn new() -> Once {
143 Once {
54a0048b
SL
144 state: AtomicUsize::new(INCOMPLETE),
145 _marker: marker::PhantomData,
62682a34
SL
146 }
147 }
148
9346a6ac 149 /// Performs an initialization routine once and only once. The given closure
1a4d82fc
JJ
150 /// will be executed if this is the first time `call_once` has been called,
151 /// and otherwise the routine will *not* be invoked.
152 ///
bd371182 153 /// This method will block the calling thread if another initialization
1a4d82fc
JJ
154 /// routine is currently running.
155 ///
156 /// When this function returns, it is guaranteed that some initialization
bd371182
AL
157 /// has run and completed (it may not be the closure specified). It is also
158 /// guaranteed that any memory writes performed by the executed closure can
159 /// be reliably observed by other threads at this point (there is a
160 /// happens-before relation between the closure and code executing after the
161 /// return).
54a0048b
SL
162 ///
163 /// # Examples
164 ///
165 /// ```
166 /// use std::sync::{Once, ONCE_INIT};
167 ///
168 /// static mut VAL: usize = 0;
169 /// static INIT: Once = ONCE_INIT;
170 ///
171 /// // Accessing a `static mut` is unsafe much of the time, but if we do so
172 /// // in a synchronized fashion (e.g. write once or read all) then we're
173 /// // good to go!
174 /// //
175 /// // This function will only call `expensive_computation` once, and will
176 /// // otherwise always return the value returned from the first invocation.
177 /// fn get_cached_val() -> usize {
178 /// unsafe {
179 /// INIT.call_once(|| {
180 /// VAL = expensive_computation();
181 /// });
182 /// VAL
183 /// }
184 /// }
185 ///
186 /// fn expensive_computation() -> usize {
187 /// // ...
188 /// # 2
189 /// }
190 /// ```
191 ///
192 /// # Panics
193 ///
194 /// The closure `f` will only be executed once if this is called
195 /// concurrently amongst many threads. If that closure panics, however, then
196 /// it will *poison* this `Once` instance, causing all future invocations of
197 /// `call_once` to also panic.
198 ///
199 /// This is similar to [poisoning with mutexes][poison].
200 ///
201 /// [poison]: struct.Mutex.html#poisoning
85aaf69f 202 #[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc 203 pub fn call_once<F>(&'static self, f: F) where F: FnOnce() {
54a0048b
SL
204 // Fast path, just see if we've completed initialization.
205 if self.state.load(Ordering::SeqCst) == COMPLETE {
1a4d82fc
JJ
206 return
207 }
208
54a0048b
SL
209 let mut f = Some(f);
210 self.call_inner(false, &mut |_| f.take().unwrap()());
211 }
212
213 /// Performs the same function as `call_once` except ignores poisoning.
214 ///
215 /// If this `Once` has been poisoned (some initialization panicked) then
216 /// this function will continue to attempt to call initialization functions
217 /// until one of them doesn't panic.
218 ///
219 /// The closure `f` is yielded a structure which can be used to query the
220 /// state of this `Once` (whether initialization has previously panicked or
221 /// not).
a7813a04 222 #[unstable(feature = "once_poison", issue = "33577")]
54a0048b
SL
223 pub fn call_once_force<F>(&'static self, f: F) where F: FnOnce(&OnceState) {
224 // same as above, just with a different parameter to `call_inner`.
225 if self.state.load(Ordering::SeqCst) == COMPLETE {
1a4d82fc
JJ
226 return
227 }
228
54a0048b
SL
229 let mut f = Some(f);
230 self.call_inner(true, &mut |p| {
231 f.take().unwrap()(&OnceState { poisoned: p })
232 });
233 }
234
235 // This is a non-generic function to reduce the monomorphization cost of
236 // using `call_once` (this isn't exactly a trivial or small implementation).
237 //
238 // Additionally, this is tagged with `#[cold]` as it should indeed be cold
239 // and it helps let LLVM know that calls to this function should be off the
240 // fast path. Essentially, this should help generate more straight line code
241 // in LLVM.
242 //
243 // Finally, this takes an `FnMut` instead of a `FnOnce` because there's
244 // currently no way to take an `FnOnce` and call it via virtual dispatch
245 // without some allocation overhead.
246 #[cold]
247 fn call_inner(&'static self,
248 ignore_poisoning: bool,
249 mut init: &mut FnMut(bool)) {
250 let mut state = self.state.load(Ordering::SeqCst);
251
252 'outer: loop {
253 match state {
254 // If we're complete, then there's nothing to do, we just
255 // jettison out as we shouldn't run the closure.
256 COMPLETE => return,
257
258 // If we're poisoned and we're not in a mode to ignore
259 // poisoning, then we panic here to propagate the poison.
260 POISONED if !ignore_poisoning => {
261 panic!("Once instance has previously been poisoned");
262 }
263
264 // Otherwise if we see a poisoned or otherwise incomplete state
265 // we will attempt to move ourselves into the RUNNING state. If
266 // we succeed, then the queue of waiters starts at null (all 0
267 // bits).
268 POISONED |
269 INCOMPLETE => {
270 let old = self.state.compare_and_swap(state, RUNNING,
271 Ordering::SeqCst);
272 if old != state {
273 state = old;
274 continue
275 }
276
277 // Run the initialization routine, letting it know if we're
278 // poisoned or not. The `Finish` struct is then dropped, and
279 // the `Drop` implementation here is responsible for waking
280 // up other waiters both in the normal return and panicking
281 // case.
282 let mut complete = Finish {
283 panicked: true,
284 me: self,
285 };
286 init(state == POISONED);
287 complete.panicked = false;
288 return
289 }
290
291 // All other values we find should correspond to the RUNNING
292 // state with an encoded waiter list in the more significant
293 // bits. We attempt to enqueue ourselves by moving us to the
294 // head of the list and bail out if we ever see a state that's
295 // not RUNNING.
296 _ => {
297 assert!(state & STATE_MASK == RUNNING);
298 let mut node = Waiter {
299 thread: Some(thread::current()),
300 signaled: AtomicBool::new(false),
5bcae85e 301 next: ptr::null_mut(),
54a0048b
SL
302 };
303 let me = &mut node as *mut Waiter as usize;
304 assert!(me & STATE_MASK == 0);
305
306 while state & STATE_MASK == RUNNING {
307 node.next = (state & !STATE_MASK) as *mut Waiter;
308 let old = self.state.compare_and_swap(state,
309 me | RUNNING,
310 Ordering::SeqCst);
311 if old != state {
312 state = old;
313 continue
314 }
315
316 // Once we've enqueued ourselves, wait in a loop.
317 // Aftewards reload the state and continue with what we
318 // were doing from before.
319 while !node.signaled.load(Ordering::SeqCst) {
320 thread::park();
321 }
322 state = self.state.load(Ordering::SeqCst);
323 continue 'outer
324 }
325 }
326 }
1a4d82fc 327 }
54a0048b
SL
328 }
329}
1a4d82fc 330
54a0048b
SL
331impl Drop for Finish {
332 fn drop(&mut self) {
333 // Swap out our state with however we finished. We should only ever see
334 // an old state which was RUNNING.
335 let queue = if self.panicked {
336 self.me.state.swap(POISONED, Ordering::SeqCst)
337 } else {
338 self.me.state.swap(COMPLETE, Ordering::SeqCst)
339 };
340 assert_eq!(queue & STATE_MASK, RUNNING);
341
342 // Decode the RUNNING to a list of waiters, then walk that entire list
343 // and wake them up. Note that it is crucial that after we store `true`
344 // in the node it can be free'd! As a result we load the `thread` to
345 // signal ahead of time and then unpark it after the store.
346 unsafe {
347 let mut queue = (queue & !STATE_MASK) as *mut Waiter;
348 while !queue.is_null() {
349 let next = (*queue).next;
350 let thread = (*queue).thread.take().unwrap();
351 (*queue).signaled.store(true, Ordering::SeqCst);
352 thread.unpark();
353 queue = next;
354 }
1a4d82fc
JJ
355 }
356 }
357}
358
54a0048b
SL
359impl OnceState {
360 /// Returns whether the associated `Once` has been poisoned.
361 ///
362 /// Once an initalization routine for a `Once` has panicked it will forever
363 /// indicate to future forced initialization routines that it is poisoned.
a7813a04 364 #[unstable(feature = "once_poison", issue = "33577")]
54a0048b
SL
365 pub fn poisoned(&self) -> bool {
366 self.poisoned
367 }
368}
369
c30ab7b3 370#[cfg(all(test, not(target_os = "emscripten")))]
d9579d0f 371mod tests {
54a0048b
SL
372 use panic;
373 use sync::mpsc::channel;
85aaf69f 374 use thread;
62682a34 375 use super::Once;
1a4d82fc
JJ
376
377 #[test]
378 fn smoke_once() {
62682a34 379 static O: Once = Once::new();
85aaf69f 380 let mut a = 0;
1a4d82fc
JJ
381 O.call_once(|| a += 1);
382 assert_eq!(a, 1);
383 O.call_once(|| a += 1);
384 assert_eq!(a, 1);
385 }
386
387 #[test]
388 fn stampede_once() {
62682a34 389 static O: Once = Once::new();
c30ab7b3 390 static mut RUN: bool = false;
1a4d82fc
JJ
391
392 let (tx, rx) = channel();
85aaf69f 393 for _ in 0..10 {
1a4d82fc 394 let tx = tx.clone();
85aaf69f
SL
395 thread::spawn(move|| {
396 for _ in 0..4 { thread::yield_now() }
1a4d82fc
JJ
397 unsafe {
398 O.call_once(|| {
c30ab7b3
SL
399 assert!(!RUN);
400 RUN = true;
1a4d82fc 401 });
c30ab7b3 402 assert!(RUN);
1a4d82fc
JJ
403 }
404 tx.send(()).unwrap();
405 });
406 }
407
408 unsafe {
409 O.call_once(|| {
c30ab7b3
SL
410 assert!(!RUN);
411 RUN = true;
1a4d82fc 412 });
c30ab7b3 413 assert!(RUN);
1a4d82fc
JJ
414 }
415
85aaf69f 416 for _ in 0..10 {
1a4d82fc
JJ
417 rx.recv().unwrap();
418 }
419 }
54a0048b
SL
420
421 #[test]
422 fn poison_bad() {
423 static O: Once = Once::new();
424
425 // poison the once
426 let t = panic::catch_unwind(|| {
427 O.call_once(|| panic!());
428 });
429 assert!(t.is_err());
430
431 // poisoning propagates
432 let t = panic::catch_unwind(|| {
433 O.call_once(|| {});
434 });
435 assert!(t.is_err());
436
437 // we can subvert poisoning, however
438 let mut called = false;
439 O.call_once_force(|p| {
440 called = true;
441 assert!(p.poisoned())
442 });
443 assert!(called);
444
445 // once any success happens, we stop propagating the poison
446 O.call_once(|| {});
447 }
448
449 #[test]
450 fn wait_for_force_to_finish() {
451 static O: Once = Once::new();
452
453 // poison the once
454 let t = panic::catch_unwind(|| {
455 O.call_once(|| panic!());
456 });
457 assert!(t.is_err());
458
459 // make sure someone's waiting inside the once via a force
460 let (tx1, rx1) = channel();
461 let (tx2, rx2) = channel();
462 let t1 = thread::spawn(move || {
463 O.call_once_force(|p| {
464 assert!(p.poisoned());
465 tx1.send(()).unwrap();
466 rx2.recv().unwrap();
467 });
468 });
469
470 rx1.recv().unwrap();
471
472 // put another waiter on the once
473 let t2 = thread::spawn(|| {
474 let mut called = false;
475 O.call_once(|| {
476 called = true;
477 });
478 assert!(!called);
479 });
480
481 tx2.send(()).unwrap();
482
483 assert!(t1.join().is_ok());
484 assert!(t2.join().is_ok());
485
486 }
1a4d82fc 487}