LWN.net (RSS Feed) on Nostr: [$] Using LKMM atomics in Rust Rust, like C, has its own memory model describing how ...
[$] Using LKMM atomics in Rust
Rust, like C, has its own memory model describing how concurrent access to the
same data by multiple threads can behave.
The Linux kernel, however, has its own
ideas. The
<a href="https://lwn.net/Articles/718628/"; rel="nofollow">
Linux kernel memory model</a> (LKMM) is subtly different from both the
standard C memory model and Rust's model.
At Kangrejos, Boqun Feng gave a presentation about the
need to reconcile the memory models used by Rust and the kernel,
including a few potential avenues for doing so. While
no consensus was reached, it is an area of active discussion.
https://lwn.net/Articles/993785/
Rust, like C, has its own memory model describing how concurrent access to the
same data by multiple threads can behave.
The Linux kernel, however, has its own
ideas. The
<a href="https://lwn.net/Articles/718628/"; rel="nofollow">
Linux kernel memory model</a> (LKMM) is subtly different from both the
standard C memory model and Rust's model.
At Kangrejos, Boqun Feng gave a presentation about the
need to reconcile the memory models used by Rust and the kernel,
including a few potential avenues for doing so. While
no consensus was reached, it is an area of active discussion.
https://lwn.net/Articles/993785/