FMA und FMA3

Was Sie wissen müssen

Wie es funktioniert

Eine Fused-Operation wertet ein Produkt und eine Summe als eine einzige arithmetische Operation aus, bevor auf das Zielformat gerundet wird. Dies kann einen Beitrag erhalten, der verloren ginge, wenn die Multiplikation zuerst gerundet würde. Die Befehlsformen 132, 213 und 231 wählen aus, welche Operanden das Produkt, den Summanden und das überschriebene Ziel liefern. Skalare und gepackte Formen haben ein unterschiedliches Lane-Verhalten.

Wo es nuetzlich ist

Polynomauswertung, Matrixmultiplikation und digitale Filter können FMA nutzen, um arithmetische Operationen zu kombinieren. Das Fused-Ergebnis kann sich von einem Programm unterscheiden, das bewusst zwei getrennte Operationen verwendet. Compiler-Contraction-Einstellungen und Anforderungen an die numerische Reproduzierbarkeit spielen daher ebenso eine Rolle wie die Befehlsverfügbarkeit.

So pruefen Sie Unterstuetzung und Aktivierung

Prüfen Sie für die VEX-FMA3-Befehle CPUID.01H:ECX Bit 12 zusammen mit den vollständigen AVX-Betriebssystemstatusprüfungen. Wenn Sie EVEX-Formen verwenden, prüfen Sie die zusätzlichen AVX-512-Teilmengen und den von diesen Formen benötigten Status. Überprüfen Sie Compiler-Flags, wenn sich numerische Ergebnisse nach einem erneuten Kompilieren ändern.

Das Programm muss sowohl eine geeignete Implementierung enthalten als auch diese zur Laufzeit auswaehlen. Hardwareauflistung, vom Betriebssystem aktivierter Registerstatus und die kompilierte Baseline der Binaerdatei sind getrennte Pruefungen. Eine virtuelle Maschine kann bewusst weniger Funktionen bereitstellen als ihr Host, und ein Container fuegt der Host-CPU keine Befehle hinzu.

Was die Funktion nicht gewaehrleistet

FMA bedeutet nicht, dass jeder Gleitkommaausdruck mit zusätzlicher Genauigkeit ausgewertet wird, und garantiert keine identischen Ergebnisse über verschiedene Compilereinstellungen hinweg. FMA4 ist eine andere Befehlsfamilie. Weder AVX noch AVX2 allein belegt die Unterstützung für FMA3.

Kompatibilitaet und Leistung in der Praxis

Messen Sie den gesamten Workload mit repraesentativen Daten. Breitere Vektoren koennen die Befehlsanzahl reduzieren, waehrend Speichertransfer-, Synchronisations- oder Konvertierungskosten unveraendert bleiben. Befehlslatenz, Durchsatz und Leistungsaufnahme haengen von der genauen Mikroarchitektur und den Betriebsbedingungen ab.

Eine praktische Verifikations-Checkliste

1. Erfassen Sie das genaue Prozessor- oder Plattformmodell sowie die beteiligten Versionen von Anwendung, Betriebssystem und Laufzeitumgebung. Behalten Sie den genauen Wortlaut des tatsaechlichen Fehlers oder der Anforderung bei.
2. Pruefen Sie die Herstellerreferenz fuer dieses genaue Modell und untersuchen Sie anschliessend die effektive Faehigkeit und den Aktivierungsstatus in der Umgebung, in der das Programm ausgefuehrt wird.
3. Gleichen Sie jede Anforderung der ausgewaehlten Binaerdatei oder des Backends ab. Eine aehnlich benannte Funktion, ein Alias oder eine allgemeine Technologiebezeichnung reichen nicht aus.
4. Bestaetigen Sie, dass die Anwendung die vorgesehene Implementierung ausgewaehlt hat. Nutzen Sie deren dokumentierte Diagnosefunktionen und einen unterstuetzten Fallback, wenn Anforderungen nicht erfuellt sind.
5. Nehmen Sie jeweils nur eine unterstuetzte Aenderung vor und wiederholen Sie denselben Workload. Halten Sie die urspruengliche Konfiguration und einen Wiederherstellungspfad verfuegbar.

Wenn die Funktion aufgefuehrt ist, Software sie jedoch nicht nutzen kann

Beginnen Sie mit der exakten fehlschlagenden Komponente. Eine Hardware-Datenbank beschreibt die erfasste Faehigkeit; das Betriebssystem oder der Hypervisor kann eine abweichende effektive Umgebung bereitstellen. Ein Fehler wegen eines ungueltigen Befehls erfordert zudem die Untersuchung des tatsaechlich fehlerhaften Befehls und des Binaer-Builds, da Beschaedigungen oder ein nicht verwandter, nicht unterstuetzter Befehl aehnliche Symptome hervorrufen koennen.

Installieren Sie die fuer die genaue Plattform unterstuetzte Version von Anwendung, Treiber oder Laufzeitumgebung und nutzen Sie bei Bedarf den dokumentierten Baseline- oder Fallback-Build des Herstellers. Ein Software-Update kann keinen Befehl erzeugen, der dem Prozessor fehlt. Aenderungen an Firmware und Sicherheitsrichtlinien sollten dem Verfahren des Systemherstellers und einem Wiederherstellungsplan folgen statt einer generischen Optimierungsanleitung.

Verwandte Funktionen und nuetzliche Unterscheidungen

AVX · AVX2 · F16C · x86-64-v3

Quellen und Umfang dieser Erklaerung

Intel 64 and IA-32 Architectures Software Developer's Manual · Linux-Kernel: Verwendung von XSTATE-Funktionen im Userspace

Diese Referenzen definieren das Architekturverhalten und die Softwareanforderungen. Sie verifizieren nicht unabhaengig jeden Funktionswert auf einer verknuepften Hardware-Modellseite. Nutzen Sie fuer die Modellunterstuetzung die Herstellernachweise jener Seite und pruefen Sie die effektive Systemkonfiguration. Dieser Artikel liefert keinen Benchmark, keine Zertifizierung und kein unabhaengiges Pruefdatum.

Verwandt

Diese Entitäten sind mit diesem Artikel verknüpft. Der Typ wird bei jedem Link angezeigt.

Quellen und Verifizierung

Redaktionelle Verantwortung: Feex. Kein Datum einer unabhängigen Prüfung erfasst. Wie wir recherchieren.

• Intel 64 and IA-32 Architectures Software Developer's Manual - Die Baende 1 und 2 beschreiben die genannten Befehlsfamilien und CPUID; Band 3 beschreibt Status-, Paging-, VMX- und Schutzsteuerungen. Die Architekturdokumentation begruendet keine Unterstuetzung fuer ein bestimmtes Modell.
• Linux-Kernel: Verwendung von XSTATE-Funktionen im Userspace - Vom Betriebssystem aktivierter Vektorstatus, dynamisch aktivierter Kachelstatus, Signal-Stack-Anforderungen und AMX-Berechtigungsablauf. Linux-spezifisches Verhalten ist keine Zusicherung fuer ein anderes Betriebssystem.