FEX geliştiricileri, ARM mimarisinde x86 emülasyonunun karmaşıklığını ortaya koydu

FEX projesinin ekibi, ARM mimarisine sahip işlemcilerde x86 komutlarının çevrilmesindeki sorunlara ilişkin ayrıntılı bir teknik rapor yayımladı. En büyük engel, bellek modelleri arasındaki temel farktı: x86, katı bir Total Store Ordering (TSO) modeli kullanırken ARM, işlemlerin daha gevşek sıralandığı bir modele dayanıyor.

Öykünme sırasında geliştiriciler, yerel ARM mimarisinin sağlamadığı yürütme sırası garantilerini gerektiren atomik talimatların hassas biçimde işlenmesi sorunuyla karşılaştı. Raporda, atomik bir işlemin önbellek satırı sınırlarını aşan verilere dokunduğu durumlar olan split-locks konusuna özellikle dikkat çekiliyor. Veri bütünlüğünü sağlamak için bellek veri yolunun kilitlenmesi gerektiğinden bu durum önemli gecikmelere yol açıyor.

Araştırmada, önbelleklemenin bulunmamasının yazma işlemlerini son derece yavaşlattığı uncached memory ile çalışma konusu da ele alınıyor. Mühendisler, bu kısıtlamaları aşmak için öykünücünün genel performansını düşüren karmaşık yazılım bellek bariyerleri uygulamak zorunda kalıyor. Belgede, FEX'in kodu gerçek zamanlı olarak çevirirken ek yükü en aza indirmeye çalıştığı mekanizmalar ayrıntılı biçimde inceleniyor.

Bu düşük seviyeli kısıtlamaları anlamak, platformlar arası yazılımların geliştirilmesi açısından kritik önem taşıyor. Bellek senkronizasyonu sorunlarının çözülmesi; sunucu çözümleri ve mobil yongalar da dâhil olmak üzere modern ARM işlemcilerde öykünücüler aracılığıyla çalıştırılan uygulamaların hızını doğrudan etkiliyor.