Přejít k obsahu

ADX

Referenční příručka k architektuřeFeex

ADX přidává celočíselné sčítací instrukce pro architekturu x86, které umožňují nezávislé řetězce přenosů. To je užitečné pro pečlivě napsanou víceprvkovou aritmetiku a funguje nezávisle na BMI2.

Co potřebujete vědět

ADX přidává celočíselné sčítací instrukce pro architekturu x86, které umožňují nezávislé řetězce přenosů. To je užitečné pro pečlivě napsanou víceprvkovou aritmetiku a funguje nezávisle na BMI2.

Jak to funguje

Instrukce ADCX používá příznak přenosu (carry flag) a instrukce ADOX používá příznak přetečení (overflow flag) jako oddělené vstupy a výstupy přenosu. Rutina pro práci s velkými celými čísly může tyto dva řetězce prokládat, pokud to datové závislosti dovolují. Je nutné řídit počáteční hodnoty příznaků, alokaci registrů a interakci s jinými instrukcemi, které zapisují do příznaků.

Kde je funkce užitečná

Jádro pro násobení velkých čísel může kombinovat dílčí součiny s nezávislými řetězci přenosů, někdy společně s instrukcí MULX z BMI2. Jedná se o implementační volbu uvnitř knihovny, nikoli o celoprocesorový režim, který by zrychlil každé sčítání celých čísel.

Jak ověřit podporu a aktivaci

CPUID.07H.00H:EBX bit 19 indikuje ADX. Odesílání instrukcí (dispatch) provádějte nezávisle pro každou další rodinu instrukcí, kterou rutina používá. Kromě běžných číselných výsledků ověřujte také šíření přenosu a mezní stavy.

Zkontrolujte přesnou instrukci a tvar operandu, místo abyste podporu odvozovali ze sousedního rozšíření. Skalární celočíselné funkce obecně využívají univerzální registry; kódování spojené s vektory automaticky neznamená požadavek na stav vektorového procesoru.

Co tato funkce nezajišťuje

ADX nezaručuje kryptografickou implementaci s konstantním časem běhu ani neurychluje všechny operace s velkými celými čísly. Neimplikuje BMI2 a použití jiné instrukce, která přepíše požadovaný příznak, může algoritmus narušit.

Kompatibilita a výkon v praxi

Správnost závisí nejen na rychlosti, ale také na hraničních případech. Nulový vstup, přetečení, příznaky přenosu, šířka operandu, zarovnání a uspořádání přístupů do paměti mohou změnit sémantiku. Upřednostňujte rozhraní kompilátoru nebo knihoven, která tyto podrobnosti dokumentují a nabízejí podporované náhradní řešení.

Praktický kontrolní seznam pro ověření

  1. Zaznamenejte přesný model procesoru nebo platformy a použité verze aplikace, operačního systému a běhového prostředí. Uchovejte přesné znění chybové zprávy nebo požadavku.
  2. Zkontrolujte dokumentaci výrobce pro daný konkrétní model a poté prověřte skutečně dostupnou kapacitu a stav aktivace v prostředí, kde program běží.
  3. Porovnejte veškeré požadavky vybraného binárního souboru nebo backendu. Podobně pojmenovaná funkce, alias nebo obecné technologické označení nestačí.
  4. Ověřte, že aplikace vybrala zamýšlenou implementaci. Pokud nejsou požadavky splněny, použijte její zdokumentovanou diagnostiku a podporované náhradní řešení.
  5. Provádějte vždy jen jednu podporovanou změnu a zopakujte identickou zátěž. Původní konfiguraci a postup obnovy mějte neustále k dispozici.

Pokud je funkce uvedena, ale software ji nemůže použít

Začněte u přesné komponenty, u níž dochází k selhání. Databáze hardwaru popisuje zaznamenané schopnosti; operační systém nebo hypervizor však může vystavit odlišné efektivní prostředí. Chyba neplatné instrukce vyžaduje také prozkoumání skutečné chybující instrukce a sestavení binárního souboru, protože poškození dat nebo nesouvisející nepodporovaná instrukce mohou vyvolat podobný projev.

Nainstalujte verzi aplikace, ovladače nebo běhového prostředí podporovanou pro danou platformu a v případě potřeby použijte výrobcem zdokumentované základní nebo náhradní sestavení. Aktualizace softwaru nemůže vytvořit instrukci, kterou procesor fyzicky postrádá. Změny firmwaru a zásad zabezpečení by se měly řídit postupem výrobce systému a plánem obnovy, nikoli obecným návodem na optimalizaci.

Zdroje a rozsah tohoto vysvětlení

Intel 64 and IA-32 Architectures Software Developer's Manual

Tyto referenční dokumenty stanovují architektonické chování a softwarové požadavky. Neověřují nezávisle každou hodnotu funkce na odkazované stránce hardwarového modelu. Informace o podpoře konkrétního modelu čerpejte z podkladů výrobce na příslušné stránce a zkontrolujte platnou konfiguraci systému. Tento článek neposkytuje benchmark, certifikaci ani datum nezávislého přezkumu.

Zdroje a ověření

Redakční vlastnictví: Feex. Není zaznamenáno žádné datum nezávislého přezkoumání. Jak provádíme výzkum.

Byl tento článek užitečný?

Stačí ano nebo ne. Pokud chcete, vyberte důvod nebo přidejte krátkou poznámku.

Byl tento článek užitečný?