ADX

Какво трябва да знаете

Как работи

ADCX използва флага за пренос (carry flag), а ADOX използва флага за препълване (overflow flag) като отделни входове и изходи за пренос. Подпрограма за големи числа може да преплита две вериги, когато зависимостите от данни го позволяват. Първоначалните стойности на флаговете, заделянето на регистри и взаимодействието с други инструкции, записващи във флаговете, трябва да бъдат контролирани.

Къде е полезно

Ядро за умножение на големи числа може да комбинира частични произведения с независими вериги на пренос, понякога заедно с MULX от BMI2. Това е избор на реализация в рамките на библиотека, а не режим за целия процесор, който прави всяко целочислено събиране по-бързо.

Как се проверява поддръжката и активирането

CPUID.07H.00H:EBX бит 19 указва ADX. Извършвайте отделно пренасочване (dispatch) за всяко допълнително семейство инструкции, използвано от подпрограмата. Проверявайте валидността на разпространението на преноса и граничните случаи, както и обикновените числови резултати.

Проверявайте точната инструкция и формата на операнда, вместо да правите изводи за поддръжка от съседно разширение. Скаларните целочислени функции обикновено използват регистри с общо предназначение; кодиране, свързано с вектори, не означава автоматично изискване за векторно състояние.

Какво не гарантира тази функция

ADX не гарантира криптографска реализация с константно време за изпълнение, нито ускорява всички операции с големи цели числа. То не предполага наличието на BMI2, а използването на друга инструкция, която презаписва необходим флаг, може да наруши алгоритъма.

Съвместимост и производителност на практика

Коректността зависи както от граничните случаи, така и от скоростта. Нулев вход, препълване, флагове за пренос, ширина на операнда, подравняване и подреждане на паметта могат да променят семантиката. Предпочитайте компилаторни или библиотечни интерфейси, които документират тези подробности и предоставят поддържан резервен вариант (fallback).

Практически контролен списък за проверка

1. Запишете точния модел на процесора или платформата, както и използваните версии на приложението, операционната система и средата за изпълнение. Запазете точния текст на действителната грешка или изискване.
2. Проверете документацията от производителя за този точен модел, след което инспектирайте действителните възможности и активираното състояние в средата, където работи програмата.
3. Сравнете всяко изискване на избрания двоичен файл или бекенд. Подобно наименувана функция, псевдоним или общ технологичен етикет не са достатъчни.
4. Потвърдете, че приложението е избрало планираната реализация. Използвайте неговата документирана диагностика и поддържан резервен вариант, когато изискванията не са изпълнени.
5. Правете по една поддържана промяна наведнъж и повтаряйте същото работно натоварване. Запазете достъпни оригиналната конфигурация и плана за възстановяване.

Ако функцията е посочена, но софтуерът не може да я използва

Започнете с точния компонент, който дава грешка. Хардуерната база данни описва записаните възможности; операционната система или хипервайзорът могат да предоставят различна ефективна среда. Грешка за невалидна инструкция (illegal-instruction) също изисква разследване на действителната сриваща се инструкция и компилацията на двоичния файл, тъй като повреда или несвързана неподдържана инструкция може да предизвика подобен симптом.

Инсталирайте версията на приложението, драйвера или средата за изпълнение, която се поддържа за точната платформа, и използвайте документираната от производителя базова или резервна компилация, ако е необходимо. Софтуерна актуализация не може да създаде инструкция, която липсва в процесора. Промените във фърмуера и политиките за сигурност трябва да следват процедурата на производителя на системата и план за възстановяване, а не общи съвети за оптимизация.

Свързани функции и полезни разграничения

BMI2 · CMPXCHG16B · AES-NI

Източници и обхват на това обяснение

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

Тези източници установяват архитектурното поведение и софтуерните изисквания. Те не проверяват независимо всяка стойност на параметър на свързана страница за хардуерен модел. За поддръжка на даден модел използвайте данните от производителя на съответната страница и проверете ефективната системна конфигурация. Тази статия не предоставя бенчмарк, сертификация или дата на независим преглед.

Свързани

Тези обекти са свързани с тази статия. Типът се показва на всяка връзка.

Източници и проверка

Редакционна собственост: Feex. Не е записана дата на независим преглед. Как проучваме.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Томове 1 и 2 описват посочените семейства инструкции и CPUID; Том 3 описва състоянието, страницирането, VMX и контролите за защита. Документацията за архитектурата не гарантира поддръжка за конкретен модел.