Abrufen der Zeilennummer aus pdb im Freigabemodus

Question

Ist es möglich, dass der Debugger (oder der CLR-Ausnahmehandler) die Zeile anzeigt, in der die Ausnahme im Freigabemodus mithilfe von pdb aufgetreten ist?

Der Code im Freigabemodus ist optimiert und entspricht nicht immer der Reihenfolge und Logik des "ursprünglichen" Codes.

Es ist auch überraschend, dass der Debugger auch im Release-Modus Schritt für Schritt durch meinen Code navigieren kann. Die Optimierung sollte die Navigation sehr unproblematisch machen.

Könnten Sie bitte diese zwei Punkte für mich klären?

Answer 1

Ich bin nicht so vertraut, wie dies mit CLR gemacht wird, aber es ist wahrscheinlich sehr ähnlich, wie es mit nativem Code getan wird. Wenn der Compiler Maschinenbefehle erzeugt, fügt er Einträge zur pdb hinzu, die im Grunde sagen "die Anweisung an der aktuellen Adresse, X, kam aus Zeile 25 in foo.cpp".

Der Debugger weiß, welche Programmadresse gerade ausgeführt wird. Es sieht also eine Adresse, X, in der pdb und sieht, dass es aus Zeile 25 in foo.cpp kam. Auf diese Weise können Sie Ihren Quellcode "durchlaufen".

Dieser Prozess ist unabhängig vom Debug- oder Release-Modus identisch (vorausgesetzt, dass im Release-Modus überhaupt ein pdb generiert wird). Sie haben jedoch recht, dass der Debugger im Release-Modus aufgrund von Optimierungen oft nicht "linear" durch den Code springt. Es kann unerwartet zu anderen Zeilen springen. Dies liegt daran, dass der Optimierer die Reihenfolge der Anweisungen ändert, aber die Zuordnung von Adresse zu Quellzeile nicht ändert, so dass der Debugger dem Befehl immer noch folgen kann.

Answer 2

Der Debugger versucht möglichst genau zu ermitteln, wo das Problem aufgetreten ist. Es ist nicht garantiert, dass es zu 100% genau ist, und bei vollständig optimiertem Code wird es oft ungenau sein. Ich habe herausgefunden, dass die Ungenauigkeiten von einigen Zeilen bis hin zu einem völlig falschen Call-Stack reichen.

Wie genau der Debugger mit optimiertem Code ist, hängt wirklich vom Code selbst und von den Optimierungen ab, die Sie vornehmen.

Answer 3

Referenz die folgende Frage SO:

Display lines number in stack trace for .NET assembly in release mode

Answer 4

[@Not Sure] hat es fast richtig. Der Compiler bemüht sich am besten, eine entsprechende Zeilennummer zu identifizieren, die der aktuellen Maschinencodeanweisung entspricht.

Die PDB und der Debugger wissen nichts über Optimierungen; Die PDB-Datei bildet Adressenadressen im Maschinencode im wesentlichen auf Quellcodezeilennummern ab. In optimiertem Code ist es nicht immer möglich, eine Assembly-Anweisung genau einer bestimmten Quellcodezeile zuzuordnen, sodass der Compiler die PDB so genau beschreibt, wie es gerade zur Verfügung steht. Dies könnte "die Quellcodezeile vor" oder "die Quellcodezeile des umschließenden Kontexts (Schleife, etc)" oder etwas anderes sein.

Unabhängig davon findet der Debugger im Wesentlichen den Eintrag in der PDB-Map, der der aktuellen IP (Instruction Pointer) am nächsten kommt (wie in "before or equal") und markiert diese Zeile.

Manchmal ist das Spiel nicht sehr gut und dann sieht man den hervorgehobenen Bereich überall herumspringen.