Stack-Fallen

Ein Chip läuft seit Stunden einwandfrei, dann steht er plötzlich mit StackOverFlow. Niemand hat etwas geändert. Der Fehler war von Anfang an im Code, er brauchte nur 512 Takte, um sichtbar zu werden.

StackOverFlow und StackUnderFlow#

Der klassische Fall: Ein Durchlauf legt drei Werte auf den Stack, holt aber nur zwei herunter. In jedem Takt wächst sp um eins. Nach gut 500 Takten, also gut vier Minuten, ist der Stack voll.

push a
push b
push c
pop x
pop y          # das dritte pop fehlt: sp waechst jeden Takt

Die Regel: In jedem Durchlauf gleich viele pop wie push. Wer unsicher ist, setzt am Anfang der Hauptschleife move sp 0. Dann beginnt jeder Durchlauf mit leerem Stapel, auch wenn irgendwo ein pop fehlt.

sp versehentlich überschreiben#

sp ist ein ganz normales Register, Nummer 16. Jeder Befehl, der hineinschreibt, verschiebt den Stapel: move sp 7, add sp sp 1, ein alias auf r16. Danach liest pop von einer falschen Stelle, ohne Fehlermeldung. Ein Registerplan mit alias nur für r0 bis r15 schützt davor.

Speicher beim Neustart#

Im Spielcode setzt das Aufspielen von neuem Code und das Umstecken des Chips nur sp und die Programmzeile auf 0. Register und Stack-Inhalte bleiben stehen. Auch im Spielstand werden sie gespeichert.

Für den Stack heißt das: Nach einem Neustart steht sp auf 0, aber in den Adressen liegen noch die alten Werte. Eine Tabelle, die du mit poke füllst, ist danach sofort wieder da. Ein Zähler, den du in einer Adresse führst, läuft mit dem alten Wert weiter. Willst du sauber anfangen, löschst du vor dem Start-Label mit clr db.