Menghindari Bug Memori Umum

Bug memori sering bersembunyi hingga membuat program crash pada saat yang paling buruk. Mojo dirancang untuk menemukan banyak bug tersebut sejak dini. 🛡️

Bug klasik adalah use-after-free: menyentuh memori yang sudah Anda lepaskan. Data tersebut mungkin sudah hilang atau digunakan kembali, sehingga menghasilkan hasil yang salah atau crash.

Aturan kepemilikan Mojo melacak siapa yang memegang setiap nilai, sehingga kompiler dapat menandai kode yang akan menggunakan nilai setelah nilai tersebut dibebaskan.

Membebaskan memori yang sama dua kali disebut pembebasan ganda. Karena setiap nilai memiliki satu pemilik yang jelas, Mojo mencegah hal ini berdasarkan desain.

Kebocoran adalah memori yang Anda alokasikan tetapi tidak pernah dibebaskan. Pembersihan otomatis Mojo saat cakupan suatu nilai berakhir membuat kebocoran jauh lebih kecil kemungkinannya.

Referensi terlantar menunjuk ke memori yang sudah dihancurkan. Pelacakan lifetime Mojo membantu menjaga referensi tetap valid.

Semantik nilai bawaan Mojo memberikan salinan sendiri kepada setiap variabel, sehingga mengubah salah satunya tidak pernah diam-diam merusak data yang lain.

Membaca melewati akhir buffer adalah penyebab kerusakan yang umum. Jenis koleksi aman memeriksa batas agar Anda tetap berada di dalam memori yang valid.

Pertahanan paling sederhana adalah menggunakan jenis seperti List yang mengelola memori untuk Anda, alih-alih mengatur penunjuk mentah secara manual.

Banyak kesalahan memori di Mojo muncul sebagai kesalahan kompilasi, bukan kerusakan misterius saat runtime, sehingga Anda dapat memperbaikinya sebelum program dirilis.

Mojo bertujuan memberikan kecepatan setingkat C, sementara pagar pengaman ini melindungi memori Anda—kombinasi yang jarang dan kuat.

Kepemilikan, lifetime, dan semantik nilai memungkinkan Mojo mendeteksi penggunaan setelah dibebaskan, pembebasan ganda, dan kebocoran lebih awal. Jenis aman menjaga memori tetap kokoh. 🎯