fearless_simd llega a la 1.0 y saca el unsafe de la programación vectorial en Rust
La crate de Linebender ofrece SIMD portable y acceso seguro a intrinsics sin bloques unsafe escritos a mano, con tres años de actualizaciones de seguridad por delante.
Ocho años después del prototipo original, fearless_simd alcanza la versión 1.0. La crate de Linebender promete SIMD portable en Rust —y acceso seguro a intrinsics— sin que el desarrollador tenga que escribir bloques unsafe por su cuenta. La acompaña fearless_simd_macros 0.1 y un compromiso: tres años de actualizaciones de seguridad para esta versión y las posteriores.
El autor, Shnatsel, la plantea como respuesta a una crítica recurrente: que las abstracciones SIMD portables no rinden lo suficiente.
Rendimiento sin ceder
Para las operaciones cuyo comportamiento cambia en los casos límite según la plataforma —los swizzles, el máximo en coma flotante— hay dos variantes. Una precisa, idéntica en todas partes, y otra rápida que devuelve un resultado dependiente del hardware para quien sabe que esos casos no van a darse. También se puede expresar el algoritmo en función del ancho de vector nativo de la máquina, o fijar tamaños concretos cuando el algoritmo los exige.
Si las abstracciones portables no cubren una instrucción, se baja a los intrinsics de la plataforma sin penalizar el resto del código, que sigue siendo portable. El equipo ha contribuido mejoras upstream tanto a Rust como a LLVM.
Fuera el unsafe
El argumento del proyecto es que en cualquier otra abstracción SIMD el código está plagado de unsafe: buscar el término en el árbol de fuentes saca varios miles de bloques. Aquí no hay ninguno escrito a mano. La macro kernel! se apoya en la target feature v1.1 del compilador para invocar la mayoría de los intrinsics, y el resto lo cubre un módulo de transmute seguro inspirado en bytemuck y zerocopy.
El truco es que un intrinsic como _mm_loadu_epi32 es, por debajo, un load corriente. Se replica con un único wrapper reutilizable, así que solo hay que auditar dos piezas pequeñas y autocontenidas: si son seguras en memoria, el resto del código lo es por construcción.
En ergonomía entra fearless_simd_macros 0.1, con la macro #[simd] para el multiversionado de funciones. Las soluciones anteriores obligaban a repartir anotaciones #[inline(always)] y entender sus implicaciones, o a pagar un pequeño coste en cada llamada que degradaba las funciones diminutas. La macro evita ambas cosas. Sigue habiendo algo de repetitivo, y el autor espera quitarlo con el Struct Target Features RFC. Lo que no cambiará es la compatibilidad: el código escrito hoy seguirá funcionando, con o sin la macro.
El soporte de seguridad de tres años se completa con rutas viables hacia el tipo f16 y hacia SVE y la extensión vectorial de RISC-V, si el hardware llega a pedirlas, sin romper la API.
La adopción ya es real: 30 crates dependen de fearless_simd de forma directa y más de mil lo hacen de manera indirecta. Sobre std::simd, el autor no lo ve como competencia: la biblioteca estándar solo implementará lo imprescindible, y multiversionado o vectores del ancho del hardware quedan para el ecosistema. Cuando std::simd se estabilice, piensan portar el proyecto para borrar código propio y ganar plataformas raras.
