Preskočiť na obsah

BMI1

Architektonická referenciaFeex

BMI1 je rozšírenie x86 pre skalárne bitové manipulácie vrátane extrakcie bitov, izolácie bitov a počítania koncových núl. Pracuje s univerzálnymi celočíselnými registrami, a nie s vektorovými pruhmi.

Čo potrebujete vedieť

BMI1 je rozšírenie x86 pre skalárne bitové manipulácie vrátane extrakcie bitov, izolácie bitov a počítania koncových núl. Pracuje s univerzálnymi celočíselnými registrami, a nie s vektorovými pruhmi.

Ako to funguje

Rozšírenie zahŕňa ANDN, BEXTR, BLSI, BLSMSK, BLSR a TZCNT. Tieto operácie kombinujú kroky maskovania, výberu alebo počítania, ktoré by inak vyžadovali dlhšie sekvencie. Špecifické vplyvy inštrukcií na príznaky a okrajové stavy sú súčasťou kontraktu, najmä ak je vstup nulový.

Kde je to užitočné

Iterátor bitových polí (bitset) môže vymazať svoj najnižší nastavený bit pomocou BLSR, zatiaľ čo dekodér môže extrahovať pole pomocou BEXTR. To, či to pomôže, závisí od závislostí a cieľovej implementácie. BEXTR nie je ľubovoľným zhromažďovaním (gather) nesúvislých bitov.

Ako overiť podporu a povolenie

Pre BMI1 skontrolujte CPUID.07H.00H:EBX bit 3. Použite dispečing funkcií namiesto testovania, či sa zdá, že TZCNT vykonáva. Výsledok pri nulovom vstupe a správanie príznakov musia zodpovedať zamýšľanej sémantike inštrukcie.

Skontrolujte presnú inštrukciu a tvar operandu namiesto vyvodzovania podpory zo susedného rozšírenia. Skalárne celočíselné funkcie spravidla využívajú univerzálne registre; kódovanie spojené s vektormi automaticky neznamená požiadavku na vektorový stav.

Čo táto funkcia nezakladá

BMI1 neimplikuje BMI2, POPCNT, LZCNT ani podporu stavu OS pre AVX. TZCNT zdieľa vzťah kódovania so staršou inštrukciou, takže nepodporované vykonanie môže priniesť odlišnú sémantiku namiesto čistej chyby (fault).

Kompatibilita a výkon v praxi

Správnosť závisí od okrajových prípadov rovnako ako od rýchlosti. Nulový vstup, pretečenie, príznaky prenosu, šírka operandu, zarovnanie a usporiadanie pamäte môžu zmeniť sémantiku. Uprednostňujte rozhrania kompilátora alebo knižníc, ktoré tieto podrobnosti dokumentujú a poskytujú podporované náhradné riešenie.

Praktický kontrolný zoznam na overenie

  1. Zaznamenajte presný model procesora alebo platformy a príslušné verzie aplikácie, operačného systému a runtime prostredia. Zachovajte presné znenie skutočnej chyby alebo požiadavky.
  2. Skontrolujte referenčnú dokumentáciu výrobcu pre daný presný model a potom preverte efektívnu schopnosť a povolený stav v prostredí, kde program beží.
  3. Porovnajte každú požiadavku vybraného binárneho súboru alebo backendu. Podobne pomenovaná funkcia, alias alebo široké technologické označenie nepostačujú.
  4. Uistite sa, že aplikácia vybrala zamýšľanú implementáciu. Ak požiadavky nie sú splnené, použite jej dokumentovanú diagnostiku a podporované náhradné riešenie.
  5. Vykonávajte vždy len jednu podporovanú zmenu a zopakujte rovnaké pracovné zaťaženie. Ponechajte si k dispozícii pôvodnú konfiguráciu a postup obnovy.

Ak je funkcia uvedená, ale softvér ju nemôže použiť

Začnite presne pri zlyhávajúcom komponente. Hardvérová databáza popisuje zaznamenanú schopnosť; operačný systém alebo hypervízor však môže sprístupniť iné efektívne prostredie. Chyba neplatnej inštrukcie si vyžaduje aj preskúmanie skutočnej chybujúcej inštrukcie a zostavenia binárneho súboru, pretože poškodenie alebo nesúvisiaca nepodporovaná inštrukcia môže vyvolať podobný príznak.

Nainštalujte verziu aplikácie, ovládača alebo runtime prostredia podporovanú pre presnú platformu a v prípade potreby použite dodávateľom dokumentované základné alebo záložné zostavenie. Aktualizácia softvéru nedokáže vytvoriť inštrukciu, ktorú procesor nemá. Zmeny firmvéru a bezpečnostných politík by sa mali riadiť postupom výrobcu systému a plánom obnovy, nie generickým návodom na optimalizáciu.

Zdroje a rozsah tohto vysvetlenia

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: úrovne architektúry a mikroarchitektúry procesora

Tieto referencie definujú architektonické správanie a softvérové požiadavky. Neoverujú nezávisle každú hodnotu funkcie na prepojenej stránke hardvérového modelu. Podporu modelu nájdete v podkladoch od výrobcu na danej stránke a skontrolujte efektívnu konfiguráciu systému. Tento článok neposkytuje dátum benchmarku, certifikácie ani nezávislej recenzie.

Zdroje a overenie

Redakčné vlastníctvo: Feex. Nie je zaznamenaný žiadny dátum nezávislej kontroly. Ako robíme výskum.

Bol tento článok užitočný?

Stačí áno alebo nie. Ak chcete, vyberte dôvod, alebo pridajte krátku poznámku.

Bol tento článok užitočný?