Hopp til innhold

BMI2

ArkitekturreferanseFeex

BMI2 legger til skalare x86-bit- og heltallsoperasjoner som parallell bitavsetting/ekstraksjon, variable skift og flagguavhengig multiplikasjon. Den er adskilt fra BMI1.

Dette må du vite

BMI2 legger til skalare x86-bit- og heltallsoperasjoner som parallell bitavsetting/ekstraksjon, variable skift og flagguavhengig multiplikasjon. Den er adskilt fra BMI1.

Slik fungerer det

PEXT samler utvalgte inndatabiter til et tett lavordensresultat; PDEP sprer lavordensinndatabiter til posisjoner valgt av en maske. Andre BMI2-instruksjoner inkluderer BZHI, MULX, RORX, SHLX, SHRX og SARX. Disse opererer på skalare heltallsregistre til tross for at de bruker VEX-koding.

Hvor det er nyttig

En kompakt brettrepresentasjon eller bitfeltkodek kan bruke PEXT/PDEP til å avbilde mellom tette og glisne bitoppsett. Utførelseskostnaden deres varierer betydelig mellom implementasjoner, så en algoritme bør ytelsesteste representative inndata snarere enn å anta at en kort instruksjonssekvens er rask.

Slik kontrolleres støtte og aktivering

CPUID.07H.00H:EBX bit 8 nummererer BMI2. Kontroller den målspesifikke ytelsen til instruksjonene som faktisk brukes, og hold dispatch utenfor kode som er kompilert til å kreve funksjoner som ikke støttes.

Kontroller den nøyaktige instruksjons- og operandformen i stedet for å utlede støtte fra en tilgrensende utvidelse. Skalære heltallsfunksjoner bruker generelt universalregistre; en koding knyttet til vektorer betyr ikke automatisk et krav om vektorstatus.

Hva funksjonen ikke etablerer

BMI2 er ikke en AVX-vektorutvidelse og krever ikke YMM-tilstand bare fordi kodingen er VEX. Den etablerer ikke ADX eller BMI1. MULX og konvensjonell multiplikasjon skiller seg i register- og flaggatferd.

Kompatibilitet og ytelse i praksis

Korrekthet avhenger av grensetilfeller så vel som hastighet. Null-inndata, overflyt, menteflagg, operandbredde, justering og minnerekkefølge kan endre semantikken. Foretrekk kompilator- eller bibliotekgrensesnitt som dokumenterer disse detaljene og tilbyr en støttet reservemetode.

En praktisk sjekkliste for verifisering

  1. Registrer den nøyaktige prosessor- eller plattformmodellen og de involverte applikasjons-, OS- og kjøretidsversjonene. Bevar ordlyden i den faktiske feilen eller kravet.
  2. Sjekk produsentreferansen for akkurat den modellen, og undersøk deretter den faktiske kapasiteten og aktiverte tilstanden i miljøet der programmet kjører.
  3. Sammenlign ethvert krav til den valgte binærfilen eller baksiden. En lignende navngitt funksjon, et alias eller en bred teknologietikett er ikke tilstrekkelig.
  4. Bekreft at applikasjonen valgte den tiltenkte implementeringen. Bruk dens dokumenterte diagnostikk og en støttet reservemetode når kravene ikke er oppfylt.
  5. Gjør én støttet endring om gangen og gjenta den samme arbeidsbelastningen. Hold den opprinnelige konfigurasjonen og gjenopprettingsstien tilgjengelig.

Hvis funksjonen er oppført, men programvare ikke kan bruke den

Start med den nøyaktige komponenten som feiler. En maskinwaredatabase beskriver registrert kapasitet; operativsystemet eller hypervisoren kan eksponere et annet reelt miljø. En feil om ulovlig instruksjon krever også undersøkelse av den faktiske feilende instruksjonen og binærbyggingen, fordi korrupsjon eller en urelatert, ustøttet instruksjon kan gi et lignende symptom.

Installer applikasjonen, driveren eller kjøretidsversjonen som støttes for den nøyaktige plattformen, og bruk om nødvendig leverandørens dokumenterte grunnlinje- eller reservebygg. En programvareoppdatering kan ikke opprette en instruksjon som prosessoren mangler fastvare. Endringer i fastvare og sikkerhetspolicy bør følge systemprodusentens prosedyre og en gjenopprettingsplan i stedet for en generisk optimaliseringsoppskrift.

Kilder og omfang for denne forklaringen

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

Disse referansene etablerer arkitektonisk oppførsel og programvarekrav. De verifiserer ikke uavhengig hver funksjonsverdi på en koblet maskinvaremodells side. For modellstøtte, bruk den sidens produsentdokumentasjon og kontroller den reelle systemkonfigurasjonen. Denne artikkelen oppgir ikke en referansemåling, sertifisering eller dato for uavhengig gjennomgang.

Kilder og verifisering

Redaksjonelt eierskap: Feex. Ingen uavhengig vurderingsdato er registrert. Hvordan vi gjør undersøkelser.

Var denne artikkelen nyttig?

Et ja eller nei holder. Velg en grunn hvis du vil, eller legg til en kort kommentar.

Var denne artikkelen nyttig?