fix data race in ReentrantLock fallback for targets without 64bit atomics
This commit is contained in:
@@ -136,7 +136,7 @@ cfg_if!(
|
||||
// we only ever read from the tid if `tls_addr` matches the current
|
||||
// TLS address. In that case, either the tid has been set by
|
||||
// the current thread, or by a thread that has terminated before
|
||||
// the current thread was created. In either case, no further
|
||||
// the current thread's `tls_addr` was allocated. In either case, no further
|
||||
// synchronization is needed (as per <https://github.com/rust-lang/miri/issues/3450>)
|
||||
tls_addr: Atomic<usize>,
|
||||
tid: UnsafeCell<u64>,
|
||||
@@ -154,8 +154,12 @@ cfg_if!(
|
||||
// NOTE: This assumes that `owner` is the ID of the current
|
||||
// thread, and may spuriously return `false` if that's not the case.
|
||||
fn contains(&self, owner: ThreadId) -> bool {
|
||||
// We must call `tls_addr()` *before* doing the load to ensure that if we reuse an
|
||||
// earlier thread's address, the `tls_addr.load()` below happens-after everything
|
||||
// that thread did.
|
||||
let tls_addr = tls_addr();
|
||||
// SAFETY: See the comments in the struct definition.
|
||||
self.tls_addr.load(Ordering::Relaxed) == tls_addr()
|
||||
self.tls_addr.load(Ordering::Relaxed) == tls_addr
|
||||
&& unsafe { *self.tid.get() } == owner.as_u64().get()
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user