Fearless SIMD 1.0：Rust 安全 SIMD 抽象定案
Linebender Blog · 2026-09-23
背景：各平台各寫一份 unsafe intrinsics 的痛
SIMD（單指令多資料）向來是效能敏感程式碼的關鍵手段，但 x86 與 ARM 的向量指令集完全不同，工程師長期得替每個平台各寫一份組合語言等級的 intrinsics。Linebender 團隊在文章中提到，隨手翻開其他 SIMD 抽象函式庫的原始碼，都能找到數千個 unsafe 區塊。這代表每次呼叫底層 intrinsic，開發者都得自行擔保記憶體安全與 CPU 特性判斷正確，稽核成本極高。Fearless SIMD 的目標，就是把這種「跨平台各寫一份、還要手工保證安全」的模式收斂成一份可稽核的抽象層。
核心改動：把 unsafe 收斂到兩個建構元件
Fearless SIMD 的安全模型建立在兩個機制上。第一個是 kernel! 巨集，利用 target_feature 1.1 讓多數 SIMD intrinsics 呼叫不必包在 unsafe 區塊裡；第二個是仿照 bytemuck、zerocopy 設計的 safe transmute 模組，把原本需要裸指標的 load / store 操作包裝起來。只要這兩個小型、可重複使用的元件本身是記憶體安全的，其餘程式碼就能保證安全。搭配 #[simd] 巨集，同一份函式可以自動產生多版本（multiversioning），不需額外效能代價。
1.0 版正式定案的是穩定性承諾：MSRV 為 Rust 1.89，且往後每個 MSRV 對應的最新版本都會收到三年的安全性更新回補。API 也預留了 f16、SVE、RISC-V Vector Extension 等未來 Rust 特性的相容路徑，避免日後又是一次破壞性升級。相較 0.x 版，這次也伴隨一批命名調整：
witness()更名為token()，並移到ExtractTokensupertraitSimdBase::N更名為LEN，對齊標準庫std::simd的命名abs從SimdFloat移到SimdBase，讓整數型別也能呼叫as_array改為借用、to_array負責取得擁有權，取代原本單一方法
功能面則新增了 reverse、saturating_add、saturating_sub、count_ones、count_zeros，以及 reduce_min、reduce_max、reduce_sum、reduce_product 等歸約運算。浮點運算另外提供 mul_add_precise 與 mul_sub_precise，保證只捨入一次的高精度乘加。這次改版也順手把 x86 程式碼產生方式優化，建置時間縮短約三分之一。
以下示意手刻 intrinsics 與改用 Fearless SIMD 的差異：
// Before：每個平台各寫一份，呼叫端也要包 unsafe
#[target_feature(enable = "avx2")]
unsafe fn add_i32x8(a: __m256i, b: __m256i) -> __m256i {
_mm256_add_epi32(a, b)
}
let sum = unsafe { add_i32x8(a, b) };// After：#[simd] 巨集展開出各平台版本，呼叫端免 unsafe
#[simd]
fn add_i32(simd: impl Simd, a: i32x8, b: i32x8) -> i32x8 {
a + b
}
let sum = add_i32(simd, a, b);影響範圍：誰該關注、要做什麼
目前手刻 std::arch intrinsics 或依賴其他 unsafe 較多的 SIMD 抽象庫的專案，可以評估遷移到 Fearless SIMD，換取可稽核的安全邊界與三年安全更新承諾。若專案已在用 0.x 版，升級到 1.0 需要處理上述改名（witness、N、abs、as_array），並確認建置環境已達 Rust 1.89 這個 MSRV 門檻。文章強調這批命名調整是為了對齊未來 Rust 生態的方向（例如與 std::simd 對齊的 LEN），也是為了在 f16、SVE、RISC-V Vector Extension 等新特性到來時，不需要再次破壞既有 API。對於還在觀望的專案，1.0 的穩定承諾本身就是決策訊號，代表這個抽象層已經可以當成長期依賴而不是實驗性套件。
原始來源：Fearless SIMD v1.0 is here（Linebender Blog）；linebender/fearless_simd（GitHub）；CHANGELOG.md