BMI1

Amit tudni érdemes

Hogyan működik

A kiterjesztés része az ANDN, a BEXTR, a BLSI, a BLSMSK, a BLSR és a TZCNT. Ezek a műveletek olyan maszkolási, kiválasztási vagy számlálási lépéseket vonnak össze, amelyek egyébként hosszabb utasítássorozatokat igényelnének. Az utasításspecifikus jelzőbites (flag) hatások és határesetek a specifikáció részét képezik, különösen akkor, ha a bemenet nulla.

Ahol hasznos

Egy bitkészlet-iterátor a BLSR segítségével törölheti a legkisebb helyiértékű beállított bitet, míg egy dekóder a BEXTR használatával bonthat ki egy mezőt. Hogy ez segít-e, az a függőségektől és a célarchitektúra implementációjától függ. A BEXTR nem végez tetszőleges gather műveletet nem összefüggő biteken.

A támogatás és az engedélyezés ellenőrzése

A BMI1 meglétét a CPUID.07H.00H:EBX 3. bitjén ellenőrizze. Használjon funkcióalapú elágazást (feature dispatch) ahelyett, hogy azt tesztelné, lefut-e a TZCNT. A nulla bemenetre adott eredménynek és a jelzőbitek viselkedésének egyeznie kell a kívánt utasításszemantikával.

A pontos utasítás- és operandusformát ellenőrizze ahelyett, hogy egy szomszédos kiterjesztésből következtetne a támogatásra. A skaláris egészértékű funkciók általában általános célú regisztereket használnak; a vektorokhoz társított kódolás nem jelent automatikusan vektorállapot-követelményt.

Amit a funkció nem biztosít

A BMI1 nem vonja maga után a BMI2, a POPCNT, az LZCNT jelenlétét, sem az AVX operációsrendszer-szintű támogatását. A TZCNT kódolási rokonságban áll egy régebbi utasítással, így nem támogatott környezetben történő végrehajtása tiszta kivétel helyett eltérő szemantikát eredményezhet.

Kompatibilitás és teljesítmény a gyakorlatban

A helyesség a határesetektől és a sebességtől egyaránt függ. A nulla bemenet, a túlcsordulási és átviteli jelzőbitek, az operandus szélessége, az igazítás és a memóriarendezés mind módosíthatják a szemantikát. Érdemes olyan fordítóprogram- vagy függvénytár-felületeket előnyben részesíteni, amelyek dokumentálják ezeket a részleteket, és támogatott tartalék megoldást (fallback) kínálnak.

Gyakorlati ellenőrzőlista

1. Rögzítse az érintett processzor vagy platform pontos modelljét, valamint az alkalmazás, az operációs rendszer és a futtatókörnyezet verzióját. Őrizze meg a tényleges hiba vagy követelmény pontos szövegezését.
2. Ellenőrizze az adott modellhez tartozó gyártói referenciát, majd vizsgálja meg a tényleges képességet és az engedélyezett állapotot abban a környezetben, ahol a program fut.
3. Vesse össze a kiválasztott bináris vagy háttérrendszer minden követelményét. Egy hasonló elnevezésű funkció, álnév vagy tág technológiai címke nem elegendő.
4. Győződjön meg arról, hogy az alkalmazás a kívánt implementációt választotta ki. Használja annak dokumentált diagnosztikai eszközeit és egy támogatott tartalék megoldást, ha a követelmények nem teljesülnek.
5. Egyszerre csak egy támogatott módosítást hajtson végre, és ismételje meg ugyanazt a munkaterhelést. Tartsa elérhetően az eredeti konfigurációt és a helyreállítási útvonalat.

Ha a funkció szerepel a listán, de a szoftver nem tudja használni

Kezdje a hibát jelző pontos komponenssel. A hardveradatbázis a rögzített képességet írja le; az operációs rendszer vagy a hipervizor ettől eltérő tényleges környezetet tehet elérhetővé. Az érvénytelen utasítás miatti hiba (illegal-instruction) esetén a ténylegesen hibát okozó utasítást és a bináris összeállítást is vizsgálni kell, mivel az adatsérülés vagy egy nem kapcsolódó, nem támogatott utasítás is hasonló tünetet produkálhat.

Telepítse az adott platformhoz támogatott alkalmazás-, illesztőprogram- vagy futtatókörnyezet-verziót, és szükség esetén használja a gyártó által dokumentált alapértelmezett vagy tartalék változatot. Egy szoftverfrissítés nem hozhat létre olyan utasítást, amellyel a processzor nem rendelkezik. A firmware- és biztonságipolitika-módosítások során a rendszer gyártójának eljárását és egy helyreállítási tervet kell követni egy általános optimalizálási recept helyett.

Kapcsolódó funkciók és hasznos különbségtételek

BMI2 · LZCNT · POPCNT · x86-64-v3

A magyarázat forrásai és hatóköre

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: processzorarchitektúra és mikroarchitektúra-szintek

Ezek a hivatkozások az architekturális viselkedést és a szoftverkövetelményeket határozzák meg. Nem ellenőrzik függetlenül a hivatkozott hardvermodell oldalán található összes funkcióértéket. A modell támogatásához használja az adott oldal gyártói bizonyítékait, és ellenőrizze a tényleges rendszerkonfigurációt. Ez a cikk nem tartalmaz teljesítménytesztet, tanúsítást vagy független felülvizsgálati dátumot.

Kapcsolódó

Ezek az entitások kapcsolódnak ehhez a cikkhez. A típus minden hivatkozáson megjelenik.

Források és ellenőrzés

Szerkesztői jogtulajdonos: Feex. Független felülvizsgálati dátum nincs rögzítve. Hogyan kutatunk.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Az 1. és 2. kötet a megnevezett utasításcsaládokat és a CPUID-t ismerteti; a 3. kötet az állapot-, lapozás-, VMX- és védelmi vezérlőket tárgyalja. Az architektúra-dokumentáció nem igazolja egy adott modell támogatását.
• x86-64 psABI: processzorarchitektúra és mikroarchitektúra-szintek · Gépinterfész, processzorarchitektúra: alap- és kumulatív v2/v3/v4 funkciótáblázat, operációsrendszer-állapot ellenőrzése és telepítési ajánlások.