Re: [PATCH v3] rust: page: add byte-wise atomic memory copy methods

[Benno Lossin]

On Wed Feb 18, 2026 at 1:00 PM CET, Alice Ryhl wrote:
> On Wed, Feb 18, 2026 at 12:57 PM Miguel Ojeda
> <miguel.ojeda.sandonis@xxxxxxxxx> wrote:
>> > +    /// - For the duration of the call, other accesses to the areas described by `src` and `len`,
>> > +    ///   must not cause data races (defined by [`LKMM`]) against atomic operations executed by this
>> > +    ///   function. Note that if all other accesses are atomic, then this safety requirement is
>> > +    ///   trivially fulfilled.
>>
>> And, for this one, Benno said perhaps we should introduce a shorthand.
>
> valid for atomic reads?

Yes, in particular it should be folded in with the "valid for reads"
above, since that would otherwise be conflicting.

Cheers,
Benno