Прескачане към съдържанието

BMI2

Архитектурна справкаFeex

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

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

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

Как работи

PEXT събира избрани входни битове в плътен резултат от по-нисък порядък; PDEP разпределя входните битове от по-нисък порядък към позиции, избрани чрез маска. Други BMI2 инструкции включват BZHI, MULX, RORX, SHLX, SHRX и SARX. Те работят върху скаларни целочислени регистри, въпреки че използват VEX кодиране.

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

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

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

Бит 8 на CPUID.07H.00H:EBX изброява BMI2. Проверете специфичната за целевата среда производителност на реално използваните инструкции и дръжте диспечеризирането извън код, компилиран да изисква неподдържани функции.

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

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

BMI2 не е векторно AVX разширение и не изисква YMM състояние само защото кодирането е VEX. То не гарантира наличието на ADX или BMI1. MULX и конвенционалното умножение се различават по поведението на регистрите и флаговете.

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

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

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

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

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

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

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

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

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: нива на процесорна архитектура и микроархитектура

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

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

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

Беше ли полезна тази статия?

Достатъчно е "да" или "не". Изберете причина, ако желаете, или добавете кратка бележка.

Беше ли полезна тази статия?