FMA e FMA3

Cosa c'è da sapere

Come funziona

Un'operazione fused valuta un prodotto e una somma come una singola operazione aritmetica prima dell'arrotondamento al formato di destinazione. Cio puo preservare un contributo che andrebbe perso se la moltiplicazione venisse arrotondata per prima. Le forme dell'istruzione 132, 213 e 231 selezionano quali operandi forniscono il prodotto, l'addendo e la destinazione sovrascritta. Le forme scalari e packed presentano comportamenti di corsia differenti.

Dove risulta utile

La valutazione dei polinomi, la moltiplicazione di matrici e i filtri digitali possono utilizzare FMA per combinare operazioni aritmetiche. Il risultato fused puo differire da quello di un programma che utilizza deliberatamente due operazioni separate. I parametri di contrazione del compilatore e i requisiti di riproducibilita numerica contano quindi tanto quanto la disponibilita dell'istruzione.

Come verificare il supporto e l'abilitazione

Per le istruzioni VEX FMA3, controllare il bit 12 di CPUID.01H:ECX insieme ai controlli completi dello stato del sistema operativo per AVX. Se si utilizzano le forme EVEX, controllare i sottoinsiemi AVX-512 aggiuntivi e lo stato richiesto da tali forme. Ispezionare i flag del compilatore quando i risultati numerici cambiano dopo una ricompilazione.

Il programma deve sia contenere un'implementazione appropriata sia selezionarla a runtime. L'enumerazione dell'hardware, lo stato dei registri abilitato dal sistema operativo e la baseline di compilazione del binario costituiscono verifiche distinte. Una macchina virtuale può esporre deliberatamente meno funzionalità rispetto al suo host, e un container non aggiunge istruzioni alla CPU dell'host.

Cosa non stabilisce la funzionalità

FMA non implica che ogni espressione a virgola mobile venga valutata con ulteriore precisione, e non garantisce risultati identici tra impostazioni del compilatore diverse. FMA4 e una famiglia di istruzioni differente. Ne AVX ne AVX2 da soli comprovano il supporto per FMA3.

Compatibilità e prestazioni nella pratica

Misurare l'intero carico di lavoro con dati rappresentativi. Vettori più ampi possono ridurre il numero di istruzioni lasciando inalterati il traffico di memoria, la sincronizzazione o i costi di conversione. La latenza delle istruzioni, il throughput e il comportamento energetico dipendono dalla microarchitettura esatta e dalle condizioni operative.

Una checklist pratica di verifica

1. Annotare il modello esatto di processore o piattaforma e le versioni di applicazione, sistema operativo e runtime interessate. Mantenere la formulazione dell'errore o del requisito effettivo.
2. Controllare la documentazione del produttore per quello specifico modello, quindi ispezionare la funzionalità effettiva e lo stato di abilitazione nell'ambiente in cui il programma viene eseguito.
3. Confrontare ogni requisito del binario o del backend selezionato. Una funzionalità con un nome simile, un alias o un'etichetta tecnologica generica non sono sufficienti.
4. Verificare che l'applicazione abbia selezionato l'implementazione prevista. Utilizzare la relativa diagnostica documentata e un fallback supportato quando i requisiti non sono soddisfatti.
5. Apportare una sola modifica supportata alla volta e ripetere lo stesso carico di lavoro. Mantenere disponibili la configurazione originale e un percorso di ripristino.

Se la funzionalità è elencata ma il software non può utilizzarla

Iniziare dal componente esatto che genera l'errore. Un database hardware descrive la capacità registrata; il sistema operativo o l'hypervisor possono esporre un ambiente effettivo differente. Un errore di istruzione illegale richiede inoltre l'analisi dell'effettiva istruzione che causa il problema e della build del binario, poiché il danneggiamento di dati o un'istruzione non supportata non correlata possono produrre un sintomo simile.

Installare la versione di applicazione, driver o runtime supportata per la piattaforma esatta e, se necessario, utilizzare la build di riferimento o di fallback documentata dal produttore. Un aggiornamento software non può creare un'istruzione che manca nel processore. Le modifiche al firmware e ai criteri di sicurezza devono seguire la procedura del produttore del sistema e un piano di ripristino, piuttosto che una generica ricetta di ottimizzazione.

Funzionalità correlate e distinzioni utili

AVX · AVX2 · F16C · x86-64-v3

Fonti e ambito di questa spiegazione

Intel 64 and IA-32 Architectures Software Developer's Manual · Linux kernel: using XSTATE features in user space

Questi riferimenti definiscono il comportamento architetturale e i requisiti software. Non verificano in modo indipendente ogni valore delle funzionalità presente nella pagina di un modello hardware collegato. Per il supporto su uno specifico modello, fare riferimento alle evidenze del produttore su quella pagina e controllare l'effettiva configurazione di sistema. Questo articolo non fornisce benchmark, certificazioni o date di revisione indipendente.

Correlati

Queste entità sono collegate a questo articolo. Il tipo viene mostrato per ogni collegamento.

Fonti e verifica

Titolarità editoriale: Feex. Nessuna data di revisione indipendente registrata. Come svolgiamo le ricerche.

• Intel 64 and IA-32 Architectures Software Developer's Manual · I volumi 1 e 2 descrivono le famiglie di istruzioni menzionate e CPUID; il volume 3 descrive lo stato, il paging, VMX e i controlli di protezione. La documentazione dell'architettura non certifica il supporto per un particolare modello.
• Linux kernel: using XSTATE features in user space · Stato vettoriale abilitato dal sistema operativo, stato dei tile abilitato dinamicamente, requisiti per lo stack dei segnali e flusso dei permessi AMX. Il comportamento specifico di Linux non costituisce una garanzia per un altro sistema operativo.