Przejdź do treści

AVX

Dokumentacja architekturyFeex

AVX (Advanced Vector Extensions) dodaje wektorowy model programowania z rejestrami YMM i instrukcjami kodowanymi w standardzie VEX, w tym 256-bitowe operacje zmiennoprzecinkowe. Wymagana jest zarówno obsługa przez procesor, jak i zarządzanie stanem przez system operacyjny.

Co musisz wiedzieć

AVX (Advanced Vector Extensions) dodaje wektorowy model programowania z rejestrami YMM i instrukcjami kodowanymi w standardzie VEX, w tym 256-bitowe operacje zmiennoprzecinkowe. Wymagana jest zarówno obsługa przez procesor, jak i zarządzanie stanem przez system operacyjny.

Jak to działa

AVX rozszerza rejestry wektorowe do 256 bitów, przy czym dolne 128 bitów każdego rejestru YMM pokrywa się z jego rejestrem XMM. Wiele instrukcji korzysta z postaci trójoperandowej, co pozwala na to, by rejestr docelowy różnił się od wejściowych. 256-bitowy wektor może pomieścić 8 wartości zmiennoprzecinkowych pojedynczej precyzji lub 4 wartości podwójnej precyzji, jednak instrukcje różnią się typami operandów i zachowaniem.

Gdzie funkcja jest przydatna

Pętla obliczeniowa może dodać kilka niezależnych wartości zmiennoprzecinkowych za pomocą jednej instrukcji wektorowej. Kompilator lub biblioteka musi wygenerować taki kod oraz prawidłowo rozplanować odczyty z pamięci, wyrównanie, przetwarzanie końcówek pętli i zależności. AVX nie zrównolegla automatycznie dowolnego programu pomiędzy rdzeniami, a operacje całkowitoliczbowe na 256 bitach wymagają sprawdzenia odpowiedniego rozszerzenia zamiast zakładania dostępności AVX2.

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

Należy sprawdzić CPUID.01H:ECX pod kątem bitu AVX 28, bitu XSAVE 26 oraz bitu OSXSAVE 27. Dopiero po potwierdzeniu OSXSAVE oprogramowanie może użyć instrukcji XGETBV z ECX=0 i zweryfikować, czy bity 1 i 2 w XCR0 włączają stan XMM oraz YMM. Należy korzystać z utrzymywanego mechanizmu dispatch w środowisku wykonawczym zamiast wykonywania instrukcji AVX w ramach eksperymentu wykrywającego.

Program musi zarówno zawierać odpowiednią implementację, jak i dokonać jej wyboru w czasie działania. Enumeracja sprzętowa, stan rejestrów włączony przez system operacyjny oraz skompilowany poziom bazowy pliku binarnego to osobne kwestie do zweryfikowania. Maszyna wirtualna może celowo udostępniać mniej funkcji niż jej host, a kontener nie dodaje instrukcji do procesora hosta.

Czego ta funkcja nie określa

Sama obsługa AVX nie oznacza dostępności AVX2, FMA, F16C, AVX-VNNI ani AVX-512. Szerokość wektora nie określa liczby cykli potrzebnych na wykonanie instrukcji. Maszyna wirtualna może udostępniać mniejszy zestaw instrukcji niż fizyczny host.

Zgodność i wydajność w praktyce

Należy mierzyć całe obciążenie robocze przy użyciu reprezentatywnych danych. Szersze wektory mogą zmniejszyć liczbę instrukcji, pozostawiając ruch w pamięci, synchronizację lub koszty konwersji na niezmienionym poziomie. Opóźnienie instrukcji, przepustowość i profil poboru energii zależą od dokładnej mikroarchitektury oraz warunków pracy.

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.

Źródła i zakres niniejszego opisu

Intel 64 and IA-32 Architectures Software Developer's Manual · Jądro Linux: korzystanie z funkcji XSTATE w przestrzeni użytkownika

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.

Źródła i weryfikacja

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

Czy ten artykuł był pomocny?

Wystarczy odpowiedź tak lub nie. Wybierz powód, jeśli chcesz, lub dodaj krótką notatkę.

Czy ten artykuł był pomocny?