Skip to content

Commit

Permalink
turns out relaxed accesses suffice here
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Oct 12, 2024
1 parent d45d3a3 commit 10979ce
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/concurrency/sync.rs
Original file line number Diff line number Diff line change
Expand Up @@ -234,8 +234,8 @@ pub fn lazy_sync_get_data<'tcx, T: 'static + Copy>(
&init_field,
&ImmTy::from_scalar(init_cookie, ecx.machine.layouts.u32),
init_cookie,
AtomicRwOrd::Acquire,
AtomicReadOrd::Acquire,
AtomicRwOrd::Relaxed,
AtomicReadOrd::Relaxed,
/* can_fail_spuriously */ false,
)?
.to_scalar_pair();
Expand Down

0 comments on commit 10979ce

Please sign in to comment.