Hoppa till innehåll

CMPXCHG16B

ArkitekturreferensFeex

CMPXCHG16B jämför och villkorligt utbyter ett 16-bytes minnesvärde med hjälp av ett definierat registerpargränssnitt. Korrekt justering och atomicitetskrav är väsentliga för samtidig användning.

Vad du behöver veta

CMPXCHG16B jämför och villkorligt utbyter ett 16-bytes minnesvärde med hjälp av ett definierat registerpargränssnitt. Korrekt justering och atomicitetskrav är väsentliga för samtidig användning.

Hur det fungerar

Instruktionen jämför en 128-bitars minnesoperand med det förväntade värdet i RDX:RAX, och lagrar sedan villkorligt RCX:RBX eller läser in det observerade minnesvärdet i registren för förväntat värde. Minnesoperanden måste uppfylla dess krav på 16-bytes justering. Atomär användning i delat minne kräver lämplig LOCK-semantik.

Där den är användbar

En körtidsmiljö kan använda instruktionen för en atomär uppdatering av en taggad pekare eller ett par maskinord. Kompilatorns atomära API tar också hänsyn till minnesordning, typjustering och fallback-beteende; handskriven assemblerkod måste uppfylla alla dessa kontrakt.

Hur man kontrollerar stöd och aktivering

CPUID.01H:ECX bit 13 indikerar CMPXCHG16B. Kontrollera ABI:ets och körtidsmiljöns atomära garantier samt hårdvarubiten. Använd språkets atomära fråga som stöds när du avgör om en operation är låsfri.

Kontrollera den exakta instruktions- och operandformen snarare än att härleda stöd från en närliggande tilläggsfunktion. Skalära heltalsfunktioner använder i allmänhet generella register; en kodning associerad med vektorer innebär inte automatiskt ett krav på vektorstatus.

Vad funktionen inte fastställer

Instruktionen är inte en generell 128-bitars aritmetisk enhet, och dess närvaro betyder inte att varje språks 128-bitars atomära typ är låsfri i varje bygge. Felaktig justering kan orsaka felavbrott även på en CPU som stöds.

Kompatibilitet och prestanda i praktiken

Korrekt funktion beror på gränsfall såväl som hastighet. Nollinmatning, spill, carry-flaggor, operandbredd, minnesjustering och minnesordning kan förändra semantiken. Föredra kompilator- eller biblioteksgränssnitt som dokumenterar dessa detaljer och tillhandahåller en reservlösning som stöds.

En praktisk checklista för verifiering

  1. Registrera den exakta processor- eller plattformsmodellen samt de applikations-, OS- och runtime-versioner som berörs. Behåll formuleringen av det faktiska felet eller kravet.
  2. Kontrollera tillverkarens referens för den exakta modellen och granska sedan den faktiska kapaciteten och det aktiverade tillståndet i miljön där programmet körs.
  3. Jämför varje krav för den valda binären eller renderingsmotorn. En snarlikt namngiven funktion, ett alias eller en bred teknikbeteckning räcker inte.
  4. Bekräfta att applikationen har valt den avsedda implementeringen. Använd dess dokumenterade diagnostik och en reservlösning som stöds när kraven inte uppfylls.
  5. Gör en ändring som stöds i taget och upprepa samma arbetsbelastning. Håll den ursprungliga konfigurationen och återställningsvägen tillgängliga.

Om funktionen är listad men programvaran inte kan använda den

Börja med den exakta komponenten som fallerar. En hårdvarudatabas beskriver registrerad kapacitet; operativsystemet eller hypervisorn kan exponera en annan faktisk miljö. Ett fel om otillåten instruktion kräver också undersökning av den faktiska felande instruktionen och binärbygget, eftersom korruption eller en orelaterad instruktion utan stöd kan ge ett liknande symptom.

Installera den version av applikationen, drivrutinen eller runtime-miljön som stöds för den exakta plattformen, och använd vid behov tillverkarens dokumenterade baslinje eller reservbygge. En programvaruuppdatering kan inte skapa en instruktion som processorn saknar. Ändringar i firmware och säkerhetspolicy bör följa systemtillverkarens procedur och en återställningsplan snarare än ett generiskt optimeringsrecept.

Källor och omfattning för denna förklaring

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

Dessa referenser fastställer arkitektoniskt beteende och programvarukrav. De verifierar inte oberoende varje funktionsvärde på en länkad hårdvarumodellsida. För modellstöd, använd den sidans tillverkarbelägg och kontrollera den effektiva systemkonfigurationen. Denna artikel tillhandahåller inte ett prestandatest, en certifiering eller ett oberoende granskningsdatum.

Källor och verifiering

Redaktionellt ägarskap: Feex. Inget oberoende granskningsdatum har registrerats. Hur vi efterforskar.

Var denna artikel användbar?

Ett ja eller nej räcker. Välj en anledning om du vill, eller lägg till en kort anteckning.

Var denna artikel användbar?