Warum sind die Absenderadressen der prefetch abort und data abort anderen im ARM Ausnahmen?

Diese offsets sind aufgrund der Prozessor-pipelining und der fetch/decode/execute-Phasen.

Den Prozessor Programm-counter (PC) wird aktualisiert, die an bestimmten Punkten während der Ausführung. Ausnahmen können auftreten, während der verschiedenen Phasen für das Holen/decodieren/Ausführung.

Im Fall der prefetch abort, die Anleitung nicht (hat nicht) ausgeführt; die Ausnahme tritt auf, nur wenn der Prozessor tatsächlich versucht zum ausführen der Anweisung (einige zuvor abgerufener Anweisungen können nicht ausgeführt werden).

Im Fall der Daten Abbrechen, der Auftrag wird ausgeführt, und die Instruktion die Ausführung die Ausnahme verursacht.

Aus der ARM-Dokumentation:

Bezüglich prefetch abort:

[Die prefetch abort exception] Tritt auf, wenn die
Prozessor versucht, ausführen
Anweisungen, in denen zuvor abgerufener aus
eine illegale Adresse, ein
Adresse, die der memory management
subsystem bestimmt ist
unzugänglich, um den Prozessor in seiner
aktuelle mode.

... Anweisungen bereits in der pipeline weiter zu führen bis ungültige Anweisung erreicht ist, an welcher Stelle eine prefetch abort erzeugt.

... weil der Programm-Zähler wird nicht aktualisiert, die zum Zeitpunkt der prefetch abort ausgegeben wird, lr_ABT Punkte auf die Anweisung folgt, die die Ausnahme verursacht hat. Der Hundeführer muss wieder lr_ABT – 4

Und in Bezug auf die Daten-Abbrechen:

[Die Data Abort exception] Tritt auf, wenn
ein Daten-transfer-Befehl versucht,
zum laden oder speichern von Daten, die auf eine rechtswidrige
Adresse.

, Wenn eine load-oder store-Instruktion versucht auf Speicher zuzugreifen, der Programm-Zähler aktualisiert wurde. Einen gespeicherten Wert von (pc – 4) in lr_ABT Punkte für die zweite Instruktion über die Adresse, wo die Ausnahme generiert wurde. Wenn die MMU geladen hat, die entsprechende Adresse in den Hauptspeicher, der handler sollte die Rückkehr zu der ursprünglichen, abgebrochenen Unterricht so, dass ein zweiter Versuch unternommen werden kann, um es auszuführen. Die Rückkehr-Adresse ist damit um zwei Worte (acht bytes) weniger als in der lr_ABT

So, in anderen Worten, für die Daten abzubrechen, muss der Hundeführer zurück zu lr_ABT – 8 (zwei Worte/Anweisungen Vorherige)

Für prefetch abort

new_lr_value = if CPSR.T == ‘1’ then PC else PC-4

Für data abort

new_lr_value = if CPSR.T == ‘1’ then PC+4 else PC;

Referenz TRM TakePrefetchAbortException() und TakeDataAbortException()