Hoppa till innehåll

BMI2

ArkitekturreferensFeex

BMI2 lägger till skalära x86-bit- och heltalsoperationer såsom parallell bitinsättning/extrahering, variabla skiftningar och flaggoberoende multiplikation. Den är separat från BMI1.

Vad du behöver veta

BMI2 lägger till skalära x86-bit- och heltalsoperationer såsom parallell bitinsättning/extrahering, variabla skiftningar och flaggoberoende multiplikation. Den är separat från BMI1.

Hur det fungerar

PEXT samlar valda indatabitar till ett tätt lågordningsresultat; PDEP sprider ut lågordningsindatabitar till positioner som väljs av en mask. Andra BMI2-instruktioner inkluderar BZHI, MULX, RORX, SHLX, SHRX och SARX. Dessa opererar på skalära heltalsregister trots att de använder VEX-kodning.

Där den är användbar

En kompakt brädrepresentation eller bitfälts-codec kan använda PEXT/PDEP för att mappa mellan täta och glesa bitlayouter. Deras exekveringskostnad varierar avsevärt mellan implementeringar, så en algoritm bör prestandatesta representativa indata snarare än att anta att en kort instruktionssekvens är snabb.

Hur man kontrollerar stöd och aktivering

CPUID.07H.00H:EBX bit 8 enumererar BMI2. Kontrollera den målspecifika prestandan för de instruktioner som faktiskt används och håll dispatchering utanför kod som kompilerats för att kräva funktioner som inte stöds.

Kontrollera den exakta instruktions- och operandformen snarare än att härleda stöd från en närliggande tilläggsfunktion. Skalära heltalsfunktioner använder i allmänhet generella register; en kodning associerad med vektorer innebär inte automatiskt ett krav på vektorstatus.

Vad funktionen inte fastställer

BMI2 är inte en AVX-vektorutökning och kräver inte YMM-tillstånd enbart för att kodningen är VEX. Den fastställer inte ADX eller BMI1. MULX och konventionell multiplikation skiljer sig åt i register- och flaggbeteende.

Kompatibilitet och prestanda i praktiken

Korrekt funktion beror på gränsfall såväl som hastighet. Nollinmatning, spill, carry-flaggor, operandbredd, minnesjustering och minnesordning kan förändra semantiken. Föredra kompilator- eller biblioteksgränssnitt som dokumenterar dessa detaljer och tillhandahåller en reservlösning som stöds.

En praktisk checklista för verifiering

  1. Registrera den exakta processor- eller plattformsmodellen samt de applikations-, OS- och runtime-versioner som berörs. Behåll formuleringen av det faktiska felet eller kravet.
  2. Kontrollera tillverkarens referens för den exakta modellen och granska sedan den faktiska kapaciteten och det aktiverade tillståndet i miljön där programmet körs.
  3. Jämför varje krav för den valda binären eller renderingsmotorn. En snarlikt namngiven funktion, ett alias eller en bred teknikbeteckning räcker inte.
  4. Bekräfta att applikationen har valt den avsedda implementeringen. Använd dess dokumenterade diagnostik och en reservlösning som stöds när kraven inte uppfylls.
  5. Gör en ändring som stöds i taget och upprepa samma arbetsbelastning. Håll den ursprungliga konfigurationen och återställningsvägen tillgängliga.

Om funktionen är listad men programvaran inte kan använda den

Börja med den exakta komponenten som fallerar. En hårdvarudatabas beskriver registrerad kapacitet; operativsystemet eller hypervisorn kan exponera en annan faktisk miljö. Ett fel om otillåten instruktion kräver också undersökning av den faktiska felande instruktionen och binärbygget, eftersom korruption eller en orelaterad instruktion utan stöd kan ge ett liknande symptom.

Installera den version av applikationen, drivrutinen eller runtime-miljön som stöds för den exakta plattformen, och använd vid behov tillverkarens dokumenterade baslinje eller reservbygge. En programvaruuppdatering kan inte skapa en instruktion som processorn saknar. Ändringar i firmware och säkerhetspolicy bör följa systemtillverkarens procedur och en återställningsplan snarare än ett generiskt optimeringsrecept.

Källor och omfattning för denna förklaring

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: processorarkitektur- och mikroarkitekturnivåer

Dessa referenser fastställer arkitektoniskt beteende och programvarukrav. De verifierar inte oberoende varje funktionsvärde på en länkad hårdvarumodellsida. För modellstöd, använd den sidans tillverkarbelägg och kontrollera den effektiva systemkonfigurationen. Denna artikel tillhandahåller inte ett prestandatest, en certifiering eller ett oberoende granskningsdatum.

Källor och verifiering

Redaktionellt ägarskap: Feex. Inget oberoende granskningsdatum har registrerats. Hur vi efterforskar.

Var denna artikel användbar?

Ett ja eller nej räcker. Välj en anledning om du vill, eller lägg till en kort anteckning.

Var denna artikel användbar?