4 ms·
I disagree with the segfaults bit (which is what you had been focusing on so far, and which is what I've been arguing against) but yeah, "guarantees thread safe
by Manishearth 10y ago
I disagree with the segfaults bit (which is what you had been focusing on so far, and which is what I've been arguing against) but yeah, "guarantees thread safety" is iffy.
The wikipedia definition is pretty vague, it relies on a concept of "safe" that isn't defined there. It's acceptable to say that "data race safety" is "thread safety", though confusing. Rust's homepage does clarify what it means in the bullet points below that statement, so I wouldn't call this a lie. It may be misleading though, and this is a common misunderstanding as steve mentioned, so I submitted a PR to fix it https://github.com/rust-lang/rust-www/pull/685 https://github.com/rust-lang/rust-www/pull/685
- p0nce 10y agoYes I think "data race freedom" when I see "thread-safety" (I despise this one term for being so vague). In the punchline, "prevent segfaults" is framed in negative terms. If you put "provides memory safety" it will be a bit less evocative of specific pain, but will give a warm feeling.
- Manishearth 10y agohttps://github.com/rust-lang/rust-www/pull/685#issuecomment-272026279 https://github.com/rust-lang/rust-www/pull/685#issuecomment-... Not too sure of the segfaults bit, feel free to put in your thoughts on that PR
- steveklabnik 10y agoYes, to second Manish, I would love to find something that is accurate, succinct, and understandable. Concrete suggestions (from you or anyone else) very welcome.
- p0nce 10y agoMy attempts so far: Rust is a systems programming language that runs blazingly fast, guarantees memory safety and provides correct concurrency. Rust is a systems programming language that provides uncompromised performance, convenience and security. Rust is a systems programming language that enables unprecedented levels of performance, productivity and safety. edit: I like (2) best