[Bug 265974] SMR has several missing barriers

From: <bugzilla-noreply_at_freebsd.org>
Date: Sun, 28 Aug 2022 21:30:39 UTC

--- Comment #9 from Pierre Habouzit <pierre@habouzit.net> ---
`atomic_thread_fence_rel()` is a `dmb sy` ? I would have expected that to be a
`dmb st` ..

but indeed it shows I'm not familiar with with FreeBSD:

static __inline void


and indeed it makes the deferred advance correct then.

It also means smr_synchronize() has a stronger semantics than I expected
already and makes the smr_poll barrier on entry useless because the
`atomic_load_acq_int()` in smr_poll() already give the semantics I was after on

I think you might be right that the one on exit of smr_poll() isn't quite
needed. I think I just didn't think it through and just took
`ck_epoch_synchronize_wait` as an example and just was like "it needs one so
smr_scan does too" but trying to come up with a reason why it breaks yields

You are receiving this mail because:
You are the assignee for the bug.