Tidak Ada Keselamatan Memori Tanpa Thread Safety

Istilah keselamatan memori biasanya mengacu pada pencegahan use-after-free dan akses memori di luar batasan.

Contoh di Go menunjukkan data race pada interface dapat menyebabkan undefined behavior dan segfault.

Java menerapkan model memori yang memastikan program tetap terdefinisi meski terjadi data race.

Dua pendekatan jaminan konkuren: membatasi asumsi konsistensi multi-kata atau menggunakan sistem tipe kuat.

Go tidak menerapkan keduanya, sehingga tidak sepenuhnya menjamin keselamatan memori saat ada data race.

Keselamatan bahasa sebaiknya diukur berdasarkan tidak adanya Undefined Behavior, bukan hanya thread atau memory safety terpisah.