Assembly: Warum verursacht das Springen zu einem Label, das über ret zurückkehrt, einen Segmentierungsfehler?

Question

Linux Assembly Tutorial Zustände:

gibt es eine sehr wichtige Sache zu erinnern: Wenn Sie von einer Prozedur (mit dem RET-Befehl) zurückzukehren planen, nicht springen zu ihm! Wie in "nie!" Das wird einen Segmentierungsfehler auf Linux verursachen (was OK ist - alles, was Ihr Programm tut, wird beendet), aber in DOS kann es in verschiedenen Graden des Schreckens in Ihrem Gesicht explodieren.

Aber ich kann nicht verstehen, warum es einen Segmentierungsfehler nicht verursacht. Es klingt wie eine Rückkehr von einer Funktion.

Ich habe eine Situation, in der ich die Logik implementieren muss "Wenn X passiert, rufen Sie Prozedur A auf. Andernfalls rufen Sie Prozedur B." Gibt es einen anderen Weg als herumzuspringen wie ein Känguru-Spaghetti-Code?

Answer 1

Weil CALL die aktuelle Befehlsadresse auf den Stack verschiebt, und RET zieht es ab, um zur Call-Site zurückzukehren. JMP (und zugehörige Anweisungen) schieben Sie nichts auf den Stapel.

Answer 2

Ich denke, dass dieser Rat möglicherweise mit der Pipeline zu tun haben, aber ich bin mir nicht sicher.

Ich glaube, dass die Frage, die Sie fragen werden, ist:

... subroutine entrypoint ... 
... various instructions in a routine ... 
jmp label 
... move instructions in a routine... 
label: 
ret 

Was ist das Problem, wenn jeder, mit diesem? Erstens bin ich mir nicht sicher, ob das überhaupt ein Problem ist. Aber wenn es ist, ist es die Pipeline. Bei einigen Prozessoren wird eine oder mehrere Anweisungen nach der JMP ausgeführt werden, bevor die Steuerung auf das Etikett bewegt.

Meistens habe ich Angst, dass Sie das, was Sie gelesen haben, falsch verstanden haben, oder ich habe missverstanden, was Sie geschrieben haben. Es ist in Ordnung, von einem Punkt in der Subroutine bis zur Anweisung ret zu jmping zu gehen. Jump-ing anstelle von Ret ist, wie andere Leute darauf hingewiesen haben, eine dumme Idee.