Linebender ha rilasciato la libreria Fearless SIMD 1.0 per Rust

Il team di sviluppatori di Linebender ha presentato la versione di rilascio della libreria Fearless SIMD 1.0, destinata a lavorare in modo sicuro con le istruzioni vettoriali del processore nel linguaggio Rust. Lo strumento esclude completamente l'uso dei blocchi unsafe durante l'esecuzione delle operazioni SIMD, sostituendoli con conversioni di tipo sicure e funzioni specifiche del compilatore.

La principale novità della versione 1.0 è il macro #[simd], che automatizza il processo di multi-versioning del codice. Ciò consente agli sviluppatori di compilare la stessa logica per diversi set di istruzioni del processore, come SSE, AVX2 o NEON, senza scrivere codice duplicato. La libreria garantisce prestazioni paragonabili a quelle delle implementazioni a basso livello, mantenendo al contempo rigorose garanzie di sicurezza della memoria, caratteristiche dell'ecosistema Rust.

La versione di rilascio include due tipi di API: precise e fast. La variante precise garantisce una corrispondenza precisa al comportamento delle istruzioni hardware, mentre fast consente al compilatore di applicare ulteriori ottimizzazioni che possono modificare leggermente il risultato dei calcoli a favore della velocità. Tutti i componenti della libreria sono stati testati per la compatibilità con le versioni attuali del compilatore rustc.

Il passaggio a Fearless SIMD consente di ridurre il numero di errori di segmentazione e vulnerabilità logiche che si verificano durante la gestione manuale dei registri vettoriali. Lo strumento è orientato alle attività ad alta intensità, dove è richiesta la massima larghezza di banda dei dati, mantenendo al contempo una rigida tipizzazione e sicurezza del codice.