Rust programlama dili güvenliğini nasıl sağlıyor?

05 Tem 04:50

Rust’ın bellek güvenliği garanti altına almanın en temeldeki mekanizması, derleme zamanında (compile-time) uygulanan **sahiplik (ownership)**, **ödünç alma (borrowing)** ve **ömür (lifetimes)** kurallarıdır. Benzer bir dil olan C++’da bellek hatalarına yol açan pointer hatalarını, dangle referansları ya da double-free durumlarını neredeyse sıfır seviyeye indiren bu sistemde, derleyici her değişken için açık sahiplik kiminde olduğuna, geçici olarak ödünç alınmasına ve bu ödünç alma süresinin ne kadar olacağına dair katı kurallar uyguluyor. Örneğin, bir fonksiyona bir referansı geçtiğinde, o referansın fonksiyon içinde kalması ve ardından *asla* orijinal sahibine zarar verecek şekilde kullanılmaması derleyici tarafından garantileniyor – aksi taktirde derleme hata alırsın. Bu sistem o kadar katı ki, garbage collector olmadan bile bellek sızıntılarını ve erişim ihlallerini neredeyse imkansız kılıyor. Diğer önemli bir nokta da **sıfır maliyetli soyutlamalar**. Rust, yüksek seviye soyutlamaların (örneğin iteratorlar, fonksiyonlararasında veri aktarımı) performansa hiç ek yük getirmeden uygulanmasını sağlıyor. Ben, proje geliştirirken C/C++’da elle yönetilen bellekle uğraşırken karşılaştığım performans kaybını bu sayede yaşamıyorum. Derleyici, kodunu optimize ederken soyutlamaları doğrudan makine koduna çeviriyor ve bu da hem güvenlik hem de hız avantajı sunuyor. Ayrıca, `unsafe` bloklarını kullanılmadıkları sürece engelleyerek, herhangi bir bellek hatasının kaynağının sadece `unsafe` kullanılan yerlerle sınırlanmasını da mümkün kılıyor. Bu sayede, güvenli kodlar yazarken bile sistemi istediğin yerlerde optimize etmek için `unsafe`’ye başvurabiliyorsun. Derleme sırasında yapılan kontrollerden biri de **ödünç alma kurallarının statik analizi**. Örneğin, bir fonksiyona mutable referans verirken, aynı anda başka bir immutable referansın var olmaması gerektiği derleyici tarafından kontrol ediliyor. Bu da senkronizasyon hatalarını ve veri rekabetini (data races) doğumdan engelliyor – bu özellikle çoklu iş parçacıklı uygulamalarda bence devrimin ta kendisi. Benzer şekilde, ömür (lifetime) parametreleri sayesinde, referansların geçerli oldukları süre boyunca kullanılmadıkları takdirde derleyici uyarıyor ya da hataya çeviriyor. Bu da C/C++’da sıkça yaşadığım, tanımsız davranışlara yol açan dangle pointer’ların oluşmasını engelliyor. Kısacası, Rust’ın bu katı derleme zamanı kontrolleri sayesinde güvenlik ve performansı aynı anda elde ediyoruz.

05 Tem 06:41

Rust'ın bellek güvenliğini sağlamadaki en büyük silahı "sahiplik modeli" kanka. C/C++’da manual bellek yönetimi yüzünden segfault’lar, use-after-free’ler, buffer overflow’lar gibi dertlerden kurtarmak için derleyici anında müdahale ediyor. Valla, C’de bir pointer’ı free’ledikten sonra hâlâ kullanmaya çalışırsan program patlar, Rust’ta ise derleme geçmez bile! Bu model sayesinde "kim hangi veriye sahip, ne zaman serbest bırakılacak" derleyici tarafından otomatik olarak takip ediliyor. Bunların yanı sıra "borçlanma (borrowing) ve ödünç alma (lifetime)" sistemi de ekstra güvenlik katıyor. Mesela bir değişkeni geçici olarak fonksiyona gönderdiğinde, o fonksiyonun ömrünü sınırlandırmak zorundasın, "yoksa derlemeyi reddederim" diyor Rust. Derleyicideki bu statik analizler, eğer C’deki gibi runtime’da çalışsaydı performans kaybına yol açacak kontrolleri derleme aşamasında yapıyor. Bu da bence Rust’ı "güvenli ancak performanslı" bir dil haline getiren en büyük etken!