Stack frames og lokale variabler

En procedure har brug for plads til sine egne lokale variable og en stabil måde at finde sine parametre på. En stakramme giver hvert kald sit eget private område på stakken.

Basispegeren (EBP i 32-bit og RBP i 64-bit) giver en fast reference ind i rammen, mens ESP fortsætter med at flytte sig, når du lægger værdier på stakken og henter dem af.

En procedure begynder med at gemme den gamle basispeger og oprette en ny ramme.

Reserver plads til lokale variable ved at trække fra stakpegeren. De lokale variable ligger derefter ved negative forskydninger fra EBP.

Referer til hver lokal variabel ved en fast forskydning under basispegeren.

I det klassiske cdecl-layout ligger parametrene over den gemte EBP og returadressen ved positive forskydninger.

Før du returnerer, skal du gendanne stakken og basispegeren, så kalderens ramme er intakt.

Instruktionen LEAVE udfører mov esp, ebp og derefter pop ebp i ét trin — en kompakt epilog.

Fra høje til lave adresser i en typisk ramme:

• Parametre [ebp+8], [ebp+12]
• Returadresse [ebp+4]
• Gemt EBP [ebp]
• Lokale variable [ebp-4], [ebp-8]

Hvert kald gemmer kalderens EBP, så indlejrede kald hver især kan have en gyldig ramme, og kæden kan rulles tilbage. Det bruger fejlfindingsværktøjer til at udskrive stakspor.

Optimerende compilere kan springe opsætningen af EBP over for at frigøre et register og i stedet adressere lokale variable relativt til ESP. Det er hurtigere, men sværere at fejlfinde.

Du lærte stakrammer at kende:

• Prolog: push ebp, mov ebp, esp
• Reserver lokale variable med sub esp, og få adgang til dem ved [ebp-N]
• Parametre ved [ebp+N]
• Epilogen gendanner rammen, og LEAVE er genvejen