C# 64-Bit-Release-Build gestartet ohne Debugging verhält sich anders als beim Debuggen gestartet (BigInteger)

Question

Ich bin neu in C# und habe ein Problem mit dem folgenden Code (ich habe das Ziel-Framework als 4.5 und ich habe hinzugefügt ein Verweis auf System.Numerics):

using System; 
using System.Numerics; 

namespace Test 
{ 
    class Program 
    { 
     static BigInteger Gcd(BigInteger x, BigInteger y) 
     { 
      Console.WriteLine("GCD {0}, {1}", x, y); 
      if (x < y) return Gcd(y, x); 
      if (x % y == 0) return y; 
      return Gcd(y, x % y); 
     } 

     static void Main(string[] args) 
     { 
      BigInteger a = 13394673; 
      BigInteger b = 53578691; 
      Gcd(a, b); 
     } 
    } 
} 

Wenn das Release-Build mit Debugging (F5 in Visual Studio gestartet wird - und ein Break-Punkt am Ende des Programms, so kann ich die Ausgabe) zu sehen, die ich die Folgende Ausgabe:

GCD 13394673, 53578691 
GCD 53578691, 13394673 
GCD 13394673, 13394672 
GCD 13394672, 1 

Allerdings, wenn der Release-Build ohne Debug gestartet wird Ging (Ctrl-F5), erhalte ich folgendes:

GCD 13394673, 53578691 
GCD 53578691, 53578691 

Merkwürdig, wenn ich eine Console.ReadLine() am Ende des Programms fügen Sie es wie erwartet funktioniert!

Irgendwelche Ideen, was das verursacht? Vielen Dank.

Answer 1

Dies ist ein x64 Jitter Optimierer Fehler in .NET 4.0 bis 4.5.2. Es ist ziemlich schwierig zu charakterisieren, der Codegen ist aufgrund der Verwendung von BigInteger ziemlich schwer. Der x64-Jitter hatte eine Geschichte von Optimierungsfehlern für struct Typen, wie BigInteger, also ist das die wahrscheinliche Ursache. Die Kombination mit der möglichen Tail-Call-Optimierung in dieser Methode ist der wahrscheinlichste Auslöser.

Ich würde normalerweise empfehlen, einen solchen Fehler zu melden, aber die Tage dieses Jitters sind nummeriert. Microsoft entschied, es in Rente zu gehen und es komplett neu zu schreiben. Verfügbar in .NET 4.6 - VS2015 war der Projektcodename RyuJIT. Es hat diesen Fehler nicht.

Mehrere mögliche Abhilfen:

Project + Eigenschaften, Build Registerkarte Platform target = x86. Dies zwingt das Programm dazu, im 32-Bit-Modus zu laufen und den x86-Jitter zu verwenden, es hat diesen Fehler nicht.

oder deaktivieren Optimierung für diese Methode mit einem Attribut:

using System.Runtime.CompilerServices; 
    ... 
    [MethodImpl(MethodImplOptions.NoOptimization)] 
    static BigInteger Gcd(BigInteger x, BigInteger y) { 
     // etc... 
    } 

was in Ordnung ist, ist das Heben schwerer Lasten in die BigInteger Klasse so die Optimierung deaktivieren nicht die Ausführungszeit beeinflussen würde.