5 ms·

Even when a value satisfies these architecture-dependent requirements, the language still does not guarantee atomicity of concurrent reads/writes, and programs

by kiitos 2y ago

Even when a value satisfies these architecture-dependent requirements, the language still does not guarantee atomicity of concurrent reads/writes, and programs which rely on that assumption are buggy.

Yoric 2y ago
Isn't this part of the Go memory model (https://go.dev/ref/mem https://go.dev/ref/mem)?
kaba0 2y ago
Logic bugs != memory safety bugs. E.g. in java you can mess up your logic with data races, but the racing itself is safe and can never cause the VM to enter an invalid state.