Rust ekosisteminde güvenli SIMD soyutlaması için yeni yöntem geliştirildi

Rust programlama dilinde SIMD komut setlerini kullanmak, donanım özelliklerinin çalışma zamanında denetlenmesini zorunlu kıldığı için uzun süredir çok sayıda unsafe kod bloğu gerektiriyordu. Rust 1.87 sürümüyle birlikte derleyicinin hedef komut setlerini kendisinin izlemeye başlaması, doğrudan içsel fonksiyon çağrılarındaki güvensiz blok ihtiyacını azalttı. Geliştirici Shnatsel, yayımladığı teknik yazıyla derleyicinin bu yeteneğini sıfır maliyetli belirteçler ve jenerik tiplerle birleştirerek unsafe kullanımını asgari düzeye indiren yeni bir mimari sundu.

Yeni yaklaşım, işlemcinin AVX2 gibi özellikleri destekleyip desteklemediğini tek bir çalışma zamanı kontrolüyle doğruluyor ve bu kanıtı özel bir belirteç tipine dönüştürüyor. Sıfır boyutlu bu belirteç yapıları, derleme anında geçerlilik kanıtı işlevi görerek ek çalışma zamanı yükü oluşturmadan tip sistemine entegre ediliyor. Geliştirilen makro yapısı sayesinde güvensiz kod tek bir noktada kapsülleniyor ve operatör seviyesindeki toplama gibi işlemler doğrudan jenerik sarmalayıcılar üzerinden güvenli biçimde çağrılabiliyor.

Söz konusu yöntem fearless_simd kütüphanesinin 0.5 sürümünde üretim ortamına sunuldu. Yöntemin tek kısıtı olarak derleyicinin satır içi genişletme (inlining) davranışı öne çıkıyor; en yüksek performansı elde etmek için çağıran fonksiyonun hedef özellik etiketine sahip olması gerekiyor. Geliştirici, kütüphanenin sunduğu bu yapıyla Rust tarafında SIMD soyutlamalarının arkasındaki denetlenemeyen unsafe kod yoğunluğunun büyük ölçüde giderildiğini kaydetti.