Re: [PATCH v5 03/10] rust: sync: atomic: Add ordering annotation types
Alice Ryhl <[email protected]>
| Newsgroups | dev.linux.lists.lkmm,org.kernel.vger.linux-arch,org.kernel.vger.linux-kernel,org.kernel.vger.rust-for-linux |
|---|---|
| Message-ID | <CAH5fLgjhdxdFztu_pXLjngu4cD7g7jw16bcQYz=XNmGxKfThsA@mail.gmail.com> |
On Thu, Jun 19, 2025 at 12:31 PM Peter Zijlstra <[email protected]> wrote: > > On Wed, Jun 18, 2025 at 09:49:27AM -0700, Boqun Feng wrote: > > > +//! Memory orderings. > > +//! > > +//! The semantics of these orderings follows the [`LKMM`] definitions and rules. > > +//! > > +//! - [`Acquire`] and [`Release`] are similar to their counterpart in Rust memory model. > > So I've no clue what the Rust memory model states, and I'm assuming > it is very similar to the C11 model. I have also forgotten what LKMM > states :/ > > Do they all agree on what RELEASE+ACQUIRE makes? Rust just uses the C11 model outright, so yes it's the same. There's no separate Rust memory model as far as atomics are concerned. Alice