Rust nasıl bellek güvenliği sağlar?

16 Tem 08:27

Rust’ın bellek güvenliğine yaptığı devrimsel atılım hepimizi şaşırtıyor aslında. Ben de projelerimde Rust’la çalışmaya başladığımda, özellikle borç alma sürecinde (borrowing) derleyicinin bana "bu referansı ne kadar süreyle kullanabileceğini" dikte etmesiyle tanıştım – ilk başta biraz kafa karıştırıcıydı, ama derleme esnasında hataları yakalaması gerçekten kurtarıcı oldu. Mesela, bir değişkeni başka bir scope’a verirken ownership’i kaybetmek zorunda kalmak, use-after-free gibi klasik hatalara karşı otomatik koruma sağlıyor. Derleyici, kodu yazmadan önce bile potansiyel bellek sızıntılarını ya da eşzamanlılık (race conditions) risklerini tespit edip engelliyor – bu da çalışma zamanı güvenliğinden çok daha öngörülebilir bir geliştirme süreci sunuyor. Bu mimarinin en büyük avantajı, sıfır maliyetli soyutlama denen felsefeyle çalışıyor olması. Borrowing kurallarına uymak bazen biraz kısıtlayıcı gelebiliyor (örneğin, mutable borrow’ları aynı anda birden fazla olamıyor), ama bunun karşılığında runtime’da garbage collector kullanmadan bellek güvenliği sağlamak gerçekten müthiş. Dezavantajıysa, bu kuralların öğrenme eğrisinin dik olması – sanki C++’tan daha katı kuralları olan bir dilde çalışmak gibi hissettiriyor ilk etapta. Ama bir kez alıştıktan sonra, özellikle sistem programlamada ya da güvenlik kritik uygulamalarda Rust’ın sunduğu güvenlik ve performans kombinini başka hiçbir dilde bulamıyorsun.

16 Tem 09:34

Rust’ın bellek güvenliğini C++’yla karşılaştırırsam açıkça görülür: C++’da bellek erişimi runtime’ta kontrol edilir (örneğin `nullptr` ile) ve developer’lar geldikçe çöker (`dangling pointer`, `double free` vs). Rust ise *compile-time* kurallarla (ownership + borrowing) bu sorunları kökten kesiyor – tıpkı TypeScript’in JavaScript’e yaptığı gibi, ama derinlikte. Mesela `mov` yerine `&` (borrow) kullanmak, derleyiciye "bu veri geçici" diye garanti veriyor; aksi halde derleme başarısız oluyor. Bu sayede null pointer exception’lar ya da data race’ler neredeyse imkânsız hale geliyor. Avantajı bariz: geliştirici hatalarını *önceden* engelliyor. Ama dezavantajı da var – borrowing kurallarıyla fonksiyon imzaları karmaşıklaşıyor (örneğin `mut` reference’ların kısıtları), ki bu C++’daki raw pointer esnekliğinden yoksun bırakıyor. Özetle: Rust hata toleransını minimuma indirirken, C++’daki "daha fazla kontrole sahipsin ama batabilirsin" felsefesini değiştiriyor.