Re: [PATCH v8 3/5] rust: add bitmap API.

[Burak Emir]

On Mon, May 19, 2025 at 10:07 PM Burak Emir <bqe@xxxxxxxxxx> wrote:
>
> On Mon, May 19, 2025 at 9:01 PM Jann Horn <jannh@xxxxxxxxxx> wrote:
> >
> > I don't understand what's going on here, unless you're saying that
> > Rust does not enforce that an object ownership transfer between
> > threads has proper RELEASE/ACQUIRE (or RELEASE/CONSUME) memory
> > ordering or something like that?
>
> Indeed without the Sync implementation, it does not make sense to have
> atomic ops that take &self.
> Sorry for the confusion, I should have added the Sync implementation.

Hang on, the Sync implementation is actually there in this patch! It
was missing previously.
Does that clarify things?

cheers,
Burak