Stack-Zuweisung, warum der zusätzliche Platz?

Question

Ich spielte etwas herum, um die Aufrufkonventionen besser zu verstehen und wie der Stack gehandhabt wird, aber ich kann nicht herausfinden, warum main beim Einrichten des Stacks drei zusätzliche Doppelwörter zuweist (um <main+0>). Es ist weder auf 8 Bytes noch auf 16 Bytes ausgerichtet, weshalb ich nicht weiß, warum. Wie ich es sehe, benötigt main 12 Byte für die beiden Parameter func und den Rückgabewert.

Was fehlt mir?

Das Programm ist C-Code kompiliert mit "gcc -ggdb" auf einer x86-Architektur.

Edit: Ich entfernte die -O-Flag von gcc, und es machte keinen Unterschied für die Ausgabe.

(gdb) disas main 
Dump of assembler code for function main: 
    0x080483d1 <+0>: sub esp,0x18 
    0x080483d4 <+3>: mov DWORD PTR [esp+0x4],0x7 
    0x080483dc <+11>: mov DWORD PTR [esp],0x3 
    0x080483e3 <+18>: call 0x80483b4 <func> 
    0x080483e8 <+23>: mov DWORD PTR [esp+0x14],eax 
    0x080483ec <+27>: add esp,0x18 
    0x080483ef <+30>: ret  
End of assembler dump. 

Edit: Natürlich sollte ich den C-Code geschrieben haben:

int func(int a, int b) { 
    int c = 9; 
    return a + b + c; 
} 

void main() { 
    int x; 
    x = func(3, 7); 
} 

Die Plattform ist i686 Arch Linux.

Answer 1

Es ist Ausrichtung.Ich nahm aus irgendeinem Grund an, dass esp von Anfang an ausgerichtet sein würde, was es eindeutig nicht ist.

gcc richtet Stack Frames auf 16 Bytes pro Standard, was passiert ist.

Answer 2

Die Parameter einer Funktion (einschließlich, aber nicht beschränkt auf main) befinden sich bereits auf dem Stapel, wenn Sie die Funktion aufrufen. Der Platz, den Sie in der Funktion zuweisen, ist für lokale Variablen. Bei Funktionen mit einfachen Rückgabetypen wie int befindet sich der Rückgabewert normalerweise in einem Register (eax, mit einem typischen 32-Bit-Compiler auf x86).

Wenn zum Beispiel war main etwas wie folgt aus:

int main(int argc, char **argv) { 
    char a[35]; 

    return 0; 
} 

... wir würden erwarten, dass mindestens 35 Bytes auf dem Stack zugeordnet, um zu sehen, wie wir Haupt um Platz zu schaffen für a eingetragen. Unter der Annahme einer 32-Bit-Implementierung wird diese normalerweise auf das nächste Vielfache von 4 aufgerundet (in diesem Fall 36), um die 32-Bit-Ausrichtung des Stapels aufrechtzuerhalten. Wir würden nicht erwarten, dass für den Rückgabewert Platz zugewiesen wird. argc und argv wären auf dem Stapel, aber sie würden bereits auf dem Stapel sein, bevor main eingegeben wurde, also main würde nichts tun müssen, um Platz für sie zuzuordnen.

Im Fall oben, nach a für Raum Zuteilung würde a typicaly bei [esp-36] beginnen, argv bei [esp-44] wäre und argc bei [esp-48] wäre (oder die zwei rückgängig gemacht werden könnte - je nachdem, ob Argumente links geschoben rechts oder rechts nach links). Falls Sie sich wundern, warum ich [esp-40] übersprungen habe, wäre das die Absenderadresse.

Edit: Hier ist ein Diagramm des Stapels auf Eintritt in die Funktion, und nach dem Stapelrahmen einrichten:

Edit 2: Basierend auf Ihrer aktualisierten Frage, was Sie haben, ist leicht Kreisverkehr , aber nicht besonders schwer zu verstehen. Bei der Eingabe in main wird Speicherplatz nicht nur für die lokalen Variablen main zugewiesen, sondern auch für die Parameter, die Sie an die Funktion übergeben, die Sie von main aufrufen.

Das ist für mindestens einen Teil des zusätzlichen Speicherplatzes verantwortlich (obwohl nicht unbedingt alles).