3 ms·
No, Go is not memory safe for concurrent code. Race detection is good but can't eliminate races altogether.
by roca 5y ago
No, Go is not memory safe for concurrent code.
Race detection is good but can't eliminate races altogether.
- pjmlp 5y agoSame applies to Rust as well actually. Its type system only prevents data races for in-memory data structures, on the same OS process. There are plenty of other concurrency races.
- roca 5y agoIt's true that there are "higher level" races that Rust can't prevent. But in-memory races are particularly important to prevent, because a) they're a common and very nasty kind of bug and b) it means unlike Go, Rust (the safe subset) is memory safe (and in general, free of undefined behaviour) for concurrent code.