Re:Project Oak by Google
by morning-coffee on Wednesday August 14, 2024 @02:43PM
(#41249224)
Rust's compiler can prevent data races, for example. (It forbids mutation in the presence of aliasing, which is the root of it.)
[ Parent
| on HN ]
should be mentioned that Go has optional flags already built in to the compiler for detection of data races.
the race detector ( -race ) only detects races that actually occur. If they don't happen, then it doesn't detect them.
Re:Project Oak by Google
by ycombinatrix on Wednesday August 14, 2024 @03:20PM
(#41249573)
should we also mention that C has optional tooling for memory safety?