Cevap

Rust'ta allocator, dinamik belleği (heap) dağıtmak ve serbest bırakmakla sorumludur. Varsayılan olarak Rust, standart sistem allocator'ını kullanır, ancak dil, küresel ve yerel arayüzler aracılığıyla kullanıcı tanımlı allocator'ları kullanma imkanı sunar. Bu genellikle şunlar için gereklidir:

• Performans optimizasyonu belirli görevler için (örneğin, bellek parçalanmasını azaltmak).
• Bellek tahsisindeki davranışın kontrolü (örneğin, günlükleme, kısıtlama, profil çıkarma).
• Belirli işletim sistemlerinde veya gömülü cihazlarda çalışmak, burada standart allocator mevcut değildir.

1.28 sürümünden itibaren küresel allocator, #[global_allocator] niteliği aracılığıyla ayarlanır:

use std::alloc::System;

#[global_allocator]
static GLOBAL: System = System;

Kendi allocator'ınızı oluşturmak için std::alloc içindeki trait'leri uygulayabilirsiniz:

use std::alloc::{GlobalAlloc, Layout};

struct MyAlloc;
unsafe impl GlobalAlloc for MyAlloc {
    unsafe fn alloc(&self, layout: Layout) -> *mut u8 {
        // Burada tahsis mantığı
        std::alloc::System.alloc(layout) // devret
    }
    unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout) {
        // Serbest bırakma mantığı
        std::alloc::System.dealloc(ptr, layout)
    }
}

#[global_allocator]
static GLOBAL: MyAlloc = MyAlloc;

Kandırmaca Soru

Soru: Küresel allocator'ı çalışma zamanında koşullara veya yapılandırmaya bağlı olarak değiştirmek mümkün mü?

Cevap: Hayır! Küresel allocator, derleme aşamasında seçilir ve #[global_allocator] niteliği ile statik olarak belirlenir. Bunu çalışma zamanında değiştirmek veya dinamik olarak seçmek mümkün değildir, çünkü bu nitelik derleme sırasında oluşturulan kodu etkiler.

---

Hikaye

Bir şirket, Linux üzerinde çalışan yüksek yük hizmetini RTOS ile gömülü platforma port etti. Standart küresel allocator'ın bu platformda çalışmadığını bilmemeleri nedeniyle uygulama, herhangi bir Box::new işleminde segfault ile çöküyordu. Statik bellek havuzlarına erişim ile kendi allocator'larının uygulanması yardımcı oldu.

Hikaye

Büyük grafiklerin analiz edildiği bir projede, profil çıkarma amacıyla özel bir allocator uygulandı, ancak bellek serbest bırakmayı doğru bir şekilde yönlendirmeyi unuttular. Sonuç olarak, bellek sızıntısı (leak) oldu ve yük testlerinde performans düşüklüğü yaşandı.

Hikaye

Masaüstü uygulaması geliştirirken, tarafsız bir allocator jemalloc kullandılar, rustc sürümleri arasındaki ABI farkını dikkate almadılar. Bu, veri serileştirmede zorlayıcı hatalara neden oldu, çünkü farklı kod parçaları bellek tahsisinde farklı kurallar bekliyordu.