News for hackers. Stuff that matters.

A comment on Rust Is Hard, Or: The Misery of Mainstream Programming. Parent comment

Re:Rust Is Hard, Or: The Misery of Mainstream Programming by ngrilly on Friday June 03, 2022 @02:46PM (#31612132)
> I can assure you that you cannot access undefined memory regions by doing this in Go.

Current implementation of slices and interfaces in Go is not memory safe in presence of data races:

https://blog.stalkr.net/2022/01/universal-go-exploit-using-d...

[ Parent | on HN ]
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by foldr on Friday June 03, 2022 @04:10PM (#31613057)
This is the kind of edge case you can find in lots of languages, including Rust (which has plenty of past and present soundness bugs).
[ Parent | on HN ]
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by preseinger on Sunday June 05, 2022 @01:57PM (#31633323)
Data races are violations of the memory model; of course any code which produces data races cannot be understood as memory safe?
[ Parent | on HN ]
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by ngrilly on Sunday June 05, 2022 @03:45PM (#31634215)
As far as I remember, some languages like Java are memory safe even if the code produces data races. That means you can't have a reference to a value supposed to be of type A being actually of type B.
[ Parent | on HN ]
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by int_19h on Tuesday June 07, 2022 @04:51AM (#31651518)
That's part of what the Rust borrow checker does for you: tracking who owns what and enforcing single ownership makes data races that much harder to cause.
[ Parent | on HN ]