CMPXCHG16B

Šta trebate znati

Kako radi

Instrukcija upoređuje 128-bitni memorijski operand s očekivanom vrijednošću u RDX:RAX, a zatim uslovno pohranjuje RCX:RBX ili učitava uočenu memorijsku vrijednost u registre očekivane vrijednosti. Memorijski operand mora zadovoljiti svoj zahtjev za 16-bajtovskim poravnanjem. Atomična upotreba dijeljene memorije zahtijeva odgovarajuću LOCK semantiku.

Gdje je korisno

Runtime može koristiti ovu instrukciju za atomično ažuriranje označenog pokazivača (tagged pointer) ili para mašinskih riječi. Kompajlerov atomični API također uzima u obzir redoslijed memorije, poravnanje tipa i rezervno ponašanje; ručno pisani asembler mora zadovoljiti sve te ugovore.

Kako provjeriti podršku i omogućavanje

CPUID.01H:ECX bit 13 označava CMPXCHG16B. Provjerite atomske garancije ABI-ja i runtimea, kao i hardverski bit. Koristite podržani upit za atomičnost programskog jezika kada odlučujete je li operacija bez zaključavanja (lock-free).

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

Šta ova funkcija ne uspostavlja

Instrukcija nije opća 128-bitna aritmetička jedinica, a njeno prisustvo ne znači da je 128-bitni atomični tip svakog jezika bez zaključavanja u svakoj verziji. Pogrešno poravnanje može izazvati grešku čak i na podržanom procesoru.

Kompatibilnost i performanse u praksi

Ispravnost zavisi od graničnih slučajeva kao i od brzine. Nulti ulaz, prekoračenje, zastavice prijenosa, širina operanda, poravnanje i redoslijed memorije mogu promijeniti semantiku. Dajte prednost interfejsima kompajlera ili biblioteka koji dokumentiraju ove detalje i pružaju podržanu rezervnu varijantu.

Praktična lista za provjeru verifikacije

1. Zabilježite tačan model procesora ili platforme te verzije aplikacije, OS-a i runtime okruženja 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 u kojem se program izvršava.
3. Uporedite svaki zahtjev odabrane binarne datoteke ili pozadinskog sistema. Slično imenovana funkcija, pseudonim ili široka tehnološka oznaka nisu dovoljni.
4. Potvrdite da je aplikacija odabrala predviđenu implementaciju. Koristite njenu dokumentiranu dijagnostiku i podržanu rezervnu varijantu kada zahtjevi nisu ispunjeni.
5. Pravite jednu po jednu podržanu promjenu i ponavljajte isto radno opterećenje. Zadržite izvornu konfiguraciju i dostupan put oporavka.

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

Počnite od tačne komponente koja otkazuje. Baza podataka hardvera opisuje zabilježenu sposobnost; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nevažeće instrukcije (illegal-instruction) također zahtijeva istragu stvarne instrukcije koja uzrokuje grešku i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, drajvera ili runtime okruženja podržanu za tačnu platformu i po potrebi koristite proizvođačevu dokumentiranu osnovnu ili rezervnu verziju. Ažuriranje softvera ne može stvoriti instrukciju koja procesoru nedostaje. Promjene firmvera i sigurnosnih pravila trebaju pratiti proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.

Povezane funkcije i korisne razlike

x86-64-v2 · 64-bit (x86-64) · ADX

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 uspostavljaju arhitekturno ponašanje i softverske zahtjeve. One ne verifikuju nezavisno svaku vrijednost funkcije na povezanoj stranici modela hardvera. Za podršku modela koristite dokaze proizvođača s te stranice i provjerite efektivnu konfiguraciju sistema. Ovaj članak ne pruža benchmark, certifikaciju ili datum nezavisnog pregleda.

Povezano

Ovi entiteti su povezani s ovim člankom. Tip je prikazan na svakom linku.

Izvori i provjera

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

• Intel 64 and IA-32 Architectures Software Developer's Manual · Tomovi 1 i 2 opisuju navedene porodice instrukcija i CPUID; Tom 3 opisuje kontrole stanja, straničenja, VMX-a i zaštite. Dokumentacija arhitekture ne utvrđuje podršku za određeni model.
• x86-64 psABI: nivoi arhitekture i mikroarhitekture procesora · Mašinski interfejs, arhitektura procesora: tabela osnovnih i kumulativnih v2/v3/v4 mogućnosti, provjere stanja operativnog sistema i preporuke za implementaciju.