▲ | munificent 5 days ago | |
> A memory safe, managed language doesn't become unsafe just because you have a race condition in a program. The author's point is that Go is not a memory safe language according to that distinction. There are values that are a single "atomic" write in the language semantics (interface references, slices) that are implemented with multiple non-atomic writes in the compiler/runtime. The result is that you can observe a torn write and break the language's semantics. |