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

From: Kent Overstreet
Date: Wed Mar 27 2024 - 14:51:26 EST

Next message: John Allen: "[PATCH v2 0/4] RAS: ATL: DF 4.5 NP2 Denormalization"
Previous message: Gustavo A. R. Silva: "[PATCH][next] wifi: cfg80211: Use __counted_by() in struct wmi_start_scan_cmd and avoid -Wfamnae warning"
In reply to: comex: "Re: [WIP 0/3] Memory model and atomic API in Rust"
Next in thread: Linus Torvalds: "Re: [WIP 0/3] Memory model and atomic API in Rust"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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?

Next message: John Allen: "[PATCH v2 0/4] RAS: ATL: DF 4.5 NP2 Denormalization"
Previous message: Gustavo A. R. Silva: "[PATCH][next] wifi: cfg80211: Use __counted_by() in struct wmi_start_scan_cmd and avoid -Wfamnae warning"
In reply to: comex: "Re: [WIP 0/3] Memory model and atomic API in Rust"
Next in thread: Linus Torvalds: "Re: [WIP 0/3] Memory model and atomic API in Rust"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]