Pređi na sadržaj

BMI2

Referenca arhitektureFeex

BMI2 dodaje skalarne x86 operacije nad bitovima i celim brojevima, kao što su paralelno ulaganje/izdvajanje bitova, promenljiva pomeranja i množenje nezavisno od zastavica. Odvojeno je od BMI1.

Šta treba da znate

BMI2 dodaje skalarne x86 operacije nad bitovima i celim brojevima, kao što su paralelno ulaganje/izdvajanje bitova, promenljiva pomeranja i množenje nezavisno od zastavica. Odvojeno je od BMI1.

Kako funkcioniše

PEXT prikuplja izabrane ulazne bitove u gusti rezultat nižeg reda; PDEP raspršuje ulazne bitove nižeg reda na pozicije izabrane maskom. Druge BMI2 instrukcije uključuju BZHI, MULX, RORX, SHLX, SHRX i SARX. One operišu na skalarnim celobrojnim registrima uprkos korišćenju VEX kodiranja.

Gde je korisno

Kompaktna reprezentacija table ili kodek za bitovska polja može koristiti PEXT/PDEP za preslikavanje između gustih i retkih rasporeda bitova. Njihova cena izvršavanja znatno varira među implementacijama, tako da algoritam treba da procenjuje performanse na reprezentativnim ulazima umesto da pretpostavlja da je kratka sekvenca instrukcija brza.

Kako proveriti podršku i omogućavanje

CPUID.07H.00H:EBX bit 8 navodi BMI2. Proverite performanse stvarno korišćenih instrukcija specifične za ciljnu platformu i držite mehanizam odabira van koda koji je kompajliran tako da zahteva nepodržane funkcije.

Proverite tačan oblik instrukcije i operanda umesto da zaključujete o podršci na osnovu susednog proširenja. Skalarne celobrojne funkcije uglavnom koriste registre opšte namene; kodiranje povezano sa vektorima ne podrazumeva automatski zahtev za stanjem vektora.

Šta ova funkcija ne utvrđuje

BMI2 nije AVX vektorsko proširenje i ne zahteva YMM stanje samo zato što je kodiranje VEX. Ne podrazumeva ADX niti BMI1. MULX i konvencionalno množenje se razlikuju po ponašanju registara i zastavica.

Kompatibilnost i performanse u praksi

Ispravnost zavisi od graničnih slučajeva kao i od brzine. Nulti ulaz, prekoračenje, flegovi prenosa, širina operanda, poravnanje i redosled pristupa memoriji mogu promeniti semantiku. Dajte prednost interfejsima prevodioca ili biblioteka koji dokumentuju ove detalje i pružaju podržanu rezervnu varijantu.

Praktična kontrolna lista za verifikaciju

  1. Zabeležite tačan model procesora ili platforme, kao i verzije aplikacije, operativnog sistema i izvršnog okruženja koji se koriste. Sačuvajte formulaciju stvarne greške ili zahteva.
  2. Proverite referencu proizvođača za taj tačan model, a zatim pregledajte efektivnu sposobnost i omogućeno stanje u okruženju u kojem se program izvršava.
  3. Uporedite svaki zahtev izabrane binarne datoteke ili pozadinskog podsistema. Slično nazvana funkcija, alias ili široka oznaka tehnologije nisu dovoljni.
  4. Potvrdite da je aplikacija izabrala predviđenu implementaciju. Koristite njenu dokumentovanu dijagnostiku i podržanu rezervnu varijantu kada zahtevi nisu ispunjeni.
  5. Primenite jednu po jednu podržanu promenu i ponovite isto radno opterećenje. Zadržite originalnu konfiguraciju i putanju za oporavak na raspolaganju.

Ako je funkcija navedena, ali softver ne može da je koristi

Počnite od tačne komponente koja otkazuje. Baza podataka hardvera opisuje zabeležene mogućnosti; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nelegalne instrukcije takođe zahteva ispitivanje stvarne instrukcije koja izaziva grešku i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, drajvera ili izvršnog okruženja podržanu za tačnu platformu i po potrebi koristite dokumentovanu osnovnu ili rezervnu verziju proizvođača. Softversko ažuriranje ne može stvoriti instrukciju koja procesoru nedostaje. Promene firmvera i bezbednosnih smernica treba da prate proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.

Izvori i obuhvat ovog objašnjenja

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: nivoi arhitekture i mikroarhitekture procesora

Ove reference utvrđuju arhitektonsko ponašanje i softverske zahteve. One ne verifikuju nezavisno svaku vrednost funkcije na povezanoj stranici modela hardvera. Za podršku modela koristite dokaze proizvođača sa te stranice i proverite efektivnu konfiguraciju sistema. Ovaj članak ne pruža referentni rezultat, sertifikaciju niti datum nezavisnog pregleda.

Izvori i verifikacija

Urednička pripadnost: Feex. Nije zabeležen datum nezavisne recenzije. Kako istražujemo.

Da li je ovaj članak bio koristan?

Dovoljno je da odgovorite sa da ili ne. Izaberite razlog ako želite ili dodajte kratku belešku.

Da li je ovaj članak bio koristan?