BMI2
A BMI2 további skaláris x86 bit- és egészműveleteket tesz elérhetővé, mint például a párhuzamos bitelhelyezés és -kivonás (deposit/extract), a változó mértékű eltolások és a jelzőbitektől független szorzás. Ez elkülönül a BMI1-től.
Amit tudni érdemes
A BMI2 további skaláris x86 bit- és egészműveleteket tesz elérhetővé, mint például a párhuzamos bitelhelyezés és -kivonás (deposit/extract), a változó mértékű eltolások és a jelzőbitektől független szorzás. Ez elkülönül a BMI1-től.
Hogyan működik
A PEXT a kiválasztott bemeneti biteket egy tömör, alacsony helyiértékű eredménybe gyűjti össze; a PDEP az alacsony helyiértékű bemeneti biteket egy maszk által kijelölt pozíciókba szórja szét. További BMI2-utasítások a BZHI, MULX, RORX, SHLX, SHRX és SARX. Ezek skaláris egészregisztereken működnek, annak ellenére, hogy VEX-kódolást használnak.
Ahol hasznos
Egy kompakt sakktábla-reprezentáció vagy bitmező-kodek használhatja a PEXT/PDEP utasításokat a sűrű és ritka bitelrendezések közötti leképezésre. Végrehajtási költségük implementációtól függően jelentősen eltérhet, ezért az algoritmust reprezentatív bemenetekkel kell mérni, ahelyett, hogy feltételeznénk a rövid utasítássorozat gyorsaságát.
A támogatás és az engedélyezés ellenőrzése
A CPUID.07H.00H:EBX 8. bitje jelzi a BMI2 jelenlétét. Ellenőrizze a ténylegesen használt utasítások célspecifikus teljesítményét, és a dispatchert tartsa kívül az olyan kódrészleteken, amelyeket nem támogatott funkciók megkövetelésével fordítottak.
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 BMI2 nem AVX vektorkiterjesztés, és pusztán amiatt, hogy VEX-kódolású, nem igényel YMM-állapotot. Nem vonja maga után az ADX vagy a BMI1 meglétét sem. A MULX és a hagyományos szorzás regiszter- és jelzőbit-viselkedése eltér egymástól.
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
- 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.
- 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.
- 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ő.
- 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.
- 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.
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.
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.
Hasznos volt ez a cikk?
Egy igen vagy nem is elég. Válasszon egy indokot, ha szeretne, vagy írjon egy rövid megjegyzést.
Köszönjük. Ez segít az oldal fejlesztésében.