Re:Advancing Memory Safety
by vlovich123 on Tuesday October 15, 2024 @09:04PM
(#41854673)
Does memory safety have a flushed out idea? Is it a form of borrow checking or something else? And if I recall correctly thread safety isn’t a target at all right? Not sure how to square that with memory safety as a goal given the two are linked.
[ Parent
| on HN ]
Re:Advancing Memory Safety
by steveklabnik on Wednesday October 16, 2024 @12:23PM
(#41860958)
Chandler posted about this on reddit: https://www.reddit.com/r/cpp/comments/1g4j5f0/safer_with_goo...
Re:Advancing Memory Safety
by vlovich123 on Wednesday October 16, 2024 @02:04PM
(#41861892)
It's weird that he excludes data races from the memory safety even though data races can be in the other classes he calls out. Not sure I buy that it's not as relevant for security since use-after-free is a common side effect of data races.
Re:Advancing Memory Safety
by steveklabnik on Wednesday October 16, 2024 @02:34PM
(#41862228)
I am also a little confused by it, but we'll see how it goes. Since everything is still subject to change, it's possible that this won't be the final word on the matter, so I'm not too concerned at this stage.