blob: 9c530e7b3248c88e5270c8742f23c18ba6bd7799 [file] [log] [blame]
Alex Crichtona9c11522014-11-14 22:20:571//! Thread local storage
Alex Crichtona9c11522014-11-14 22:20:572
Alex Crichton5f625622015-08-13 17:12:383#![unstable(feature = "thread_local_internals", issue = "0")]
Alex Crichtona9c11522014-11-14 22:20:574
Stjepan Glavinad6c31962019-06-03 16:20:385use crate::error::Error;
Taiki Endo93b6d9e2019-02-10 19:23:216use crate::fmt;
Alex Crichtona9c11522014-11-14 22:20:577
Alex Crichtona9c11522014-11-14 22:20:578/// A thread local storage key which owns its contents.
9///
10/// This key uses the fastest possible implementation available to it for the
Felix Raimundof92bd3d2017-05-14 18:06:5411/// target platform. It is instantiated with the [`thread_local!`] macro and the
12/// primary method is the [`with`] method.
Alex Crichtona9c11522014-11-14 22:20:5713///
Felix Raimundof92bd3d2017-05-14 18:06:5414/// The [`with`] method yields a reference to the contained value which cannot be
Barosl Leeff332b62015-05-08 15:12:2915/// sent across threads or escape the given closure.
Alex Crichtona9c11522014-11-14 22:20:5716///
17/// # Initialization and Destruction
18///
Felix Raimundof92bd3d2017-05-14 18:06:5419/// Initialization is dynamically performed on the first call to [`with`]
20/// within a thread, and values that implement [`Drop`] get destructed when a
Stjepan Glavina1fbbe792017-02-15 22:26:2921/// thread exits. Some caveats apply, which are explained below.
Alex Crichtona9c11522014-11-14 22:20:5722///
Joshua Liebow-Feeserddb072b2017-09-07 19:57:0823/// A `LocalKey`'s initializer cannot recursively depend on itself, and using
24/// a `LocalKey` in this way will cause the initializer to infinitely recurse
25/// on the first call to `with`.
26///
Steve Klabnik64ab1112015-03-12 01:11:4027/// # Examples
Alex Crichtona9c11522014-11-14 22:20:5728///
29/// ```
30/// use std::cell::RefCell;
Aaron Turond0de2b42015-02-17 23:10:2531/// use std::thread;
Alex Crichtona9c11522014-11-14 22:20:5732///
Vojtech Krale5e76e92015-02-23 16:24:5033/// thread_local!(static FOO: RefCell<u32> = RefCell::new(1));
Alex Crichtona9c11522014-11-14 22:20:5734///
35/// FOO.with(|f| {
36/// assert_eq!(*f.borrow(), 1);
37/// *f.borrow_mut() = 2;
38/// });
39///
40/// // each thread starts out with the initial value of 1
benaryorg2293d222019-03-03 14:21:5241/// let t = thread::spawn(move|| {
Alex Crichtona9c11522014-11-14 22:20:5742/// FOO.with(|f| {
43/// assert_eq!(*f.borrow(), 1);
44/// *f.borrow_mut() = 3;
45/// });
Aaron Turoncaca9b22015-01-06 05:59:4546/// });
Alex Crichtona9c11522014-11-14 22:20:5747///
benaryorg2293d222019-03-03 14:21:5248/// // wait for the thread to complete and bail out on panic
49/// t.join().unwrap();
50///
Alex Crichtona9c11522014-11-14 22:20:5751/// // we retain our original value of 2 despite the child thread
52/// FOO.with(|f| {
53/// assert_eq!(*f.borrow(), 2);
54/// });
55/// ```
Alex Crichtonb960de02016-01-29 21:46:4756///
57/// # Platform-specific behavior
58///
59/// Note that a "best effort" is made to ensure that destructors for types
Ryman2b712192016-04-25 20:01:1960/// stored in thread local storage are run, but not all platforms can guarantee
Alex Crichtonb960de02016-01-29 21:46:4761/// that destructors will be run for all types in thread local storage. For
62/// example, there are a number of known caveats where destructors are not run:
63///
64/// 1. On Unix systems when pthread-based TLS is being used, destructors will
65/// not be run for TLS values on the main thread when it exits. Note that the
66/// application will exit immediately after the main thread exits as well.
67/// 2. On all platforms it's possible for TLS to re-initialize other TLS slots
68/// during destruction. Some platforms ensure that this cannot happen
69/// infinitely by preventing re-initialization of any slot that has been
70/// destroyed, but not all platforms have this guard. Those platforms that do
71/// not guard typically have a synthetic limit after which point no more
72/// destructors are run.
Felix Raimundof92bd3d2017-05-14 18:06:5473///
74/// [`with`]: ../../std/thread/struct.LocalKey.html#method.with
75/// [`thread_local!`]: ../../std/macro.thread_local.html
76/// [`Drop`]: ../../std/ops/trait.Drop.html
Brian Andersonb44ee372015-01-24 05:48:2077#[stable(feature = "rust1", since = "1.0.0")]
Alex Crichtoncd74364e2015-12-11 20:42:2978pub struct LocalKey<T: 'static> {
79 // This outer `LocalKey<T>` type is what's going to be stored in statics,
80 // but actual data inside will sometimes be tagged with #[thread_local].
81 // It's not valid for a true static to reference a #[thread_local] static,
82 // so we get around that by exposing an accessor through a layer of function
83 // indirection (this thunk).
Alex Crichtona9c11522014-11-14 22:20:5784 //
Alex Crichtoncd74364e2015-12-11 20:42:2985 // Note that the thunk is itself unsafe because the returned lifetime of the
86 // slot where data lives, `'static`, is not actually valid. The lifetime
Eduard-Mihai Burtescu92892d32017-08-08 15:22:5187 // here is actually slightly shorter than the currently running thread!
Alex Crichtoncd74364e2015-12-11 20:42:2988 //
89 // Although this is an extra layer of indirection, it should in theory be
90 // trivially devirtualizable by LLVM because the value of `inner` never
91 // changes and the constant should be readonly within a crate. This mainly
92 // only runs into problems when TLS statics are exported across crates.
tylerdfe51a72019-05-03 05:40:5293 inner: unsafe fn() -> Option<&'static T>,
Patrick Waltonddb24662014-11-14 17:18:1094}
Alex Crichtona9c11522014-11-14 22:20:5795
Oliver Middleton9128f612017-01-29 13:31:4796#[stable(feature = "std_debug", since = "1.16.0")]
Corey Farwell86fc63e2016-11-25 18:21:4997impl<T: 'static> fmt::Debug for LocalKey<T> {
Mazdak Farrokhzad379c3802019-03-01 08:34:1198 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
Corey Farwell86fc63e2016-11-25 18:21:4999 f.pad("LocalKey { .. }")
100 }
101}
102
Felix Raimundof92bd3d2017-05-14 18:06:54103/// Declare a new thread local storage key of type [`std::thread::LocalKey`].
Eduard Burtescu377b0902015-05-27 08:18:36104///
Alex Burkafc28ee22016-06-04 19:19:22105/// # Syntax
106///
107/// The macro wraps any number of static declarations and makes them thread local.
Alex Burkab6a2d7e2017-04-01 03:06:34108/// Publicity and attributes for each static are allowed. Example:
Alex Burkafc28ee22016-06-04 19:19:22109///
110/// ```
111/// use std::cell::RefCell;
112/// thread_local! {
113/// pub static FOO: RefCell<u32> = RefCell::new(1);
114///
115/// #[allow(unused)]
116/// static BAR: RefCell<f32> = RefCell::new(1.0);
117/// }
118/// # fn main() {}
119/// ```
120///
Felix Raimundof92bd3d2017-05-14 18:06:54121/// See [LocalKey documentation][`std::thread::LocalKey`] for more
Alex Crichton1b5f9cb2015-05-28 06:24:27122/// information.
Felix Raimundof92bd3d2017-05-14 18:06:54123///
124/// [`std::thread::LocalKey`]: ../std/thread/struct.LocalKey.html
Alex Crichtona9c11522014-11-14 22:20:57125#[macro_export]
Eduard Burtescu377b0902015-05-27 08:18:36126#[stable(feature = "rust1", since = "1.0.0")]
Mark Rousskov28700152019-02-27 23:58:12127#[allow_internal_unstable(thread_local_internals)]
Eduard Burtescu377b0902015-05-27 08:18:36128macro_rules! thread_local {
Alex Burkab6a2d7e2017-04-01 03:06:34129 // empty (base case for the recursion)
Alex Burkafc28ee22016-06-04 19:19:22130 () => {};
131
Alex Burka8cce5bc2017-04-19 02:29:40132 // process multiple declarations
133 ($(#[$attr:meta])* $vis:vis static $name:ident: $t:ty = $init:expr; $($rest:tt)*) => (
Alex Crichtonff5226c2018-11-01 21:17:39134 $crate::__thread_local_inner!($(#[$attr])* $vis $name, $t, $init);
135 $crate::thread_local!($($rest)*);
Alex Burkafc28ee22016-06-04 19:19:22136 );
137
Alex Burka8cce5bc2017-04-19 02:29:40138 // handle a single declaration
139 ($(#[$attr:meta])* $vis:vis static $name:ident: $t:ty = $init:expr) => (
Alex Crichtonff5226c2018-11-01 21:17:39140 $crate::__thread_local_inner!($(#[$attr])* $vis $name, $t, $init);
Alex Crichton1b5f9cb2015-05-28 06:24:27141 );
142}
143
144#[doc(hidden)]
David Tolnay4436c9d2019-11-27 18:29:00145#[unstable(feature = "thread_local_internals", reason = "should not be necessary", issue = "0")]
Alex Crichton1b5f9cb2015-05-28 06:24:27146#[macro_export]
Mark Rousskov28700152019-02-27 23:58:12147#[allow_internal_unstable(thread_local_internals, cfg_target_thread_local, thread_local)]
Alex Crichton29726872017-08-25 15:39:02148#[allow_internal_unsafe]
Alex Crichton1b5f9cb2015-05-28 06:24:27149macro_rules! __thread_local_inner {
3442853561936349c2019-11-06 08:39:48150 (@key $t:ty, $init:expr) => {
Eduard-Mihai Burtescu4e2be142017-08-13 13:42:10151 {
152 #[inline]
Alex Burkab6a2d7e2017-04-01 03:06:34153 fn __init() -> $t { $init }
Alex Crichtoncd74364e2015-12-11 20:42:29154
tylerdfe51a72019-05-03 05:40:52155 unsafe fn __getit() -> $crate::option::Option<&'static $t> {
Alex Crichtoncbe9f332018-10-10 06:10:25156 #[cfg(all(target_arch = "wasm32", not(target_feature = "atomics")))]
Alex Crichtonc3a5d6b2018-03-29 21:59:13157 static __KEY: $crate::thread::__StaticLocalKeyInner<$t> =
158 $crate::thread::__StaticLocalKeyInner::new();
159
Alex Burkab6a2d7e2017-04-01 03:06:34160 #[thread_local]
Alex Crichtoncbe9f332018-10-10 06:10:25161 #[cfg(all(
162 target_thread_local,
163 not(all(target_arch = "wasm32", not(target_feature = "atomics"))),
164 ))]
Alex Burkab6a2d7e2017-04-01 03:06:34165 static __KEY: $crate::thread::__FastLocalKeyInner<$t> =
166 $crate::thread::__FastLocalKeyInner::new();
Alex Crichtoncd74364e2015-12-11 20:42:29167
Alex Crichtoncbe9f332018-10-10 06:10:25168 #[cfg(all(
169 not(target_thread_local),
170 not(all(target_arch = "wasm32", not(target_feature = "atomics"))),
171 ))]
Alex Burkab6a2d7e2017-04-01 03:06:34172 static __KEY: $crate::thread::__OsLocalKeyInner<$t> =
173 $crate::thread::__OsLocalKeyInner::new();
Alex Crichtoncd74364e2015-12-11 20:42:29174
tylerdfe51a72019-05-03 05:40:52175 __KEY.get(__init)
Alex Burkab6a2d7e2017-04-01 03:06:34176 }
Alex Crichtoncd74364e2015-12-11 20:42:29177
Eduard-Mihai Burtescu92892d32017-08-08 15:22:51178 unsafe {
tylerdfe51a72019-05-03 05:40:52179 $crate::thread::LocalKey::new(__getit)
Eduard-Mihai Burtescu92892d32017-08-08 15:22:51180 }
Eduard-Mihai Burtescu4e2be142017-08-13 13:42:10181 }
182 };
183 ($(#[$attr:meta])* $vis:vis $name:ident, $t:ty, $init:expr) => {
Eduard-Mihai Burtescu4e2be142017-08-13 13:42:10184 $(#[$attr])* $vis const $name: $crate::thread::LocalKey<$t> =
3442853561936349c2019-11-06 08:39:48185 $crate::__thread_local_inner!(@key $t, $init);
Alex Burkab6a2d7e2017-04-01 03:06:34186 }
Alex Crichton1b5f9cb2015-05-28 06:24:27187}
188
Lee Bousfield32ae12b2017-07-10 23:26:11189/// An error returned by [`LocalKey::try_with`](struct.LocalKey.html#method.try_with).
Stjepan Glavinac99f4c42018-02-27 16:00:01190#[stable(feature = "thread_local_try_with", since = "1.26.0")]
Stjepan Glavinad6c31962019-06-03 16:20:38191#[derive(Clone, Copy, Eq, PartialEq)]
Lee Bousfield32ae12b2017-07-10 23:26:11192pub struct AccessError {
193 _private: (),
194}
195
Stjepan Glavinac99f4c42018-02-27 16:00:01196#[stable(feature = "thread_local_try_with", since = "1.26.0")]
Lee Bousfield32ae12b2017-07-10 23:26:11197impl fmt::Debug for AccessError {
Mazdak Farrokhzad379c3802019-03-01 08:34:11198 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
Lee Bousfield32ae12b2017-07-10 23:26:11199 f.debug_struct("AccessError").finish()
200 }
201}
202
Stjepan Glavinac99f4c42018-02-27 16:00:01203#[stable(feature = "thread_local_try_with", since = "1.26.0")]
Lee Bousfield32ae12b2017-07-10 23:26:11204impl fmt::Display for AccessError {
Mazdak Farrokhzad379c3802019-03-01 08:34:11205 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
Lee Bousfield32ae12b2017-07-10 23:26:11206 fmt::Display::fmt("already destroyed", f)
207 }
208}
209
Stjepan Glavinad2c9c122019-08-04 13:11:08210#[stable(feature = "thread_local_try_with", since = "1.26.0")]
Stjepan Glavinad6c31962019-06-03 16:20:38211impl Error for AccessError {}
212
Aaron Turon6bd3ab02015-03-20 07:46:13213impl<T: 'static> LocalKey<T> {
Eduard Burtescu377b0902015-05-27 08:18:36214 #[doc(hidden)]
David Tolnay4436c9d2019-11-27 18:29:00215 #[unstable(
216 feature = "thread_local_internals",
217 reason = "recently added to create a key",
218 issue = "0"
219 )]
tylerdfe51a72019-05-03 05:40:52220 pub const unsafe fn new(inner: unsafe fn() -> Option<&'static T>) -> LocalKey<T> {
David Tolnay4436c9d2019-11-27 18:29:00221 LocalKey { inner }
Eduard Burtescu377b0902015-05-27 08:18:36222 }
223
Andrew Paseltiner6fa16d62015-04-13 14:21:32224 /// Acquires a reference to the value in this TLS key.
Alex Crichtona9c11522014-11-14 22:20:57225 ///
226 /// This will lazily initialize the value if this thread has not referenced
227 /// this key yet.
228 ///
229 /// # Panics
230 ///
231 /// This function will `panic!()` if the key currently has its
232 /// destructor running, and it **may** panic if the destructor has
233 /// previously been run for this thread.
Brian Andersonb44ee372015-01-24 05:48:20234 #[stable(feature = "rust1", since = "1.0.0")]
Alex Crichton4ffd9f42014-12-10 15:49:45235 pub fn with<F, R>(&'static self, f: F) -> R
David Tolnay4436c9d2019-11-27 18:29:00236 where
237 F: FnOnce(&T) -> R,
238 {
239 self.try_with(f).expect(
240 "cannot access a Thread Local Storage value \
241 during or after destruction",
242 )
Alex Crichtona9c11522014-11-14 22:20:57243 }
244
Lee Bousfield32ae12b2017-07-10 23:26:11245 /// Acquires a reference to the value in this TLS key.
246 ///
247 /// This will lazily initialize the value if this thread has not referenced
248 /// this key yet. If the key has been destroyed (which may happen if this is called
Michal 'vorner' Vaner771748d2018-06-26 20:58:25249 /// in a destructor), this function will return an [`AccessError`](struct.AccessError.html).
Lee Bousfield32ae12b2017-07-10 23:26:11250 ///
251 /// # Panics
252 ///
253 /// This function will still `panic!()` if the key is uninitialized and the
254 /// key's initializer panics.
Stjepan Glavinac99f4c42018-02-27 16:00:01255 #[stable(feature = "thread_local_try_with", since = "1.26.0")]
Lee Bousfield32ae12b2017-07-10 23:26:11256 pub fn try_with<F, R>(&'static self, f: F) -> Result<R, AccessError>
Stjepan Glavinac99f4c42018-02-27 16:00:01257 where
258 F: FnOnce(&T) -> R,
259 {
Lee Bousfield32ae12b2017-07-10 23:26:11260 unsafe {
David Tolnay4436c9d2019-11-27 18:29:00261 let thread_local = (self.inner)().ok_or(AccessError { _private: () })?;
tylerdfe51a72019-05-03 05:40:52262 Ok(f(thread_local))
263 }
264 }
265}
266
267mod lazy {
268 use crate::cell::UnsafeCell;
tylerdfe51a72019-05-03 05:40:52269 use crate::hint;
David Tolnay4436c9d2019-11-27 18:29:00270 use crate::mem;
tylerdfe51a72019-05-03 05:40:52271
272 pub struct LazyKeyInner<T> {
273 inner: UnsafeCell<Option<T>>,
274 }
275
276 impl<T> LazyKeyInner<T> {
277 pub const fn new() -> LazyKeyInner<T> {
David Tolnay4436c9d2019-11-27 18:29:00278 LazyKeyInner { inner: UnsafeCell::new(None) }
tylerdfe51a72019-05-03 05:40:52279 }
280
tylerdfe51a72019-05-03 05:40:52281 pub unsafe fn get(&self) -> Option<&'static T> {
282 (*self.inner.get()).as_ref()
283 }
284
285 pub unsafe fn initialize<F: FnOnce() -> T>(&self, init: F) -> &'static T {
286 // Execute the initialization up front, *then* move it into our slot,
287 // just in case initialization fails.
288 let value = init();
289 let ptr = self.inner.get();
290
291 // note that this can in theory just be `*ptr = Some(value)`, but due to
292 // the compiler will currently codegen that pattern with something like:
293 //
294 // ptr::drop_in_place(ptr)
295 // ptr::write(ptr, Some(value))
296 //
297 // Due to this pattern it's possible for the destructor of the value in
298 // `ptr` (e.g., if this is being recursively initialized) to re-access
299 // TLS, in which case there will be a `&` and `&mut` pointer to the same
300 // value (an aliasing violation). To avoid setting the "I'm running a
301 // destructor" flag we just use `mem::replace` which should sequence the
302 // operations a little differently and make this safe to call.
303 mem::replace(&mut *ptr, Some(value));
304
305 // After storing `Some` we want to get a reference to the contents of
306 // what we just stored. While we could use `unwrap` here and it should
307 // always work it empirically doesn't seem to always get optimized away,
308 // which means that using something like `try_with` can pull in
309 // panicking code and cause a large size bloat.
310 match *ptr {
311 Some(ref x) => x,
312 None => hint::unreachable_unchecked(),
313 }
314 }
315
tyler060d8bb2019-05-04 00:01:53316 #[allow(unused)]
tylerdfe51a72019-05-03 05:40:52317 pub unsafe fn take(&mut self) -> Option<T> {
318 (*self.inner.get()).take()
Lee Bousfield32ae12b2017-07-10 23:26:11319 }
320 }
Alex Crichtona9c11522014-11-14 22:20:57321}
322
Alex Crichtonc3a5d6b2018-03-29 21:59:13323/// On some platforms like wasm32 there's no threads, so no need to generate
324/// thread locals and we can instead just use plain statics!
325#[doc(hidden)]
Alex Crichtoncbe9f332018-10-10 06:10:25326#[cfg(all(target_arch = "wasm32", not(target_feature = "atomics")))]
Alex Crichtonc3a5d6b2018-03-29 21:59:13327pub mod statik {
tylerdfe51a72019-05-03 05:40:52328 use super::lazy::LazyKeyInner;
Taiki Endo93b6d9e2019-02-10 19:23:21329 use crate::fmt;
Alex Crichtonc3a5d6b2018-03-29 21:59:13330
331 pub struct Key<T> {
tylerdfe51a72019-05-03 05:40:52332 inner: LazyKeyInner<T>,
Alex Crichtonc3a5d6b2018-03-29 21:59:13333 }
334
David Tolnay4436c9d2019-11-27 18:29:00335 unsafe impl<T> Sync for Key<T> {}
Alex Crichtonc3a5d6b2018-03-29 21:59:13336
337 impl<T> fmt::Debug for Key<T> {
Mazdak Farrokhzad379c3802019-03-01 08:34:11338 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
Alex Crichtonc3a5d6b2018-03-29 21:59:13339 f.pad("Key { .. }")
340 }
341 }
342
343 impl<T> Key<T> {
344 pub const fn new() -> Key<T> {
David Tolnay4436c9d2019-11-27 18:29:00345 Key { inner: LazyKeyInner::new() }
Alex Crichtonc3a5d6b2018-03-29 21:59:13346 }
347
tylerdfe51a72019-05-03 05:40:52348 pub unsafe fn get(&self, init: fn() -> T) -> Option<&'static T> {
349 let value = match self.inner.get() {
350 Some(ref value) => value,
351 None => self.inner.initialize(init),
352 };
353 Some(value)
Alex Crichtonc3a5d6b2018-03-29 21:59:13354 }
355 }
356}
357
Alex Crichton0e154aa2015-04-15 19:26:27358#[doc(hidden)]
Alex Crichton06540cb2016-02-17 07:07:09359#[cfg(target_thread_local)]
360pub mod fast {
tylerdfe51a72019-05-03 05:40:52361 use super::lazy::LazyKeyInner;
362 use crate::cell::Cell;
Taiki Endo93b6d9e2019-02-10 19:23:21363 use crate::fmt;
364 use crate::mem;
tyler7acfb992019-05-01 01:24:38365 use crate::sys::fast_thread_local::register_dtor;
Alex Crichton06540cb2016-02-17 07:07:09366
tylerdfe51a72019-05-03 05:40:52367 #[derive(Copy, Clone)]
368 enum DtorState {
369 Unregistered,
370 Registered,
371 RunningOrHasRun,
372 }
373
tyler1a7f7742019-05-11 00:29:43374 // This data structure has been carefully constructed so that the fast path
375 // only contains one branch on x86. That optimization is necessary to avoid
376 // duplicated tls lookups on OSX.
tyler2b3642b2019-05-11 17:42:44377 //
tyler1a7f7742019-05-11 00:29:43378 // LLVM issue: https://bugs.llvm.org/show_bug.cgi?id=41722
Alex Crichton06540cb2016-02-17 07:07:09379 pub struct Key<T> {
tylerdfe51a72019-05-03 05:40:52380 // If `LazyKeyInner::get` returns `None`, that indicates either:
381 // * The value has never been initialized
382 // * The value is being recursively initialized
383 // * The value has already been destroyed or is being destroyed
384 // To determine which kind of `None`, check `dtor_state`.
385 //
386 // This is very optimizer friendly for the fast path - initialized but
387 // not yet dropped.
388 inner: LazyKeyInner<T>,
Alex Crichton06540cb2016-02-17 07:07:09389
390 // Metadata to keep track of the state of the destructor. Remember that
tylerdfe51a72019-05-03 05:40:52391 // this variable is thread-local, not global.
392 dtor_state: Cell<DtorState>,
Alex Crichton06540cb2016-02-17 07:07:09393 }
394
395 impl<T> fmt::Debug for Key<T> {
Mazdak Farrokhzad379c3802019-03-01 08:34:11396 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
Alex Crichton06540cb2016-02-17 07:07:09397 f.pad("Key { .. }")
398 }
399 }
400
Alex Crichton06540cb2016-02-17 07:07:09401 impl<T> Key<T> {
402 pub const fn new() -> Key<T> {
David Tolnay4436c9d2019-11-27 18:29:00403 Key { inner: LazyKeyInner::new(), dtor_state: Cell::new(DtorState::Unregistered) }
Alex Crichton06540cb2016-02-17 07:07:09404 }
405
tylerdfe51a72019-05-03 05:40:52406 pub unsafe fn get<F: FnOnce() -> T>(&self, init: F) -> Option<&'static T> {
407 match self.inner.get() {
408 Some(val) => Some(val),
tyler1a7f7742019-05-11 00:29:43409 None => self.try_initialize(init),
Alex Crichton06540cb2016-02-17 07:07:09410 }
Alex Crichton06540cb2016-02-17 07:07:09411 }
412
tyler1a7f7742019-05-11 00:29:43413 // `try_initialize` is only called once per fast thread local variable,
tyler9289d032019-05-15 14:18:24414 // except in corner cases where thread_local dtors reference other
415 // thread_local's, or it is being recursively initialized.
416 //
417 // Macos: Inlining this function can cause two `tlv_get_addr` calls to
418 // be performed for every call to `Key::get`. The #[cold] hint makes
419 // that less likely.
420 // LLVM issue: https://bugs.llvm.org/show_bug.cgi?id=41722
tylerdfe51a72019-05-03 05:40:52421 #[cold]
tyler1a7f7742019-05-11 00:29:43422 unsafe fn try_initialize<F: FnOnce() -> T>(&self, init: F) -> Option<&'static T> {
tyler9289d032019-05-15 14:18:24423 if !mem::needs_drop::<T>() || self.try_register_dtor() {
tyler1a7f7742019-05-11 00:29:43424 Some(self.inner.initialize(init))
tyler9289d032019-05-15 14:18:24425 } else {
426 None
tyler1a7f7742019-05-11 00:29:43427 }
tylerdfe51a72019-05-03 05:40:52428 }
429
tyler9289d032019-05-15 14:18:24430 // `try_register_dtor` is only called once per fast thread local
tylerdfe51a72019-05-03 05:40:52431 // variable, except in corner cases where thread_local dtors reference
432 // other thread_local's, or it is being recursively initialized.
tyler9289d032019-05-15 14:18:24433 unsafe fn try_register_dtor(&self) -> bool {
tylerdfe51a72019-05-03 05:40:52434 match self.dtor_state.get() {
435 DtorState::Unregistered => {
436 // dtor registration happens before initialization.
David Tolnay4436c9d2019-11-27 18:29:00437 register_dtor(self as *const _ as *mut u8, destroy_value::<T>);
tylerdfe51a72019-05-03 05:40:52438 self.dtor_state.set(DtorState::Registered);
tyler9289d032019-05-15 14:18:24439 true
tylerdfe51a72019-05-03 05:40:52440 }
441 DtorState::Registered => {
442 // recursively initialized
tyler9289d032019-05-15 14:18:24443 true
tylerdfe51a72019-05-03 05:40:52444 }
David Tolnay4436c9d2019-11-27 18:29:00445 DtorState::RunningOrHasRun => false,
Alex Crichton06540cb2016-02-17 07:07:09446 }
Alex Crichton06540cb2016-02-17 07:07:09447 }
448 }
449
David Tolnay4436c9d2019-11-27 18:29:00450 unsafe extern "C" fn destroy_value<T>(ptr: *mut u8) {
Alex Crichton06540cb2016-02-17 07:07:09451 let ptr = ptr as *mut Key<T>;
tylerdfe51a72019-05-03 05:40:52452
453 // Right before we run the user destructor be sure to set the
454 // `Option<T>` to `None`, and `dtor_state` to `RunningOrHasRun`. This
455 // causes future calls to `get` to run `try_initialize_drop` again,
456 // which will now fail, and return `None`.
457 let value = (*ptr).inner.take();
458 (*ptr).dtor_state.set(DtorState::RunningOrHasRun);
459 drop(value);
Alex Crichton06540cb2016-02-17 07:07:09460 }
461}
462
463#[doc(hidden)]
Alex Crichtoncd74364e2015-12-11 20:42:29464pub mod os {
tylerdfe51a72019-05-03 05:40:52465 use super::lazy::LazyKeyInner;
466 use crate::cell::Cell;
Taiki Endo93b6d9e2019-02-10 19:23:21467 use crate::fmt;
468 use crate::marker;
469 use crate::ptr;
470 use crate::sys_common::thread_local::StaticKey as OsStaticKey;
Alex Crichtona9c11522014-11-14 22:20:57471
Alex Crichtona9c11522014-11-14 22:20:57472 pub struct Key<T> {
Alex Crichtona9c11522014-11-14 22:20:57473 // OS-TLS key that we'll use to key off.
Eduard Burtescu377b0902015-05-27 08:18:36474 os: OsStaticKey,
475 marker: marker::PhantomData<Cell<T>>,
Alex Crichtona9c11522014-11-14 22:20:57476 }
477
Corey Farwell86fc63e2016-11-25 18:21:49478 impl<T> fmt::Debug for Key<T> {
Mazdak Farrokhzad379c3802019-03-01 08:34:11479 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
Corey Farwell86fc63e2016-11-25 18:21:49480 f.pad("Key { .. }")
481 }
482 }
483
David Tolnay4436c9d2019-11-27 18:29:00484 unsafe impl<T> Sync for Key<T> {}
Flavio Percocofb803a82014-12-06 16:39:25485
Alex Crichtona9c11522014-11-14 22:20:57486 struct Value<T: 'static> {
tylerdfe51a72019-05-03 05:40:52487 inner: LazyKeyInner<T>,
Alex Crichtona9c11522014-11-14 22:20:57488 key: &'static Key<T>,
Alex Crichtona9c11522014-11-14 22:20:57489 }
490
Eduard Burtescu377b0902015-05-27 08:18:36491 impl<T: 'static> Key<T> {
492 pub const fn new() -> Key<T> {
David Tolnay4436c9d2019-11-27 18:29:00493 Key { os: OsStaticKey::new(Some(destroy_value::<T>)), marker: marker::PhantomData }
Alex Crichtona9c11522014-11-14 22:20:57494 }
495
tylerdfe51a72019-05-03 05:40:52496 pub unsafe fn get(&'static self, init: fn() -> T) -> Option<&'static T> {
Eduard-Mihai Burtescu92892d32017-08-08 15:22:51497 let ptr = self.os.get() as *mut Value<T>;
tylerdfe51a72019-05-03 05:40:52498 if ptr as usize > 1 {
Mateusz Mikułabedbf3b2019-09-05 12:08:06499 if let Some(ref value) = (*ptr).inner.get() {
500 return Some(value);
Alex Crichtona9c11522014-11-14 22:20:57501 }
tylerdfe51a72019-05-03 05:40:52502 }
503 self.try_initialize(init)
504 }
505
506 // `try_initialize` is only called once per os thread local variable,
507 // except in corner cases where thread_local dtors reference other
508 // thread_local's, or it is being recursively initialized.
509 unsafe fn try_initialize(&'static self, init: fn() -> T) -> Option<&'static T> {
510 let ptr = self.os.get() as *mut Value<T>;
511 if ptr as usize == 1 {
512 // destructor is running
David Tolnay4436c9d2019-11-27 18:29:00513 return None;
Manish Goregaokar6c4f0bf2016-02-04 12:20:20514 }
Eduard-Mihai Burtescu92892d32017-08-08 15:22:51515
tylerdfe51a72019-05-03 05:40:52516 let ptr = if ptr.is_null() {
517 // If the lookup returned null, we haven't initialized our own
518 // local copy, so do that now.
David Tolnay4436c9d2019-11-27 18:29:00519 let ptr: Box<Value<T>> = box Value { inner: LazyKeyInner::new(), key: self };
tylerdfe51a72019-05-03 05:40:52520 let ptr = Box::into_raw(ptr);
521 self.os.set(ptr as *mut u8);
522 ptr
523 } else {
524 // recursive initialization
525 ptr
Eduard-Mihai Burtescu92892d32017-08-08 15:22:51526 };
tylerdfe51a72019-05-03 05:40:52527
528 Some((*ptr).inner.initialize(init))
Alex Crichtona9c11522014-11-14 22:20:57529 }
530 }
531
David Tolnay4436c9d2019-11-27 18:29:00532 unsafe extern "C" fn destroy_value<T: 'static>(ptr: *mut u8) {
Alex Crichtona9c11522014-11-14 22:20:57533 // The OS TLS ensures that this key contains a NULL value when this
534 // destructor starts to run. We set it back to a sentinel value of 1 to
535 // ensure that any future calls to `get` for this thread will return
536 // `None`.
537 //
538 // Note that to prevent an infinite loop we reset it back to null right
539 // before we return from the destructor ourselves.
Alex Crichton0e154aa2015-04-15 19:26:27540 let ptr = Box::from_raw(ptr as *mut Value<T>);
Alex Crichtona9c11522014-11-14 22:20:57541 let key = ptr.key;
542 key.os.set(1 as *mut u8);
543 drop(ptr);
we2c2480d2015-01-19 05:27:09544 key.os.set(ptr::null_mut());
Alex Crichtona9c11522014-11-14 22:20:57545 }
546}
547
Brian Anderson096670c2016-09-22 20:04:48548#[cfg(all(test, not(target_os = "emscripten")))]
Alex Crichtona9c11522014-11-14 22:20:57549mod tests {
Taiki Endo93b6d9e2019-02-10 19:23:21550 use crate::cell::{Cell, UnsafeCell};
David Tolnay4436c9d2019-11-27 18:29:00551 use crate::sync::mpsc::{channel, Sender};
Taiki Endo93b6d9e2019-02-10 19:23:21552 use crate::thread;
Alex Crichtona9c11522014-11-14 22:20:57553
554 struct Foo(Sender<()>);
555
556 impl Drop for Foo {
557 fn drop(&mut self) {
558 let Foo(ref s) = *self;
Alex Crichtonbc83a002014-12-23 19:53:35559 s.send(()).unwrap();
Alex Crichtona9c11522014-11-14 22:20:57560 }
561 }
562
563 #[test]
564 fn smoke_no_dtor() {
Eduard Burtescu377b0902015-05-27 08:18:36565 thread_local!(static FOO: Cell<i32> = Cell::new(1));
Alex Crichtona9c11522014-11-14 22:20:57566
Eduard Burtescu377b0902015-05-27 08:18:36567 FOO.with(|f| {
568 assert_eq!(f.get(), 1);
569 f.set(2);
Alex Crichtona9c11522014-11-14 22:20:57570 });
571 let (tx, rx) = channel();
David Tolnay4436c9d2019-11-27 18:29:00572 let _t = thread::spawn(move || {
Eduard Burtescu377b0902015-05-27 08:18:36573 FOO.with(|f| {
574 assert_eq!(f.get(), 1);
Alex Crichtona9c11522014-11-14 22:20:57575 });
Alex Crichtonbc83a002014-12-23 19:53:35576 tx.send(()).unwrap();
Alex Crichtona9c11522014-11-14 22:20:57577 });
Alex Crichtonbc83a002014-12-23 19:53:35578 rx.recv().unwrap();
Alex Crichtona9c11522014-11-14 22:20:57579
Eduard Burtescu377b0902015-05-27 08:18:36580 FOO.with(|f| {
581 assert_eq!(f.get(), 2);
Alex Crichtona9c11522014-11-14 22:20:57582 });
583 }
584
585 #[test]
Alex Crichtonbe11aa62014-12-30 23:20:47586 fn states() {
587 struct Foo;
588 impl Drop for Foo {
589 fn drop(&mut self) {
Stjepan Glavina27fae2b2018-02-28 17:59:12590 assert!(FOO.try_with(|_| ()).is_err());
Alex Crichtonbe11aa62014-12-30 23:20:47591 }
592 }
Stjepan Glavinacb56b2d2018-02-28 23:07:27593 thread_local!(static FOO: Foo = Foo);
Alex Crichtonbe11aa62014-12-30 23:20:47594
Aaron Turond0de2b42015-02-17 23:10:25595 thread::spawn(|| {
Stjepan Glavina27fae2b2018-02-28 17:59:12596 assert!(FOO.try_with(|_| ()).is_ok());
David Tolnay4436c9d2019-11-27 18:29:00597 })
598 .join()
599 .ok()
600 .expect("thread panicked");
Alex Crichtonbe11aa62014-12-30 23:20:47601 }
602
603 #[test]
Alex Crichtona9c11522014-11-14 22:20:57604 fn smoke_dtor() {
Eduard Burtescu377b0902015-05-27 08:18:36605 thread_local!(static FOO: UnsafeCell<Option<Foo>> = UnsafeCell::new(None));
Alex Crichtona9c11522014-11-14 22:20:57606
607 let (tx, rx) = channel();
David Tolnay4436c9d2019-11-27 18:29:00608 let _t = thread::spawn(move || unsafe {
Alex Crichtona9c11522014-11-14 22:20:57609 let mut tx = Some(tx);
610 FOO.with(|f| {
611 *f.get() = Some(Foo(tx.take().unwrap()));
612 });
613 });
Alex Crichtonbc83a002014-12-23 19:53:35614 rx.recv().unwrap();
Alex Crichtona9c11522014-11-14 22:20:57615 }
616
617 #[test]
618 fn circular() {
619 struct S1;
620 struct S2;
Eduard Burtescu377b0902015-05-27 08:18:36621 thread_local!(static K1: UnsafeCell<Option<S1>> = UnsafeCell::new(None));
622 thread_local!(static K2: UnsafeCell<Option<S2>> = UnsafeCell::new(None));
Vojtech Krale5e76e92015-02-23 16:24:50623 static mut HITS: u32 = 0;
Alex Crichtona9c11522014-11-14 22:20:57624
625 impl Drop for S1 {
626 fn drop(&mut self) {
627 unsafe {
Stjepan Glavinacb56b2d2018-02-28 23:07:27628 HITS += 1;
Stjepan Glavina27fae2b2018-02-28 17:59:12629 if K2.try_with(|_| ()).is_err() {
Alex Crichtona9c11522014-11-14 22:20:57630 assert_eq!(HITS, 3);
631 } else {
632 if HITS == 1 {
633 K2.with(|s| *s.get() = Some(S2));
634 } else {
635 assert_eq!(HITS, 3);
636 }
637 }
638 }
639 }
640 }
641 impl Drop for S2 {
642 fn drop(&mut self) {
643 unsafe {
644 HITS += 1;
Stjepan Glavina27fae2b2018-02-28 17:59:12645 assert!(K1.try_with(|_| ()).is_ok());
Alex Crichtona9c11522014-11-14 22:20:57646 assert_eq!(HITS, 2);
647 K1.with(|s| *s.get() = Some(S1));
648 }
649 }
650 }
651
David Tolnay4436c9d2019-11-27 18:29:00652 thread::spawn(move || {
Alex Crichtona9c11522014-11-14 22:20:57653 drop(S1);
David Tolnay4436c9d2019-11-27 18:29:00654 })
655 .join()
656 .ok()
657 .expect("thread panicked");
Alex Crichtona9c11522014-11-14 22:20:57658 }
659
660 #[test]
661 fn self_referential() {
662 struct S1;
Eduard Burtescu377b0902015-05-27 08:18:36663 thread_local!(static K1: UnsafeCell<Option<S1>> = UnsafeCell::new(None));
Alex Crichtona9c11522014-11-14 22:20:57664
665 impl Drop for S1 {
666 fn drop(&mut self) {
Stjepan Glavina27fae2b2018-02-28 17:59:12667 assert!(K1.try_with(|_| ()).is_err());
Alex Crichtona9c11522014-11-14 22:20:57668 }
669 }
670
David Tolnay4436c9d2019-11-27 18:29:00671 thread::spawn(move || unsafe {
Alex Crichtona9c11522014-11-14 22:20:57672 K1.with(|s| *s.get() = Some(S1));
David Tolnay4436c9d2019-11-27 18:29:00673 })
674 .join()
675 .ok()
676 .expect("thread panicked");
Alex Crichtona9c11522014-11-14 22:20:57677 }
678
Alex Crichtonb960de02016-01-29 21:46:47679 // Note that this test will deadlock if TLS destructors aren't run (this
tyler1a51bb82019-01-16 04:09:06680 // requires the destructor to be run to pass the test).
Alex Crichtona9c11522014-11-14 22:20:57681 #[test]
682 fn dtors_in_dtors_in_dtors() {
683 struct S1(Sender<()>);
Eduard Burtescu377b0902015-05-27 08:18:36684 thread_local!(static K1: UnsafeCell<Option<S1>> = UnsafeCell::new(None));
685 thread_local!(static K2: UnsafeCell<Option<Foo>> = UnsafeCell::new(None));
Alex Crichtona9c11522014-11-14 22:20:57686
687 impl Drop for S1 {
688 fn drop(&mut self) {
689 let S1(ref tx) = *self;
690 unsafe {
Stjepan Glavina27fae2b2018-02-28 17:59:12691 let _ = K2.try_with(|s| *s.get() = Some(Foo(tx.clone())));
Alex Crichtona9c11522014-11-14 22:20:57692 }
693 }
694 }
695
696 let (tx, rx) = channel();
David Tolnay4436c9d2019-11-27 18:29:00697 let _t = thread::spawn(move || unsafe {
Alex Crichtona9c11522014-11-14 22:20:57698 let mut tx = Some(tx);
699 K1.with(|s| *s.get() = Some(S1(tx.take().unwrap())));
700 });
Alex Crichtonbc83a002014-12-23 19:53:35701 rx.recv().unwrap();
Alex Crichtona9c11522014-11-14 22:20:57702 }
703}
704
705#[cfg(test)]
706mod dynamic_tests {
Taiki Endo93b6d9e2019-02-10 19:23:21707 use crate::cell::RefCell;
708 use crate::collections::HashMap;
Alex Crichtona9c11522014-11-14 22:20:57709
710 #[test]
711 fn smoke() {
David Tolnay4436c9d2019-11-27 18:29:00712 fn square(i: i32) -> i32 {
713 i * i
714 }
Vojtech Krale5e76e92015-02-23 16:24:50715 thread_local!(static FOO: i32 = square(3));
Alex Crichtona9c11522014-11-14 22:20:57716
717 FOO.with(|f| {
718 assert_eq!(*f, 9);
719 });
720 }
721
722 #[test]
723 fn hashmap() {
Vojtech Krale5e76e92015-02-23 16:24:50724 fn map() -> RefCell<HashMap<i32, i32>> {
Alex Crichtona9c11522014-11-14 22:20:57725 let mut m = HashMap::new();
726 m.insert(1, 2);
727 RefCell::new(m)
728 }
Vojtech Krale5e76e92015-02-23 16:24:50729 thread_local!(static FOO: RefCell<HashMap<i32, i32>> = map());
Alex Crichtona9c11522014-11-14 22:20:57730
731 FOO.with(|map| {
Niko Matsakis8e58af42015-03-22 01:15:47732 assert_eq!(map.borrow()[&1], 2);
Alex Crichtona9c11522014-11-14 22:20:57733 });
734 }
735
736 #[test]
737 fn refcell_vec() {
Vojtech Krale5e76e92015-02-23 16:24:50738 thread_local!(static FOO: RefCell<Vec<u32>> = RefCell::new(vec![1, 2, 3]));
Alex Crichtona9c11522014-11-14 22:20:57739
740 FOO.with(|vec| {
741 assert_eq!(vec.borrow().len(), 3);
742 vec.borrow_mut().push(4);
743 assert_eq!(vec.borrow()[3], 4);
744 });
745 }
746}