Skoči na sadržaj

BMI1

Arhitekturna referencaFeex

BMI1 je x86 proširenje za skalarnu manipulaciju bitovima, uključujući izdvajanje bitova, izolaciju bitova i brojanje pratećih nula. Radi na cjelobrojnim registrima opće namjene, a ne na vektorskim stazama.

Što trebate znati

BMI1 je x86 proširenje za skalarnu manipulaciju bitovima, uključujući izdvajanje bitova, izolaciju bitova i brojanje pratećih nula. Radi na cjelobrojnim registrima opće namjene, a ne na vektorskim stazama.

Kako funkcionira

Proširenje uključuje ANDN, BEXTR, BLSI, BLSMSK, BLSR i TZCNT. Ove operacije kombiniraju korake maskiranja, odabira ili brojanja koji inače zahtijevaju dulje sekvence. Učinci na zastavice specifični za instrukcije i rubni slučajevi dio su ugovora, osobito kada je unos nula.

Gdje je korisno

Iterator bitseta može očistiti svoj najmanje značajni postavljeni bit pomoću BLSR, dok dekoder može izdvojiti polje pomoću BEXTR. Pomaže li to, ovisi o ovisnostima i ciljnoj implementaciji. BEXTR nije proizvoljno prikupljanje nesusjednih bitova.

Kako provjeriti podršku i omogućavanje

Provjerite CPUID.07H.00H:EBX bit 3 za BMI1. Koristite otpremanje značajki (feature dispatch) umjesto testiranja čini li se da se TZCNT izvršava. Rezultat za unos nula i ponašanje zastavica moraju odgovarati predviđenoj semantici instrukcije.

Provjerite točan oblik instrukcije i operanda umjesto da zaključujete o podršci iz susjednog proširenja. Skalarne cjelobrojne značajke uglavnom koriste registre opće namjene; kodiranje povezano s vektorima ne znači automatski zahtjev za vektorskim stanjem.

Što ova značajka ne utvrđuje

BMI1 ne podrazumijeva BMI2, POPCNT, LZCNT ili podršku za AVX stanje u OS-u. TZCNT dijeli vezu u kodiranju sa starijom instrukcijom, pa nepodržano izvršavanje može proizvesti drugačiju semantiku umjesto čistog prekida (fault).

Kompatibilnost i performanse u praksi

Ispravnost ovisi o graničnim slučajevima, kao i o brzini. Nulti unos, preljev, zastavice prijenosa, širina operanda, poravnanje i redoslijed memorije mogu promijeniti semantiku. Dajte prednost sučeljima prevoditelja ili biblioteka koja dokumentiraju te pojedinosti i pružaju podržanu zamjensku opciju.

Praktičan kontrolni popis za provjeru

  1. Zabilježite točan model procesora ili platforme te verzije aplikacije, OS-a i izvršnog okruženja. Sačuvajte formulaciju stvarne pogreške ili zahtjeva.
  2. Provjerite proizvođačevu referencu za taj točan model, a zatim pregledajte stvarnu sposobnost i omogućeno stanje u okruženju u kojem se program izvodi.
  3. Usporedite svaki zahtjev odabrane binarne datoteke ili pozadinskog sustava. Slično nazvana značajka, pseudonim ili široka tehnološka oznaka nisu dovoljni.
  4. Potvrdite da je aplikacija odabrala predviđenu implementaciju. Koristite njezinu dokumentiranu dijagnostiku i podržanu zamjensku opciju kada zahtjevi nisu ispunjeni.
  5. Napravite jednu po jednu podržanu promjenu i ponovite isto radno opterećenje. Zadržite izvornu konfiguraciju i put oporavka dostupnima.

Ako je značajka navedena, ali je softver ne može koristiti

Počnite s točnom komponentom koja zakazuje. Hardverska baza podataka opisuje zabilježenu sposobnost; operacijski sustav ili hipervizor mogu izložiti drukčije stvarno okruženje. Pogreška nedopuštene instrukcije također zahtijeva istragu stvarne instrukcije koja uzrokuje pogrešku i binarne građe, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, upravljačkog programa ili izvršnog okruženja podržanu za točnu platformu i upotrijebite proizvođačevu dokumentiranu osnovnu ili zamjensku građu ako je potrebno. Softversko ažuriranje ne može stvoriti instrukciju koja procesoru nedostaje. Promjene u firmwareu i sigurnosnim pravilima trebaju slijediti postupak proizvođača sustava i plan oporavka, a ne generički recept za optimizaciju.

Izvori i opseg ovog objašnjenja

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

Ove reference utvrđuju arhitekturno ponašanje i softverske zahtjeve. One ne verificiraju neovisno svaku vrijednost značajke na povezanoj stranici hardverskog modela. Za podršku modela upotrijebite proizvođačeve dokaze s te stranice i provjerite stvarnu konfiguraciju sustava. Ovaj članak ne pruža mjerilo performansi, certifikaciju ili datum neovisnog pregleda.

Izvori i provjera

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

Je li ovaj članak bio koristan?

Dovoljno je odgovoriti s da ili ne. Odaberite razlog ako želite ili dodajte kratku bilješku.

Je li ovaj članak bio koristan?