Pređi na sadržaj

BMI1

Referenca arhitektureFeex

BMI1 je x86 proširenje za skalarnu manipulaciju bitovima, uključujući ekstrakciju bita, izolaciju bita i brojanje pratećih nula. Ono funkcioniše na cjelobrojnim registrima opšte namjene, a ne na vektorskim trakama.

Šta treba da znate

BMI1 je x86 proširenje za skalarnu manipulaciju bitovima, uključujući ekstrakciju bita, izolaciju bita i brojanje pratećih nula. Ono funkcioniše na cjelobrojnim registrima opšte namjene, a ne na vektorskim trakama.

Kako funkcioniše

Proširenje uključuje ANDN, BEXTR, BLSI, BLSMSK, BLSR i TZCNT. Ove operacije kombinuju korake maskiranja, selekcije ili brojanja koji inače zahtijevaju duže sekvence. Efekti na flegove specifični za instrukciju i granični slučajevi dio su ugovora, posebno kada je ulaz nula.

Đe je korisno

Iterator bitseta može očistiti svoj najmanje značajan postavljeni bit pomoću BLSR, dok dekoder može izdvojiti polje pomoću BEXTR. Da li to pomaže zavisi od zavisnosti i ciljne implementacije. BEXTR nije proizvoljno prikupljanje nesusjednih bita.

Kako provjeriti podršku i omogućenost

Provjerite CPUID.07H.00H:EBX bit 3 za BMI1. Koristite prosljeđivanje na osnovu mogućnosti umjesto testiranja da li izgleda da se TZCNT izvršava. Rezultat za nulti ulaz i ponašanje flegova moraju odgovarati predviđenoj semantici instrukcije.

Provjerite tačnu instrukciju i oblik operanda umjesto da izvodite zaključak o podršci iz susjednog proširenja. Skalarne cjelobrojne funkcije uglavnom koriste registre opšte namjene; kodiranje povezano sa vektorima ne znači automatski zahtjev za vektorskim stanjem.

Šta ova funkcija ne utvrđuje

BMI1 ne implicira BMI2, POPCNT, LZCNT niti AVX podršku na nivou operativnog sistema. TZCNT dijeli vezu u kodiranju sa starijom instrukcijom, pa nepodržano izvršavanje može proizvesti drugačiju semantiku umjesto čistog prekida.

Kompatibilnost i performanse u praksi

Ispravnost zavisi od graničnih slučajeva kao i od brzine. Nulti unos, prekoračenje, zastavice prenosa, širina operanda, poravnanje i redoslijed memorije mogu promijeniti semantiku. Dajte prednost interfejsima prevodioca ili biblioteke koji dokumentuju ove detalje i obezbjeđuju podržanu rezervnu varijantu.

Praktična lista za provjeru verifikacije

  1. Zabilježite tačan model procesora ili platforme, kao i verzije aplikacije, OS-a i runtime-a koji se koriste. Sačuvajte formulaciju stvarne greške ili zahtjeva.
  2. Provjerite referencu proizvođača za taj tačan model, a zatim pregledajte efektivnu sposobnost i omogućeno stanje u okruženju đe se program izvršava.
  3. Uporedite svaki zahtjev odabranog binarnog koda ili backend-a. Funkcija sličnog naziva, alias ili široka tehnološka oznaka nijesu dovoljni.
  4. Potvrdite da je aplikacija odabrala predviđenu implementaciju. Koristite njenu dokumentovanu dijagnostiku i podržanu rezervnu varijantu kada zahtjevi nijesu ispunjeni.
  5. Napravite po jednu podržanu promjenu u isto vrijeme i ponovite isto radno opterećenje. Držite originalnu konfiguraciju i putanju oporavka dostupnima.

Ako je funkcija navedena, ali je softver ne može koristiti

Počnite sa tačnom komponentom koja otkazuje. Baza podataka hardvera opisuje zabilježenu sposobnost; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nelegalne instrukcije takođe zahtijeva istragu stvarne instrukcije koja je izazvala kvar i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, drajvera ili runtime-a podržanu za tačnu platformu i koristite dokumentovanu osnovnu ili rezervnu verziju proizvođača ako je potrebno. Ažuriranje softvera ne može stvoriti instrukciju koja procesoru nedostaje. Promjene firmvera i bezbjednosnih politika treba da prate proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.

Izvori i obim 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 arhitekturno ponašanje i softverske zahtjeve. One ne verifikuju nezavisno svaku vrijednost funkcije na povezanoj stranici hardverskog modela. Za podršku modela, koristite dokaze proizvođača sa te stranice i provjerite efektivnu konfiguraciju sistema. Ovaj članak ne pruža benčmark, sertifikaciju niti datum nezavisnog pregleda.

Izvori i verifikacija

Uredničko vlasništvo: Feex. Nije zabilježen datum nezavisne recenzije. Kako istražujemo.

Da li je ovaj članak bio koristan?

Dovoljno je da označite sa da ili ne. Izaberite razlog ako želite, ili dodajte kratku napomenu.

Da li je ovaj članak bio koristan?