BMI2

Cosa c'è da sapere

Come funziona

PEXT raccoglie i bit di input selezionati in un risultato compatto di ordine inferiore; PDEP distribuisce i bit di input di ordine inferiore nelle posizioni selezionate da una maschera. Altre istruzioni BMI2 includono BZHI, MULX, RORX, SHLX, SHRX e SARX. Queste operano su registri di interi scalari nonostante l'uso della codifica VEX.

Dove risulta utile

Una rappresentazione compatta di una scacchiera o un codec di campi di bit può utilizzare PEXT/PDEP per mappare layout di bit compatti e sparsi. Il costo di esecuzione varia notevolmente a seconda delle implementazioni, pertanto un algoritmo dovrebbe effettuare benchmark con input rappresentativi anziché presumere che una breve sequenza di istruzioni sia veloce.

Come verificare il supporto e l'abilitazione

Il bit 8 di CPUID.07H.00H:EBX enumera BMI2. Verificare le prestazioni specifiche della piattaforma per le istruzioni effettivamente utilizzate e mantenere il dispatch all'esterno del codice compilato per richiedere funzionalità non supportate.

Verificare l'istruzione esatta e la forma dell'operando invece di dedurre il supporto da un'estensione limitrofa. Le funzionalità per numeri interi scalari utilizzano generalmente registri general-purpose; una codifica associata ai vettori non implica automaticamente un requisito di stato vettoriale.

Cosa non stabilisce la funzionalità

BMI2 non è un'estensione vettoriale AVX e non richiede lo stato YMM semplicemente perché la codifica è VEX. Non stabilisce il supporto per ADX o BMI1. MULX e la moltiplicazione convenzionale differiscono nel comportamento dei registri e dei flag.

Compatibilità e prestazioni nella pratica

La correttezza dipende tanto dai casi limite quanto dalla velocità. L'input pari a zero, l'overflow, i flag di riporto, l'ampiezza dell'operando, l'allineamento e l'ordinamento della memoria possono alterare la semantica. È preferibile utilizzare interfacce di compilatori o librerie che documentano questi dettagli e forniscono un fallback supportato.

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

BMI1 · ADX · x86-64-v3

Fonti e ambito di questa spiegazione

Intel 64 and IA-32 Architectures Software Developer's Manual · psABI per x86-64: livelli di architettura e microarchitettura del processore

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.
• psABI per x86-64: livelli di architettura e microarchitettura del processore · Interfaccia della macchina, architettura del processore: tabella delle funzionalità di base e cumulative per v2/v3/v4, controlli dello stato del sistema operativo e raccomandazioni per la distribuzione.