Przejdź do treści

FMA i FMA3

Dokumentacja architekturyFeex

Nazywane także FMA, FMA3

FMA oblicza mnożenie i dodawanie zmiennoprzecinkowe z jednym końcowym zaokrągleniem. FMA3 odnosi się do rodziny trójargumentowych instrukcji fused multiply-add w x86; jest ona wyliczana niezależnie od AVX2.

Co musisz wiedzieć

FMA oblicza mnożenie i dodawanie zmiennoprzecinkowe z jednym końcowym zaokrągleniem. FMA3 odnosi się do rodziny trójargumentowych instrukcji fused multiply-add w x86; jest ona wyliczana niezależnie od AVX2.

Jak to działa

Operacja połączona (fused) oblicza iloczyn i sumę jako pojedynczą operację arytmetyczną przed zaokrągleniem do formatu docelowego. Może to zachować część wartości, która zostałaby utracona, gdyby mnożenie zaokrąglono jako pierwsze. Postacie instrukcji 132, 213 i 231 określają, które operandy stanowią iloczyn, składnik sumy oraz nadpisywane miejsce docelowe. Postacie skalarne i upakowane mają odmienne zachowanie dla poszczególnych linii (lanes).

Gdzie funkcja jest przydatna

Obliczanie wielomianów, mnożenie macierzy i filtry cyfrowe mogą wykorzystywać FMA do łączenia operacji arytmetycznych. Wynik operacji połączonej może różnić się od wyniku programu, który celowo stosuje dwie oddzielne operacje. Dlatego znaczenie mają zarówno dostępność instrukcji, jak i ustawienia zwijania wyrażeń (contraction) w kompilatorze oraz wymagania dotyczące powtarzalności numerycznej.

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

W przypadku instrukcji VEX FMA3 sprawdź bit 12 w CPUID.01H:ECX wraz z pełną weryfikacją stanu systemu operacyjnego dla AVX. W przypadku używania postaci EVEX sprawdź dodatkowe podzbiory AVX-512 i stan wymagany przez te postacie. Sprawdź flagi kompilatora, jeśli wyniki numeryczne zmienią się po ponownej kompilacji.

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

FMA nie oznacza, że każde wyrażenie zmiennoprzecinkowe jest obliczane z dodatkową precyzją, ani nie gwarantuje identycznych wyników przy różnych ustawieniach kompilatora. FMA4 to inna rodzina instrukcji. Ani AVX, ani samo AVX2 nie stanowi dowodu na obsługę FMA3.

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?