Abo
  • Services:

FMA3-Instruktion: Windows-SMT-Bug lässt Ryzen-Systeme abstürzen

Hochoptimierter Code mit der FMA3-Anweisung führt unter Windows 10 zum Absturz von Ryzen-Systemen, wenn diese SMT nutzen - unabhängig vom Compiler. Unter Linux tritt das Problem nicht auf und selbst Wine führt den Code fehlerfrei aus.

Artikel von veröffentlicht am
Windows-Systeme mit Ryzen können reproduzierbar zum Absturz gebracht werden.
Windows-Systeme mit Ryzen können reproduzierbar zum Absturz gebracht werden. (Bild: Martin Wolf/Golem.de)

Ein Fehler, der von hochoptimiertem Code verursacht wird, kann Windows-10-Systeme mit den neuen Ryzen-CPUs vom AMD reproduzierbar zum Absturz bringen. Das berichtet der Entwickler Alexander Yee, dem dies bei Tests seines Programms Flops aufgefallen ist. Die Anwendung bewertet die Rechenleistung von Gleitkommaoperationen einer CPU und nutzt dafür spezielle x86-Befehlssatzerweiterungen wie SSE oder FMA3 (Fused Multiply-Add 3). Bei dem Test von FMA3 mit 128 Bit Breite stürzt jedoch das gesamte System ab.

Stellenmarkt
  1. Lidl Digital, Heilbronn, Berlin
  2. matrix technology AG, München

Yee hat in dem Hwbot-Forum dazu aufgerufen, seine Ergebnisse zu verifizieren. Tatsächlich haben sich einige Nutzer mit unterschiedlichen Hardware-Konfigurationen gemeldet und bestätigen den Absturz von Windows bei der Verwendung von Ryzen-CPUs. Auch wir konnten den Absturz mit einem Ryzen 7 1800X auf dem Mainboard MSI X370 XPower Gaming Titanium nachstellen und dabei die Fehlerursache zumindest etwas eingrenzen.

Windows-Fehler bei der Verwendung von SMT

Der Absturz tritt bei uns sowohl mit dem von Yee selbst bereitgestellten Binärdateien auf als auch mit der von uns kompilierten Anwendung. Der verwendete Compiler und die Toolchain scheinen darüberhinaus hier nicht das eigentliche Problem zu sein. Denn wir können ebenfalls reproduzierbar einen Absturz mit Binärdateien verursachen, die wir unter Linux mit MinGW für Windows crosskompiliert haben.

Interessanterweise tritt der Fehler bei uns jedoch nicht auf, wenn das Simultaneous Multithreading (SMT) der CPU abgestellt wird. Das unterstützen jedoch nicht alle Mainboards, weshalb Yee dieses Verhalten selbst nicht nachstellen kann. Allerdings bestätigt auch ein Nutzer des Hwbot-Forums, dass der Absturz bei abgeschaltetem SMT nicht auftritt.

Der Fehler ist wohl außerdem auf Windows beschränkt. Unter Linux verursacht die Anwendung unabhängig von der SMT-Nutzung bei uns keine Abstürze. Yee und andere Nutzer bestätigen ebenso, dass Linux nicht betroffen ist. Ebenso fehlerfrei ist die Ausführung der Windows-Binärdateien unter Linux mit Hilfe des Windows-API-Nachbaus von Wine.

Möglicherweise Workaround dank Microcode-Update

Dass der Absturz wie beschrieben nur unter bestimmten Umständen bei der Verwendung von Windows 10 auftritt, deutet daraufhin, dass es sich nicht um einen Fehler der Hardware selbst handelt, sondern eben um einen sehr spezifischen Fehler in Verbindung mit der SMT-Verarbeitung von Windows.

Laut dem Chief Operating Officer von Hwbot, Pieter-Jan Plaisier, der gute Kontakte in der Hardware-Industrie hat, werde der Fehler künftig durch ein Agesa-Microcode-Update von AMD behoben. Sollte dies geschehen, setzt AMD dabei wohl lediglich auf einen Workaround, der eventuell das Abarbeiten der FMA3-Instruktionen anpasst. Eine Stellungnahme von AMD oder Microsoft zu dem Problem gibt es noch nicht.



Anzeige
Blu-ray-Angebote
  1. 9,99€
  2. 4,25€

triri 27. Jun 2017

Kann ich ehrlich gesagt nicht wirklich nachvollziehen, dass so viele immer solche...

HubertHans 20. Mär 2017

Wie schon jemand geschrieben hat: Compiler.

das sushi 17. Mär 2017

MS muss zu FMA3 gar nix umsetzen, das ist ein Assemblerbefehl zusätzlich, müssen die FPU...

David64Bit 17. Mär 2017

Der Bug wurde schon behoben. Die Mainboardhersteller haben sich allerdings völlig...

tbxi 17. Mär 2017

Das wird in der Umgangssprache natürlich abgekürzt, so wird aus mingw-w64 wieder "mingw".


Folgen Sie uns
       


Fünf smarte Lautsprecher von 200 bis 400 Euro im Vergleich

Link 300 und Link 500 von JBL, Onkyos P3, Panasonics GA10 sowie Apples Homepod treten in unserem Klangvergleich gegeneinander an. Die beiden JBL-Lautsprecher lassen die Konkurrenz blass aussehen, selbst der gar nicht schlecht klingende Homepod hat dann das Nachsehen.

Fünf smarte Lautsprecher von 200 bis 400 Euro im Vergleich Video aufrufen
Game Workers Unite: Spieleentwickler aller Länder, vereinigt euch!
Game Workers Unite
Spieleentwickler aller Länder, vereinigt euch!

Weniger Crunchtime, mehr Lunchtime: Die Gewerkschaft Game Workers Unite will gegen schlechte Arbeitsbedingungen in der Spielebranche vorgehen - auch in Deutschland.
Von Daniel Ziegener

  1. Spielebranche Neue Konsole unter dem Markennamen Intellivision geplant
  2. The Irregular Corporation PC Building Simulator verkauft sich bereits 100.000 mal
  3. Spielemarkt Download-Anteil bei Games steigt auf 42 Prozent

K-Byte: Byton fährt ein irres Tempo
K-Byte
Byton fährt ein irres Tempo

Das Startup Byton zeigt zur Eröffnung der Elektronikmesse CES Asia in Shanghai das Modell K-Byte. Die elektrische Limousine basiert auf der Plattform des SUV, der vor fünf Monaten auf der CES in Las Vegas vorgestellt wurde. Unter deutscher Führung nimmt der Elektroautohersteller in China mächtig Fahrt auf.
Ein Bericht von Dirk Kunde

  1. Elektromobiltät UPS kauft 1.000 Elektrolieferwagen von Workhorse
  2. KYMCO Elektroroller mit Tauschakku-Infrastruktur
  3. Elektromobilität Niu stellt zwei neue Elektromotorroller vor

3D-Druck on Demand: Wenn der Baumarkt Actionfiguren aus Stahl druckt
3D-Druck on Demand
Wenn der Baumarkt Actionfiguren aus Stahl druckt

Es gibt viele Anbieter für 3D-Druck on Demand und die Preise fallen. Golem.de hat die 3D-Druckdienste von Toom, Conrad Electronic, Sculpteo und Media Markt getestet, um neue Figuren der Big-Jim-Reihe zu erschaffen.
Ein Praxistest von Achim Sawall


      •  /