Re: [PATCH v8 6/9] rust: sync: atomic: Add the framework of arithmetic operations

From: Boqun Feng
Date: Sat Aug 16 2025 - 23:04:44 EST


On Sat, Aug 16, 2025 at 09:35:26PM +0200, Benno Lossin wrote:
> On Sat Aug 16, 2025 at 6:10 PM CEST, Boqun Feng wrote:
> > On Tue, Aug 12, 2025 at 10:04:12AM +0200, Benno Lossin wrote:
> >> On Sat Jul 19, 2025 at 5:08 AM CEST, Boqun Feng wrote:
> >> > +/// Types that support atomic add operations.
> >> > +///
> >> > +/// # Safety
> >> > +///
> >> > +/// `wrapping_add` any value of type `Self::Repr::Delta` obtained by [`Self::rhs_into_delta()`] to
> >>
> >> Can you add a normal comment TODO here:
> >>
> >> // TODO: properly define `wrapping_add` in this context.
> >
> > Yeah, this sounds good to me. How do you propose we arrange the normal
> > comment with the doc comment, somthing like:
> >
> > // TODO: properly define `wrapping_add` in this context.
> >
> > /// Types that support atomic add operations.
> > ///
> > /// # Safety
> > ///
> > /// `wrapping_add` any value of type `Self::Repr::Delta` obtained by [`Self::rhs_into_delta()`] to
> > ...
> > pub unsafe trait AtomicAdd<...> {
> > ...
> > }
>
>
> Inline maybe?
>
> /// Types that support atomic add operations.
> ///
> /// # Safety
> ///
> // TODO: properly define `wrapping_add` in this context:

The colon looks a bit weird to me. I would replace that with a period,
i.e.

// TODO: properly define `wrapping_add` in the following comment.
/// `wrapping_add` any value of type `Self::Repr::Delta` obtained by [`Self::rhs_into_delta()`] to

Thoughts?

Regards,
Boqun

> /// `wrapping_add` any value of type `Self::Repr::Delta` obtained by [`Self::rhs_into_delta()`] to
> /// any value of type `Self::Repr` obtained through transmuting a value of type `Self` to must
> /// yield a value with a bit pattern also valid for `Self`.
>
> ---
> Cheers,
> Benno
>