Hoppa till innehåll

ADX

ArkitekturreferensFeex

ADX lägger till x86-heltalsadditionsinstruktioner som möjliggör oberoende carry-kedjor. Det är användbart för noggrant skriven multiprecisionsaritmetik och är oberoende av BMI2.

Vad du behöver veta

ADX lägger till x86-heltalsadditionsinstruktioner som möjliggör oberoende carry-kedjor. Det är användbart för noggrant skriven multiprecisionsaritmetik och är oberoende av BMI2.

Hur det fungerar

ADCX använder carry-flaggan och ADOX använder spillflaggan som separata carry-ingångar och carry-utgångar. En rutin för stora heltal kan varva två kedjor när databeroendena tillåter det. Initiala flaggvärden, registerallokering och interaktionen med andra flaggskrivande instruktioner måste kontrolleras.

Där den är användbar

En multiplikationskärna för stora tal kan kombinera partiella produkter med oberoende carry-kedjor, ibland tillsammans med BMI2 MULX. Det är ett implementeringsval i ett bibliotek, inte ett processorövergripande läge som gör varje heltalsaddition snabbare.

Hur man kontrollerar stöd och aktivering

CPUID.07H.00H:EBX bit 19 indikerar ADX. Utför dispatch oberoende för eventuella ytterligare instruktionsfamiljer som rutinen använder. Validera carry-propagering och gränsfall såväl som vanliga numeriska resultat.

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

ADX garanterar inte en kryptografisk implementering med konstant tid eller acceleration av alla operationer med stora heltal. Det antyder inte BMI2, och att använda en annan instruktion som skriver över en nödvändig flagga kan förstöra algoritmen.

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

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?