Rust
Mask
Mask ile şartlı paket işlemleri yaparsın.
Mask
SIMD'de karşılaştırmalar tek bir bool değil, şerit başına bir bool içeren bir maske üretir. Maskeler dallanma yerine select ile kullanılır: her şerit için ya bir vektörden ya diğerinden değer alınır. Böylece if olmadan koşullu işlem yapılır:
// nightly std::simd
let a = i32x4::from_array([1, 5, 3, 8]);
let m = a.simd_gt(i32x4::splat(4)); // [false, true, false, true]
let c = m.select(a, i32x4::splat(0)); // [0, 5, 0, 8]
Dallanmasız kod, tahmin edilemeyen koşullarda işlemcinin dal tahmin cezasından da kaçınır.
Dizilerle maske ve seçim
Aynı fikri kararlı Rust'ta dizilerle yazabiliriz; yapı derleyicinin vektörleştirebileceği dallanmasız bir biçimdir:
fn buyuk_mu(a: [i32; 4], esik: i32) -> [bool; 4] {
a.map(|x| x > esik)
}
fn sec(m: [bool; 4], a: [i32; 4], b: [i32; 4]) -> [i32; 4] {
std::array::from_fn(|i| if m[i] { a[i] } else { b[i] })
}
[T; N]::map, her elemana closure uygulayıp yeni bir dizi döndürür.
Uygulama Maske ve seçim
Yukarıdaki buyuk_mu ve sec fonksiyonlarını yaz. a = [1, 5, 3, 8] ve eşik 4 için maskeyi ve sec(m, a, [0; 4]) sonucunu {:?} ile boşlukla yazdır.
Örnek çözümü göster
fn buyuk_mu(a: [i32; 4], esik: i32) -> [bool; 4] {
a.map(|x| x > esik)
}
fn sec(m: [bool; 4], a: [i32; 4], b: [i32; 4]) -> [i32; 4] {
std::array::from_fn(|i| if m[i] { a[i] } else { b[i] })
}
fn main() {
let a = [1, 5, 3, 8];
let m = buyuk_mu(a, 4);
println!("{:?} {:?}", m, sec(m, a, [0; 4]));
}
Kendini test et
-
Neden SIMD'de <code>if</code> yerine maske kullanılır?
- Gelenek
- Maske gereksizdir
- Şeritler aynı talimatı birlikte çalıştırır; şerit başına ayrı dallanma yoktur
- if yavaş derlenir
Cevabı göster
Şeritler aynı talimatı birlikte çalıştırır; şerit başına ayrı dallanma yoktur — İki dalın sonucu da hesaplanır ve maske hangisinin tutulacağını seçer.
-
Dizi map
fn buyuk_mu(a: [i32; 4], esik: i32) -> [bool; 4] {
a.____(|x| x > esik)
}
Cevabı göster
fn buyuk_mu(a: [i32; 4], esik: i32) -> [bool; 4] {
a.map(|x| x > esik)
}
-
İşlem ve sonuç (a = [1, 5, 3, 8])
- a > 4
- [false, true, false, true]
- sec(m, a, [0; 4])
- [0, 5, 0, 8]
- a > 0
- [true, true, true, true]
- a > 10
- [false, false, false, false]
Sıradaki ders: Horizontal işlemler
