Verschachtelte Aufrufe

Das Unterprogramm pruefen zeigt die Temperatur an und warnt bei Kälte. Für die Umrechnung ruft es selbst ein zweites Unterprogramm auf, celsius. Kaum ist das eingebaut, kommt der Chip nie mehr in der Hauptschleife an.

Was mit ra passiert#

jal schreibt die Rücksprungadresse in ein einziges Register: ra. Ruft pruefen mit jal celsius ein zweites Unterprogramm auf, überschreibt es dabei die Adresse, die die Hauptschleife hinterlegt hat. Das j ra am Ende von pruefen springt dann nicht zurück in die Hauptschleife, sondern hinter jal celsius, also mitten in pruefen. Der Chip dreht sich im Kreis, ohne je ein yield zu erreichen.

ra auf den Stack retten#

Die Lösung: Jedes Unterprogramm, das selbst jal benutzt, legt ra beim Eintritt auf den Stack und holt es vor dem Rücksprung zurück.

pruefen:
push ra          # Rueckfahrkarte sichern
jal celsius      # ueberschreibt ra
sbn ANZEIGE HASH("Labortemp") Setting c
pop ra           # Rueckfahrkarte zurueck
j ra

celsius ruft nichts weiter auf. Es braucht kein push ra, sein j ra führt sauber zurück in pruefen.

Tiefe begrenzen#

Jede Ebene, die ra sichert, belegt einen Platz im Stack, bis sie zurückkehrt. Drei Ebenen sind drei Plätze, das ist harmlos. Gefährlich wird es, wenn ein Unterprogramm sich selbst aufruft und kein Ende findet: Dann wächst der Stack bis zum StackOverFlow.

Halte die Tiefe klein, zwei oder drei Ebenen reichen für fast alles. Tiefer verschachtelter Code ist auch für Menschen schwer zu verfolgen.