style: Document the scoped_tls module.

This commit is contained in:
Emilio Cobos Álvarez 2017-01-02 00:16:26 +01:00
parent c7bcbad3b9
commit 081b8399e6
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C

View file

@ -2,22 +2,31 @@
* License, v. 2.0. If a copy of the MPL was not distributed with this * License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
//! Stack-scoped thread-local storage for rayon thread pools.
#![allow(unsafe_code)] #![allow(unsafe_code)]
#![deny(missing_docs)]
use rayon; use rayon;
use std::cell::{Ref, RefCell, RefMut}; use std::cell::{Ref, RefCell, RefMut};
/// Stack-scoped thread-local storage for rayon thread pools. /// A scoped TLS set, that is alive during the `'scope` lifetime.
///
pub struct ScopedTLS<'a, T: Send> { /// We use this on Servo to construct thread-local contexts, but clear them once
pool: &'a rayon::ThreadPool, /// we're done with restyling.
pub struct ScopedTLS<'scope, T: Send> {
pool: &'scope rayon::ThreadPool,
slots: Box<[RefCell<Option<T>>]>, slots: Box<[RefCell<Option<T>>]>,
} }
unsafe impl<'a, T: Send> Sync for ScopedTLS<'a, T> {} /// The scoped TLS is `Sync` because no more than one worker thread can access a
/// given slot.
unsafe impl<'scope, T: Send> Sync for ScopedTLS<'scope, T> {}
impl<'a, T: Send> ScopedTLS<'a, T> { impl<'scope, T: Send> ScopedTLS<'scope, T> {
pub fn new(p: &'a rayon::ThreadPool) -> Self { /// Create a new scoped TLS that will last as long as this rayon threadpool
/// reference.
pub fn new(p: &'scope rayon::ThreadPool) -> Self {
let count = p.num_threads(); let count = p.num_threads();
let mut v = Vec::with_capacity(count); let mut v = Vec::with_capacity(count);
for _ in 0..count { for _ in 0..count {
@ -30,16 +39,20 @@ impl<'a, T: Send> ScopedTLS<'a, T> {
} }
} }
/// Return an immutable reference to the `Option<T>` that this thread owns.
pub fn borrow(&self) -> Ref<Option<T>> { pub fn borrow(&self) -> Ref<Option<T>> {
let idx = self.pool.current_thread_index().unwrap(); let idx = self.pool.current_thread_index().unwrap();
self.slots[idx].borrow() self.slots[idx].borrow()
} }
/// Return a mutable reference to the `Option<T>` that this thread owns.
pub fn borrow_mut(&self) -> RefMut<Option<T>> { pub fn borrow_mut(&self) -> RefMut<Option<T>> {
let idx = self.pool.current_thread_index().unwrap(); let idx = self.pool.current_thread_index().unwrap();
self.slots[idx].borrow_mut() self.slots[idx].borrow_mut()
} }
/// Ensure that the current data this thread owns is initialized, or
/// initialize it using `f`.
pub fn ensure<F: FnOnce() -> T>(&self, f: F) -> RefMut<T> { pub fn ensure<F: FnOnce() -> T>(&self, f: F) -> RefMut<T> {
let mut opt = self.borrow_mut(); let mut opt = self.borrow_mut();
if opt.is_none() { if opt.is_none() {