Deny unsafe op in unsafe fns without the unsafe keyword, first part for std/thread
This commit is contained in:
parent
4eff9b0b29
commit
8c9cb06c2e
@ -288,7 +288,11 @@ mod lazy {
|
|||||||
}
|
}
|
||||||
|
|
||||||
pub unsafe fn get(&self) -> Option<&'static T> {
|
pub unsafe fn get(&self) -> Option<&'static T> {
|
||||||
(*self.inner.get()).as_ref()
|
// SAFETY: No reference is ever handed out to the inner cell nor
|
||||||
|
// mutable reference to the Option<T> inside said cell. This make it
|
||||||
|
// safe to hand a reference, though the lifetime of 'static
|
||||||
|
// is itself unsafe, making the get method unsafe.
|
||||||
|
unsafe { (*self.inner.get()).as_ref() }
|
||||||
}
|
}
|
||||||
|
|
||||||
pub unsafe fn initialize<F: FnOnce() -> T>(&self, init: F) -> &'static T {
|
pub unsafe fn initialize<F: FnOnce() -> T>(&self, init: F) -> &'static T {
|
||||||
@ -297,6 +301,8 @@ mod lazy {
|
|||||||
let value = init();
|
let value = init();
|
||||||
let ptr = self.inner.get();
|
let ptr = self.inner.get();
|
||||||
|
|
||||||
|
// SAFETY:
|
||||||
|
//
|
||||||
// note that this can in theory just be `*ptr = Some(value)`, but due to
|
// note that this can in theory just be `*ptr = Some(value)`, but due to
|
||||||
// the compiler will currently codegen that pattern with something like:
|
// the compiler will currently codegen that pattern with something like:
|
||||||
//
|
//
|
||||||
@ -309,22 +315,31 @@ mod lazy {
|
|||||||
// value (an aliasing violation). To avoid setting the "I'm running a
|
// value (an aliasing violation). To avoid setting the "I'm running a
|
||||||
// destructor" flag we just use `mem::replace` which should sequence the
|
// destructor" flag we just use `mem::replace` which should sequence the
|
||||||
// operations a little differently and make this safe to call.
|
// operations a little differently and make this safe to call.
|
||||||
let _ = mem::replace(&mut *ptr, Some(value));
|
unsafe {
|
||||||
|
let _ = mem::replace(&mut *ptr, Some(value));
|
||||||
|
}
|
||||||
|
|
||||||
// After storing `Some` we want to get a reference to the contents of
|
// SAFETY: the *ptr operation is made safe by the `mem::replace`
|
||||||
// what we just stored. While we could use `unwrap` here and it should
|
// call above that made sure a valid value is present behind it.
|
||||||
// always work it empirically doesn't seem to always get optimized away,
|
unsafe {
|
||||||
// which means that using something like `try_with` can pull in
|
// After storing `Some` we want to get a reference to the contents of
|
||||||
// panicking code and cause a large size bloat.
|
// what we just stored. While we could use `unwrap` here and it should
|
||||||
match *ptr {
|
// always work it empirically doesn't seem to always get optimized away,
|
||||||
Some(ref x) => x,
|
// which means that using something like `try_with` can pull in
|
||||||
None => hint::unreachable_unchecked(),
|
// panicking code and cause a large size bloat.
|
||||||
|
match *ptr {
|
||||||
|
Some(ref x) => x,
|
||||||
|
None => hint::unreachable_unchecked(),
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[allow(unused)]
|
#[allow(unused)]
|
||||||
pub unsafe fn take(&mut self) -> Option<T> {
|
pub unsafe fn take(&mut self) -> Option<T> {
|
||||||
(*self.inner.get()).take()
|
// SAFETY: The other methods hand out references while taking &self.
|
||||||
|
// As such, calling this method when such references are still alive
|
||||||
|
// will fail because it takes a &mut self, conflicting with them.
|
||||||
|
unsafe { (*self.inner.get()).take() }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -413,9 +428,17 @@ pub mod fast {
|
|||||||
}
|
}
|
||||||
|
|
||||||
pub unsafe fn get<F: FnOnce() -> T>(&self, init: F) -> Option<&'static T> {
|
pub unsafe fn get<F: FnOnce() -> T>(&self, init: F) -> Option<&'static T> {
|
||||||
match self.inner.get() {
|
// SAFETY: See the definitions of `LazyKeyInner::get` and
|
||||||
Some(val) => Some(val),
|
// `try_initialize` for more informations.
|
||||||
None => self.try_initialize(init),
|
//
|
||||||
|
// The call to `get` is made safe because no mutable references are
|
||||||
|
// ever handed out and the `try_initialize` is dependant on the
|
||||||
|
// passed `init` function.
|
||||||
|
unsafe {
|
||||||
|
match self.inner.get() {
|
||||||
|
Some(val) => Some(val),
|
||||||
|
None => self.try_initialize(init),
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -428,8 +451,10 @@ pub mod fast {
|
|||||||
// LLVM issue: https://bugs.llvm.org/show_bug.cgi?id=41722
|
// LLVM issue: https://bugs.llvm.org/show_bug.cgi?id=41722
|
||||||
#[inline(never)]
|
#[inline(never)]
|
||||||
unsafe fn try_initialize<F: FnOnce() -> T>(&self, init: F) -> Option<&'static T> {
|
unsafe fn try_initialize<F: FnOnce() -> T>(&self, init: F) -> Option<&'static T> {
|
||||||
if !mem::needs_drop::<T>() || self.try_register_dtor() {
|
// SAFETY: See comment above.
|
||||||
Some(self.inner.initialize(init))
|
if !mem::needs_drop::<T>() || unsafe { self.try_register_dtor() } {
|
||||||
|
// SAFETY: See comment above.
|
||||||
|
Some(unsafe { self.inner.initialize(init) })
|
||||||
} else {
|
} else {
|
||||||
None
|
None
|
||||||
}
|
}
|
||||||
@ -441,8 +466,12 @@ pub mod fast {
|
|||||||
unsafe fn try_register_dtor(&self) -> bool {
|
unsafe fn try_register_dtor(&self) -> bool {
|
||||||
match self.dtor_state.get() {
|
match self.dtor_state.get() {
|
||||||
DtorState::Unregistered => {
|
DtorState::Unregistered => {
|
||||||
// dtor registration happens before initialization.
|
// SAFETY: dtor registration happens before initialization.
|
||||||
register_dtor(self as *const _ as *mut u8, destroy_value::<T>);
|
// Passing `self` as a pointer while using `destroy_value<T>`
|
||||||
|
// is safe because the function will build a pointer to a
|
||||||
|
// Key<T>, which is the type of self and so find the correct
|
||||||
|
// size.
|
||||||
|
unsafe { register_dtor(self as *const _ as *mut u8, destroy_value::<T>) };
|
||||||
self.dtor_state.set(DtorState::Registered);
|
self.dtor_state.set(DtorState::Registered);
|
||||||
true
|
true
|
||||||
}
|
}
|
||||||
@ -458,13 +487,21 @@ pub mod fast {
|
|||||||
unsafe extern "C" fn destroy_value<T>(ptr: *mut u8) {
|
unsafe extern "C" fn destroy_value<T>(ptr: *mut u8) {
|
||||||
let ptr = ptr as *mut Key<T>;
|
let ptr = ptr as *mut Key<T>;
|
||||||
|
|
||||||
|
// SAFETY:
|
||||||
|
//
|
||||||
|
// The pointer `ptr` has been built just above and comes from
|
||||||
|
// `try_register_dtor` where it is originally a Key<T> coming from `self`,
|
||||||
|
// making it non-NUL and of the correct type.
|
||||||
|
//
|
||||||
// Right before we run the user destructor be sure to set the
|
// Right before we run the user destructor be sure to set the
|
||||||
// `Option<T>` to `None`, and `dtor_state` to `RunningOrHasRun`. This
|
// `Option<T>` to `None`, and `dtor_state` to `RunningOrHasRun`. This
|
||||||
// causes future calls to `get` to run `try_initialize_drop` again,
|
// causes future calls to `get` to run `try_initialize_drop` again,
|
||||||
// which will now fail, and return `None`.
|
// which will now fail, and return `None`.
|
||||||
let value = (*ptr).inner.take();
|
unsafe {
|
||||||
(*ptr).dtor_state.set(DtorState::RunningOrHasRun);
|
let value = (*ptr).inner.take();
|
||||||
drop(value);
|
(*ptr).dtor_state.set(DtorState::RunningOrHasRun);
|
||||||
|
drop(value);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -533,11 +570,15 @@ pub mod os {
|
|||||||
ptr
|
ptr
|
||||||
};
|
};
|
||||||
|
|
||||||
Some((*ptr).inner.initialize(init))
|
// SAFETY: ptr has been ensured as non-NUL just above an so can be
|
||||||
|
// dereferenced safely.
|
||||||
|
unsafe { Some((*ptr).inner.initialize(init)) }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
unsafe extern "C" fn destroy_value<T: 'static>(ptr: *mut u8) {
|
unsafe extern "C" fn destroy_value<T: 'static>(ptr: *mut u8) {
|
||||||
|
// SAFETY:
|
||||||
|
//
|
||||||
// The OS TLS ensures that this key contains a NULL value when this
|
// The OS TLS ensures that this key contains a NULL value when this
|
||||||
// destructor starts to run. We set it back to a sentinel value of 1 to
|
// destructor starts to run. We set it back to a sentinel value of 1 to
|
||||||
// ensure that any future calls to `get` for this thread will return
|
// ensure that any future calls to `get` for this thread will return
|
||||||
@ -545,10 +586,12 @@ pub mod os {
|
|||||||
//
|
//
|
||||||
// Note that to prevent an infinite loop we reset it back to null right
|
// Note that to prevent an infinite loop we reset it back to null right
|
||||||
// before we return from the destructor ourselves.
|
// before we return from the destructor ourselves.
|
||||||
let ptr = Box::from_raw(ptr as *mut Value<T>);
|
unsafe {
|
||||||
let key = ptr.key;
|
let ptr = Box::from_raw(ptr as *mut Value<T>);
|
||||||
key.os.set(1 as *mut u8);
|
let key = ptr.key;
|
||||||
drop(ptr);
|
key.os.set(1 as *mut u8);
|
||||||
key.os.set(ptr::null_mut());
|
drop(ptr);
|
||||||
|
key.os.set(ptr::null_mut());
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -144,6 +144,7 @@
|
|||||||
//! [`with`]: LocalKey::with
|
//! [`with`]: LocalKey::with
|
||||||
|
|
||||||
#![stable(feature = "rust1", since = "1.0.0")]
|
#![stable(feature = "rust1", since = "1.0.0")]
|
||||||
|
#![deny(unsafe_op_in_unsafe_fn)]
|
||||||
|
|
||||||
#[cfg(all(test, not(target_os = "emscripten")))]
|
#[cfg(all(test, not(target_os = "emscripten")))]
|
||||||
mod tests;
|
mod tests;
|
||||||
@ -456,14 +457,23 @@ impl Builder {
|
|||||||
imp::Thread::set_name(name);
|
imp::Thread::set_name(name);
|
||||||
}
|
}
|
||||||
|
|
||||||
thread_info::set(imp::guard::current(), their_thread);
|
// SAFETY: the stack guard passed is the one for the current thread.
|
||||||
|
// This means the current thread's stack and the new thread's stack
|
||||||
|
// are properly set and protected from each other.
|
||||||
|
thread_info::set(unsafe { imp::guard::current() }, their_thread);
|
||||||
let try_result = panic::catch_unwind(panic::AssertUnwindSafe(|| {
|
let try_result = panic::catch_unwind(panic::AssertUnwindSafe(|| {
|
||||||
crate::sys_common::backtrace::__rust_begin_short_backtrace(f)
|
crate::sys_common::backtrace::__rust_begin_short_backtrace(f)
|
||||||
}));
|
}));
|
||||||
*their_packet.get() = Some(try_result);
|
// SAFETY: `their_packet` as been built just above and moved by the
|
||||||
|
// closure (it is an Arc<...>) and `my_packet` will be stored in the
|
||||||
|
// same `JoinInner` as this closure meaning the mutation will be
|
||||||
|
// safe (not modify it and affect a value far away).
|
||||||
|
unsafe { *their_packet.get() = Some(try_result) };
|
||||||
};
|
};
|
||||||
|
|
||||||
Ok(JoinHandle(JoinInner {
|
Ok(JoinHandle(JoinInner {
|
||||||
|
// SAFETY:
|
||||||
|
//
|
||||||
// `imp::Thread::new` takes a closure with a `'static` lifetime, since it's passed
|
// `imp::Thread::new` takes a closure with a `'static` lifetime, since it's passed
|
||||||
// through FFI or otherwise used with low-level threading primitives that have no
|
// through FFI or otherwise used with low-level threading primitives that have no
|
||||||
// notion of or way to enforce lifetimes.
|
// notion of or way to enforce lifetimes.
|
||||||
@ -475,12 +485,14 @@ impl Builder {
|
|||||||
// Similarly, the `sys` implementation must guarantee that no references to the closure
|
// Similarly, the `sys` implementation must guarantee that no references to the closure
|
||||||
// exist after the thread has terminated, which is signaled by `Thread::join`
|
// exist after the thread has terminated, which is signaled by `Thread::join`
|
||||||
// returning.
|
// returning.
|
||||||
native: Some(imp::Thread::new(
|
native: unsafe {
|
||||||
stack_size,
|
Some(imp::Thread::new(
|
||||||
mem::transmute::<Box<dyn FnOnce() + 'a>, Box<dyn FnOnce() + 'static>>(Box::new(
|
stack_size,
|
||||||
main,
|
mem::transmute::<Box<dyn FnOnce() + 'a>, Box<dyn FnOnce() + 'static>>(
|
||||||
)),
|
Box::new(main),
|
||||||
)?),
|
),
|
||||||
|
)?)
|
||||||
|
},
|
||||||
thread: my_thread,
|
thread: my_thread,
|
||||||
packet: Packet(my_packet),
|
packet: Packet(my_packet),
|
||||||
}))
|
}))
|
||||||
|
Loading…
Reference in New Issue
Block a user