Bölüm 1: Bu Nedir ve Neden Hayati Önem Taşır?
ARMv9 mimarisi, ARM ekosisteminin son on yilda gerceklestirdigi en kapsamli ontolojik atilimi temsil eder; bu atilim, sadece talimat seti genisletmesi degil, ayni anda guvenlik, vektor isleme ve coklu cekirdek heterojenligi uzerine kurulu bircok katmanli bir sozlesme degisimidir. Bu calismanin kapsami; Scalable Vector Extension 2 (SVE2) uzerinden veri paralelliklerinin donanimsal abstraksiyonu, Memory Tagging Extension (MTE) ile bellek guvenliginin donanima tasinmasi ve DynamIQ Shared Unit (DSU) ortaminda Verimlilik (Efficiency) cekirdeklerinin (Cortex-A510/A710 revizyonlari) performans/watt dagiliminin sistem seviyesindeki etkilerini kapsar. Temel yaklasim, bu uc temel diregin (Vektor, Guvenlik, Verimlilik) birbirinden bagimsiz degil, derleyici zinciri, isletim sistemi cekirdegi ve donanim tasarim kitlari (IP) seviyesinde karsilastirmali risk analizi yapmaktir. Uzun vadeli riskler; SVE2’nin derleyici maturitesi olmadan yarattigi kod bagimliligi, MTE’nin donanim maliyeti ve yan kanal saldirilarina karsi kismi koruma, verimlilik cekirdeklerindeki mikroarkitekturel kose durumlarinin (corner cases) sistem geneline yayilma ihtimalidir.
Bölüm 2: Perde Arkası: Sistem Nasıl Çalışıyor?
SVE2, vektor uzunlugunu (VL) 128-bit ile 2048-bit arasinda donanim agnostik bir sekilde parametreleyen “Length-Agnostic” programlama modelini benimser; bu, predikasyon (predicate registers P0-P15) uzerinden maskeleme yaparak skaler kodun vektorize edilememesi durumlarini (tail handling) donanimda cozer. MTE ise ARMv8.5-A ile baslayan Top-Byte Ignore (TBI) mekanizmasini genisleterek, sanal adreslerin ust 4 bitine (Tag) 4-bitlik bir renk kodu yerlestirir; bellek ayirma sirasinda bu etiketler fiziksal sayfa meta verisiyle eslestirilir ve her yukleme/depolama isleminde donanimli karsilastirma gerceklestirilir. Eslesme basarisizliginda Synchronous (Precise) veya Asynchronous (Imprecise) istisna uretilebilir. Verimlilik cekirdekleri (Ornek: Cortex-A520), in-order (sirali) calisma, kisa pipeline derinligi ve paylastirilmis FP/NEON/SVE birimleri ile alan/enerji verimliligi hedefler; ancak bu tasarim, cikarimli calistirma (Out-of-Order) yeteneginin yoklugu nedeniyle bellek gecikme gecikmelerini (latency) gizleyemez. DSU uzerinden L3 paylasimi ve snoop filtreleri, heterojen cekirdek kumesi (Performance + Efficiency) arasinda koheransi saglar ama bu paylasim, gecikme jitterina (jitter) yol acar.
Bölüm 3: Bilim Dünyası ve Uzmanlar Nasıl İnceliyor?
ARMv9 uyumlulugu, ARM Architecture Reference Manual (ARM ARM) DDI 0487G.a ve sonrasindaki eklentilerle tanimlanir; SVE2 icin “ARMv9-A Base Profile” zorunlulugu getirilir. MTE uygulamasinda ARMv8.5-A MemTag uzantisi referans alinir; Linux cekirdegi (v5.14+) CONFIG_ARM64_MTE ve userspace libc (glibc/bionic) mte=memtag modulleri ile entegre olur. Derleyici altyapisi icin LLVM/Clang (v13+) ve GCC (v11+) +sve2 ve +memtag hedef ozelliklerini destekler; ancak SVE2 intrinsics (ACLE – ARM C Language Extensions) standartlasmasi hala evrimseldir. Guvenlik sertifikasyonu icin Common Criteria (ISO 15408) EAL4+ seviyesi hedeflenir; MTE bu surecde “Memory Protection” fonksiyonel guvenlik gereksinimini kismi karsilar. Performans olcumunde SPE (Statistical Profiling Extension) ve PMU (Performance Monitoring Unit) olaylari (ornegin SVE_INST_RETIRED, MTE_TAG_CHECK_FAIL) kullanilir. Android 13+ (Tiramisu) ve ChromeOS, MTE’yi “Async” modda varsayilan acik olarak tasiyan ilk tüketici platformlaridir.
Bölüm 4: Önemli Parametreler ve Karşılaştırma Rehberi
| Parametre | Olcut / Deger | Metrik | Stratejik Etki |
|---|---|---|---|
| SVE Vektor Uzunlugu (VL) | 128b – 2048b (128b adimlari) | Bit / Register File Genisligi | Kod tasinabilirligi artar; derleyici register pressure (yogunlugu) tahmini zorlasir, VL-agnostik kod on zorunlulugu dogurur. |
| SVE2 Yeni Talimat Sayisi | ~100+ (Bit permute, CRC, AES, Histogram) | Talimat Seti Genisligi | Kripto/HPC is yükleri icin coklu cekirdek lisans maliyetini azaltir; mikro-kod kompleksitesi dogurur. |
| MTE Etiket Genisligi | 4-bit (16 deger) / Granularite: 16 Bayt | Tag Alanı / Bellek Uzeri Yuzdesi | %3.125 bellek uzeri maliyeti; deterministik tag atamasi (exclusion) guvenlik acigina yol acar. |
| MTE Modlari | Sync (Precise) / Async (Imprecise) / Disabled | Istisna Gecikmesi / Performans Kaybi | Sync mod %5-15 performans kaybi; Async mod hata kaynagini izole etmeyi zorlastirir. |
| Verimlilik Cekirdegi Pipeline | In-Order, 2-3 Issue, Kisa Pipeline | IPC (Instruction Per Cycle) / MHz | Yüksek frekans/alan; ancak cache miss gecikmelerini toleranssiz, bellek bagli is yüklerinde darbogaz. |
| DSU L3 Paylasim Gecikmesi | ~10-20 Cycle (Snoop Filterli) | Inter-core Latency | Heterojen gecislerde (Perf->Eff) cache pollution ve snoop trafigi olusturur. |
| Pointer Authentication (PAC) Etkilesimi | MTE + PAC Birlesik Kullanim | Guvenlik Katmani Sayisi | Donanim maliyeti artar; PAC imza hesaplamasi MTE tag kontrolu ile pipeline’da cakisma yaratiyor. |
| Derleyici Otomatik Vektorizasyon | LLVM LoopVectorize / SLP Vectorizer | Kod Uretim Basari Oranı | Karmaşık kontrol akisli (irregular) dongulerde basarisiz olma orani yuksek; manuel intrinsics gerektirir. |
| MTE Tag Yonetimi (Allocator) | Scudo / HWASAN / malloc entegrasyonu | Parcalanma / Tag Tukekmesi | Uzun omurlu islemlerde tag tukenmesi (tag exhaustion) yeni bir DOS vektoru olusturur. |
| SVE2 Kryptografik Hızlanma | AES/SM4/PMULL Talimatlari | Cycles/Byte | Ayrı kripto hizlandirici (Crypto Extension) ihtiyacini azaltir; yan kanal analizi yuzeyi genisletir. |
| Verimlilik Cekirdegi FP/SVE Birimi | Paylastirilmis (Shared) FP/NEON/SVE | Alan Tasarrufu (mm2) | Ayni anda FP ve SVE is yükü calistirilmadiginda verimli; karsilikli kilitlenme (contention) riski. |
| Bellek Modeli (LSE2/RCpc) | Load/Store Exclusive v2, RCpc | Atomik Operasyon Gecikmesi | Kilitsiz (lock-free) veri yapilarinda olceklenebilirlik artar; dogrulama kompleksitesi artar. |
| RAS (Reliability, Availability, Serviceability) | ECC/Parity L1-L2-L3, Poison Handling | FIT (Failure In Time) Oranı | Verimlilik cekirdeklerindeki azaltilmis ECC kapsami, sessiz veri bozulma riskini artirir. |
| Güvenlik Durumu (Realm/EL2/EL3) | CCA (Confidential Compute Arch) Uyumu | Izolasyon Gucluğu | MTE Realm yonetiminde (RMM) tag sahiplikligi cakismalari yeni bir saldiri yuzeyi olusturur. |
Bölüm 5: Günlük Hayatta ve Doğada Nerede Karşımıza Çıkar?
Mobil SoC tasarimlarinda (ornegin MediaTek Dimensity 9000 serisi, Qualcomm Snapdragon 8 Gen 2/3), SVE2 medya kodekleri (AV1 decode, HDR isleme) ve makine ogrenmesi cikarimi (TFLite XNNPACK backend) icin vektor genisligi esnekligi saglar; ancak Android NDK seviyesinde libc++ ve libm optimizasyonlari VL=128b icin tune edildiginden, VL=256b+ hedeflenmis cihazlarda performans regresyonu gorulur. MTE, Chrome tarayicisi (PartitionAlloc) ve Android Scudo allocator uzerinde “Async” modda dağıtılır; üretimdeki “heap use-after-free” exploitasyonlarinin %60-70’ini engeller ancak “type confusion” veya “logic bug”lari onleyemez. Verimlilik cekirdekleri (Cortex-A510/A520), arka plan gorevleri (push bildirim, senkronizasyon, ses calma) icin idealdir; fakat “App Startup” sirasinda sozde arka plan is parcaciklarinin bu cekirdeklere gonderilmesi (EAS – Energy Aware Scheduling yanlis tahmini), sozde “jank” (donma) anlari yaratarak kullanici deneyimini bozar. Sunucu tarafinda (Neoverse V2/N2), SVE2 HPC (Linpack, Weather modeling) icin x86 AVX-512 alternatifi sunar; MTE ise Rust/Go runtime’lari icin “spatial memory safety” garanti altina alinir.
Bölüm 6: Karşılaşılan Zorluklar ve Pratik Çözümler
En kritik risk, SVE2’nin “VL-Agnostik” mitinin kirlanmasidir: Kutuphane gelistiricileri performans icin VL-spesifik kod yollari (code paths) uretmek zorunda kalir; bu da ikili uyumluluk (binary compatibility) yukunu artirir ve “Minimum VL” gereksinimi donanim fragmentasyonuna yol acar. MTE’nin 4-bit tag alani, deterministik tag atama stratejilerinde (ornegin sayfa ofseti tabanli) “Tag Collision” olasiligini %6.25 seviyesinde tutar; saldirgan bu olasiligi “Probabilistic Type Confusion” icin kullanabilir. Cozum: Irrational (rastgele) tag atama ve “Tag Check Fault” uzerinden istatistiksel anomalik tespiti (Telemetry). Verimlilik cekirdeklerindeki In-Order pipeline, L2/L3 cache miss gecikmelerini (100+ cycle) gizleyemez; bu durum “Memory Bound” is yüklerinde cekirdegin tamamen stall olmasina yol acar. Cozum: DSU L3 prefetcher agresifligi artirilmali ve OS scheduler (EAS) “Memory Latency Sensitivity” metrigini cekirdek secimine dahil etmeli. Yan Kanal Saldirilari (Spectre/Meltdown varyantlari): SVE2 vektor register dosyasi genisligi (Z0-Z31, 2048b) speculative execution gecmisini genisletir; MTE tag kontrolu “Async” modda speculative yolu kesmez. Donanim duzeyinde “Speculative Tag Check” ve “Vector Register Zeroing” (Zeroupper benzeri) gecerlestirilmeli.
Bölüm 7: Gelecek Perspektifi ve Yeni Gelişmeler
ARMv9.2/9.3 (ARM ARM 2023/2024 revizyonlari) ile SME (Scalable Matrix Extension) tanitildi; SVE2 uzerine matris carpimi (Outer Product) talimatlari (FMOP, SMOP) eklenerek ML cikarimi icin tensor core benzeri yetenek donanima indirildi. MTE3 (Memory Tagging Extension 3) taslaklari, tag genisligini 8-bit’e cikararak (256 tag) “Tag Exhaustion” ve “Collision” riskini azaltmayi hedefler; ancak bu, TBI (Top Byte Ignore) adres alani tasarimi ile cakisir, 52-bit PA (Physical Address) zorunlulugu getirir. Cortex-A520 (2023) ve Cortex-A720 ile “Shared Translation Tables” ve “Fine-Grained Trapping” gelmistir; verimlilik cekirdekleri artık SVE2’yi opsiyonel olarak destekleyebilir (VL=128b kilitli). Confidential Compute Architecture (CCA) Realm Management Monitor (RMM), MTE tag’lerini Realm yonetimi icin “Metadata” olarak kullanmaya basladi; bu, Hypervisor (EL2) ve Realm (EL1) arasinda tag sahiplikligi cakismasini (Tag Ownership Conflict) doguruyor. Gelecek 5 yilda: SVE2 -> SME2 gecisi (FP8/FP4 destekli), CHERI (Capability Hardware Enhanced RISC Instructions) ARMv9-A profiline entegrasyonu (MTE ile hibrit guvenlik modeli), ve Chiplet tabanli DSU (CMN-700/800) uzerinde heterojen cekirdek kumesi (CPU+GPU+NPU) icin unified memory tagging protokolleri (CXL.mem ile uyumlu) on planda.
Bölüm 8: Merak Edilen Sorular ve Cevaplar
Soru 1: SVE2 derleyici desteklenmesi (auto-vectorization) ne durumda? Manuel intrinsics yazmak zorunda miyim?
Cevap: LLVM/Clang 16+ ve GCC 13+ seviyelerinde loop-vectorize ve SLP pass’lari SVE2 icin maturiteye ulasti; ancak karmaşık kontrol akisi (irregular control flow), pointer aliasing belirsizligi ve veri bagimliligi (dependence) iceren dongulerde derleyici guvenli tarafta kalarak vektorizasyon yapmaz. Performans kritik yollar (Hot paths) icin ACLE (ARM C Language Extensions) intrinsics (svadd_f32_z, svld1_f32 vb.) veya Assembly yazimi hala gereklidir. Derleyiciye __builtin_assume_aligned ve restrict anahtar kelimeleri ile metadata beslemek basari oranini %40-60 artirir.
Soru 2: MTE “Async” modu üretimde yeterli mi? “Sync” modu performans kaybi ne kadardir?
Cevap: Async mod, tag hatasini bir sonraki context switch veya explicit LDG/STG kontrolunde raporlar; bu, exploitasyonun “Crash” olmasi icin gecikme sureci (detection latency) yaratarak saldirgana “Exploit Primitive” gelistirme penceresi acar. Sync mod (Precise) hatayi talimat aninda yakalar; SPEC CPU 2017 integer is yüklerinde %5-8, memory-bound is yüklerde (ornegin mcf, omnetpp) ise %12-18 performans kaybi olusturur. Uretim icin “Async + Crash Reporting (Tombstone)” hibrit modeli onerilir; kritik bileşenler (Browser Renderer, IPC) icin prctl(PR_SET_TAGGED_ADDR_CTRL) ile Sync mod zorunlu kilinmalidir.
Soru 3: Verimlilik cekirdekleri (Cortex-A510/A520) SVE2 destekliyor mu? Destekliyorsa VL kac bit?
Cevap: Cortex-A510 (ARMv9.0) SVE2’yi desteklemez, sadece NEON/FP (128-bit) destekler. Cortex-A520 (ARMv9.2) ise SVE2’yi opsiyonel olarak destekler; ancak lisanslama maliyeti ve alan kisitlamasi nedeniyle VL 128-bit’e kilitli gelistirilir (VLMAX=128). Bu, “VL-Agnostik” yazilimin bu cekirdeklere gonderildiginde, 256/512-bit vektor registerlarini (Z16-Z31) kullanamayacagi, register pressure (yogunluk) artacagi ve “Tail Handling” maliyeti farkli olacagi icin performans profilinin degismeyecegi anlamina gelmez; aksine, vektor uzunlugu kisa oldugu icin iteration sayisi artar, branch prediction yuku yukselir.
Soru 4: MTE ile HWASAN (Hardware Address Sanitizer) veya KASAN (Kernel Address Sanitizer) arasindaki fark nedir?
Cevap: HWASAN/KASAN yazilim tabanli instrumentasyondur (Compiler instrumentation + Shadow Memory); her bellek erisiminde gölge bellek kontrolu yapar, %2-3x yavaslama ve %10-20% bellek uzeri maliyeti getirir. MTE donanimli tag kontroludur; gölge bellek yoktur, uzeri maliyeti sadece tag depolama icin %3.125’tir (RAM’de ECC/Parity alani kullanilarak gizlenebilir). MTE “Use-after-free” ve “Buffer Overflow” icin deterministik degil, probabilistik koruma saglar (1/16 bypass sansi); HWASAN deterministiktir. MTE production deployment icin uygundur; HWASAN/KASAN CI/CD ve fuzzing asamalari icin.
Soru 5: ARMv9’da “Realm” (CCA) ve MTE etkilesimi nasil yonetlenir? Tag sahipliği kime ait?
Cevap: CCA mimarisinde Realm (Guvenli Enklav) bellegi, Normal World (Linux/Android) dan izole edilir. RMM (Realm Management Monitor – EL2), Realm bellegine atanan MTE tag’lerini yonetir. Normal World allocator (Scudo) ve Realm icindeki allocator (Rust/Go runtime) ayni fiziksel sayfayi farkli zamanlarda kullanirsa (Page Reuse), tag’ler temizlenmezse “Tag Bleeding” olusur. ARM ARM, RMM_GRANULE_DELEGATE cagrisinda tag temizleme (Zeroing) zorunlulugu getirmistir; ancak bu temizleme islemi (DC ZVA) cache hiyerarsisinde gecikme yaratarak “Cross-Realm Timing Side-Channel” riski dogurur. Cozum: Realm giris/cikisinda “Tag Invalidation” ve “Cache Clean” atomik protokoller.
Soru 6: SVE2 vektor register durumunu (Z0-Z31, P0-P15, FFR) Context Switch sirasinda nasil kurtarmak gerekiyor? Maliyet ne kadar?
Cevap: SVE durumu, VL degisken oldugu icin sabit boyutlu struct user_fpsimd_state degil, variable-length struct sve_context (NT_ARM_SVE regset) ile ptrace/signal mekanizmalari uzerinden tasinir. Context switch maliyeti: VL=128b icin ~1.5KB, VL=512b icin ~6KB, VL=2048b icin ~24KB register dosyasi yedekleme maliyeti (L1 cache line fill/evict dahil). Linux cekirdegi fpsimd_save/restore ve sve_flush_live ile “Lazy Save” stratejisi kullanir; ancak SVE kullanan thread’ler coklu cekirdeklerde migrate oldugunda “Heavy Task” olarak isaretlenir ve NUMA locality bozulur. Gercek zamanli sistemlerde (RTOS) SVE kullanimi deterministik stack/frame boyutu gerektirdigi icin genelde yasaklanir veya VL=128b’e kilitlenir.
Bölüm 9: Bilmeniz Gereken Temel Terimler
SVE (Scalable Vector Extension): Vektor uzunlugunu (VL) donanim agnostik (128-2048 bit) tutan, predikasyon tabanli maskeleme ile skaler/vektor kod birlesimini saglayan ARM vektör ISA uzantısı.
MTE (Memory Tagging Extension): Bellek ayirmalari icin 16 bayt granulerlikte 4-bitlik renk etiketleri (Tags) atayan, donanimli erisim kontrolu ile spatial memory safety (tampon tasma, use-after-free) saglayan guvenlik uzantısı.
VL (Vector Length): SVE vektor registerlarinin (Z registers) bit cinsinden genisligi; calisma aninda ID_AA64ZFR0_EL1 registerindan okunur, derleyici/kod bu degeri bilmeden calisir (Length-Agnostic).
Predikasyon (Predication): SVE’de her vektor islemi icin etkin olan lane’leri (hucreleri) belirleyen P0-P15 predicate registerlari uzerinden yapilan maskeleme islemi; tail handling ve kosullu calistirma icin kritiktir.
DSU (DynamIQ Shared Unit): Coklu cekirdek kumesini (Cluster) birlestiren, L3 cache, Snoop Control Unit (SCU) ve Power Management’i merkezi yoneten interconnect bileşeni; heterojen cekirdek (Perf/Eff) koheransini saglar.
In-Order Pipeline: Talimatlarin program sirasiyla gonderildigi, cikarimli (Out-of-Order) calistirma mantigi bulunmayan, alan/enerji verimli ama gecikme toleransi dusuk mikroarkitektur tasarim paradigmasi.
Tag Collision (Etiket Cakismasi): MTE’de 4-bit tag alani (16 deger) dolayisiyla, farkli iki ayirmanin ayni tag degerini almasi durumu; bu durum use-after-free korumasini probabilistik olarak zayiflatir.
SME (Scalable Matrix Extension): ARMv9.2+ ile gelen, SVE uzerine kurulu dis carpim (Outer Product) talimatlari (Tile Registers ZA) iceren matris isleme uzantisi; ML cikarimi icin tensor hizlandirmasi saglar.
CCA (Confidential Compute Architecture): ARMv9 Realm Management Extension (RME) ile tanimlanan, donanim tabanli izolasyon (Realms) saglayan guvenlik mimarisi; MTE tag’leri Realm metadata yonetiminde kullanilir.
EAS (Energy Aware Scheduling): Linux cekirdegi icin gelistirilen, cekirdek kapasitesi (Capacity), frekans ve guven tüketimi modellerini kullanarak gorevleri Performans/Verimlilik cekirdeklerine dagitan zamanlayici politikasi.
Bölüm 10: Özet ve Çıkarılması Gereken Dersler
ARMv9 mimarisi, SVE2, MTE ve Verimlilik Cekirdekleri uzerinden “Performans, Guvenlik, Verimlilik” ucgenini donanim seviyesinde cozme iddiasiyla cikmistir; ancak bu uc direk arasindaki karsilastirmali riskler (Trade-off risks), yazilim ve sistem mimarlarinin goz ardi edemeyecegi sistemik kırılganliklar ol
