Re: [WIP 0/3] Memory model and atomic API in Rust

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

To: comex <comexk@xxxxxxxxx>
Subject: Re: [WIP 0/3] Memory model and atomic API in Rust
From: Kent Overstreet <kent.overstreet@xxxxxxxxx>
Date: Wed, 27 Mar 2024 14:50:48 -0400
Cc: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx>, "Dr. David Alan Gilbert" <dave@xxxxxxxxxxx>, Philipp Stanner <pstanner@xxxxxxxxxx>, Boqun Feng <boqun.feng@xxxxxxxxx>, rust-for-linux <rust-for-linux@xxxxxxxxxxxxxxx>, linux-kernel@xxxxxxxxxxxxxxx, linux-arch@xxxxxxxxxxxxxxx, llvm@xxxxxxxxxxxxxxx, Miguel Ojeda <ojeda@xxxxxxxxxx>, Alex Gaynor <alex.gaynor@xxxxxxxxx>, Wedson Almeida Filho <wedsonaf@xxxxxxxxx>, Gary Guo <gary@xxxxxxxxxxx>, Björn Roy Baron <bjorn3_gh@xxxxxxxxxxxxxx>, Benno Lossin <benno.lossin@xxxxxxxxx>, Andreas Hindborg <a.hindborg@xxxxxxxxxxx>, Alice Ryhl <aliceryhl@xxxxxxxxxx>, Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>, Andrea Parri <parri.andrea@xxxxxxxxx>, Will Deacon <will@xxxxxxxxxx>, Peter Zijlstra <peterz@xxxxxxxxxxxxx>, Nicholas Piggin <npiggin@xxxxxxxxx>, David Howells <dhowells@xxxxxxxxxx>, Jade Alglave <j.alglave@xxxxxxxxx>, Luc Maranget <luc.maranget@xxxxxxxx>, "Paul E. McKenney" <paulmck@xxxxxxxxxx>, Akira Yokosawa <akiyks@xxxxxxxxx>, Daniel Lustig <dlustig@xxxxxxxxxx>, Joel Fernandes <joel@xxxxxxxxxxxxxxxxx>, Nathan Chancellor <nathan@xxxxxxxxxx>, Nick Desaulniers <ndesaulniers@xxxxxxxxxx>, kent.overstreet@xxxxxxxxx, Greg Kroah-Hartman <gregkh@xxxxxxxxxxxxxxxxxxx>, Marco Elver <elver@xxxxxxxxxx>, Mark Rutland <mark.rutland@xxxxxxx>, Thomas Gleixner <tglx@xxxxxxxxxxxxx>, Ingo Molnar <mingo@xxxxxxxxxx>, Borislav Petkov <bp@xxxxxxxxx>, Dave Hansen <dave.hansen@xxxxxxxxxxxxxxx>, x86@xxxxxxxxxx, "H. Peter Anvin" <hpa@xxxxxxxxx>, Catalin Marinas <catalin.marinas@xxxxxxx>, linux-arm-kernel@xxxxxxxxxxxxxxxxxxx, linux-fsdevel@xxxxxxxxxxxxxxx
In-reply-to: <160DB953-1588-418E-A490-381009CD8DE0@gmail.com>

On Wed, Mar 27, 2024 at 09:16:09AM -0700, comex wrote:
> Meanwhile, Rust intentionally lacks strict aliasing.

I wasn't aware of this. Given that unrestricted pointers are a real
impediment to compiler optimization, I thought that with Rust we were
finally starting to nail down a concrete enough memory model to tackle
this safely. But I guess not?

Follow-Ups:
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Linus Torvalds

References:
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Linus Torvalds
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Kent Overstreet
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Linus Torvalds
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Philipp Stanner
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Linus Torvalds
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Kent Overstreet
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Linus Torvalds
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Dr. David Alan Gilbert
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: Linus Torvalds
- Re: [WIP 0/3] Memory model and atomic API in Rust
  - From: comex

Prev by Date: Re: [RFC PATCH v2] mm, netfs: Provide a means of invalidation without using launder_folio
Next by Date: Re: [PATCH] mm: remove __set_page_dirty_nobuffers()
Previous by thread: Re: [WIP 0/3] Memory model and atomic API in Rust
Next by thread: Re: [WIP 0/3] Memory model and atomic API in Rust
Index(es):
- Date
- Thread

[Index of Archives] [Linux Ext4 Filesystem] [Union Filesystem] [Filesystem Testing] [Ceph Users] [Ecryptfs] [NTFS 3] [AutoFS] [Kernel Newbies] [Share Photos] [Security] [Netfilter] [Bugtraq] [Yosemite News] [MIPS Linux] [ARM Linux] [Linux Security] [Linux Cachefs] [Reiser Filesystem] [Linux RAID] [NTFS 3] [Samba] [Device Mapper] [CEPH Development]