ADX

Co musisz wiedzieć

Jak to działa

ADCX wykorzystuje flagę przeniesienia, a ADOX flagę przepełnienia jako osobne wejścia i wyjścia przeniesienia. Procedura operująca na dużych liczbach całkowitych może przeplatać dwa łańcuchy, gdy pozwalają na to zależności danych. Konieczne jest kontrolowanie początkowych wartości flag, przydziału rejestrów oraz interakcji z innymi instrukcjami zapisującymi do flag.

Gdzie funkcja jest przydatna

Kernel mnożenia dużych liczb może łączyć iloczyny częściowe z niezależnymi łańcuchami przeniesień, czasami wraz z MULX z BMI2. Jest to wybór implementacyjny wewnątrz biblioteki, a nie tryb ogólnoprocesorowy, który przyspiesza każde dodawanie liczb całkowitych.

Jak sprawdzać obsługę i włączenie

CPUID.07H.00H:EBX bit 19 wskazuje na ADX. Wybór ścieżki wykonania (dispatch) powinien odbywać się niezależnie dla każdej dodatkowej rodziny instrukcji używanej przez procedurę. Należy sprawdzać propagację przeniesienia i przypadki brzegowe, jak również standardowe wyniki liczbowe.

Należy sprawdzać dokładną postać instrukcji i operandów zamiast wnioskować o obsłudze na podstawie sąsiedniego rozszerzenia. Skalarne funkcje całkowitoliczbowe zazwyczaj korzystają z rejestrów ogólnego przeznaczenia; kodowanie powiązane z wektorami nie oznacza automatycznie wymogu obsługi stanu wektorowego.

Czego ta funkcja nie określa

ADX nie gwarantuje stałego czasu wykonania w implementacji kryptograficznej ani nie przyspiesza wszystkich operacji na dużych liczbach całkowitych. Nie implikuje dostępności BMI2, a użycie innej instrukcji, która nadpisuje wymaganą flagę, może zaburzyć działanie algorytmu.

Zgodność i wydajność w praktyce

Poprawność zależy zarówno od przypadków brzegowych, jak i od szybkości działania. Wartość wejściowa równa zero, przepełnienie, flagi przeniesienia, szerokość operandu, wyrównanie oraz kolejkowanie operacji na pamięci mogą zmienić semantykę. Należy preferować interfejsy kompilatora lub biblioteki, które dokumentują te szczegóły i oferują obsługiwany mechanizm awaryjny (fallback).

Praktyczna lista kontrolna weryfikacji

1. Zanotuj dokładny model procesora lub platformy oraz wersje używanej aplikacji, systemu operacyjnego i środowiska wykonawczego. Zachowaj dokładne sformułowanie błędu lub wymagania.
2. Sprawdź dokumentację producenta dla danego modelu, a następnie zweryfikuj faktyczne możliwości i stan włączenia w środowisku, w którym działa program.
3. Porównaj każde wymaganie wybranego pliku binarnego lub backendu. Podobnie nazwana funkcja, alias lub ogólne oznaczenie technologii nie są wystarczające.
4. Upewnij się, że aplikacja wybrała zamierzoną implementację. Użyj jej udokumentowanej diagnostyki oraz obsługiwanego mechanizmu fallback, gdy wymagania nie są spełnione.
5. Wprowadzaj jednorazowo tylko jedną obsługiwaną zmianę i powtarzaj to samo obciążenie testowe. Zachowaj oryginalną konfigurację oraz dostępną ścieżkę przywracania.

Gdy funkcja jest wymieniona, lecz oprogramowanie nie może z niej skorzystać

Zacznij od elementu, w którym bezpośrednio występuje błąd. Baza danych sprzętu opisuje zarejestrowane możliwości; system operacyjny lub hipernadzorca może udostępniać inne środowisko efektywne. Błąd nieprawidłowej instrukcji (illegal instruction) wymaga także zbadania faktycznej instrukcji powodującej błąd oraz kompilacji pliku binarnego, ponieważ uszkodzenie danych lub inna nieobsługiwana instrukcja może wywołać podobny objaw.

Zainstaluj wersję aplikacji, sterownika lub środowiska wykonawczego obsługiwaną na danej platformie i w razie potrzeby użyj udokumentowanej przez producenta kompilacji bazowej lub awaryjnej. Aktualizacja oprogramowania nie może utworzyć instrukcji, której procesor fizycznie nie posiada. Modyfikacje oprogramowania układowego i zasad bezpieczeństwa powinny przebiegać zgodnie z procedurą producenta systemu i planem przywracania, a nie ogólnikowym schematem optymalizacji.

Powiązane funkcje i przydatne rozróżnienia

BMI2 · CMPXCHG16B · AES-NI

Źródła i zakres niniejszego opisu

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

Te źródła definiują zachowanie architektoniczne i wymagania oprogramowania. Nie weryfikują one niezależnie każdej wartości funkcji na powiązanej stronie modelu sprzętu. W celu sprawdzenia obsługi przez model należy skorzystać z materiałów producenta na tej stronie i sprawdzić efektywną konfigurację systemu. Niniejszy artykuł nie zawiera wyników testów wydajnościowych, certyfikacji ani daty niezależnego przeglądu.

Powiązane

Te elementy są powiązane z tym artykułem. Typ jest podany przy każdym łączu.

Źródła i weryfikacja

Własność redakcyjna: Feex. Nie odnotowano daty niezależnego przeglądu. Jak prowadzimy badania.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Tomy 1 i 2 opisują wymienione rodziny instrukcji oraz CPUID; tom 3 opisuje stan, stronicowanie, VMX i mechanizmy ochrony. Dokumentacja architektury nie przesądza o obsłudze w konkretnym modelu.