Segment de données

Le segment de données contient les variables globales et statiques utilisées par le programme et qui sont initialisées. On peut y distinguer une zone en lecture seule et une zone en lecture-écriture. Par exemple, la chaîne de caractères définie par char s[] = "hello world" en C et une expression C comme int debug=1 en dehors du “main” seront stockées dans la zone en lecture-écriture ; tandis qu’une expression C telle que const char* string = "hello world" stocke la chaîne de caractères littérale "hello world" dans la zone en lecture seule et la variable pointeur de caractère string dans la zone en lecture-écriture.

Le segment BSS aussi connu comme zone de données non initialisées commence à la fin du segment de données et contient toutes les variables globales et toutes les variables statiques qui sont initialisées à zéro ou n’ont pas d’initialisation explicite dans le code source. Par exemple, une variable déclarée static int i; sera « contenue » dans le segment BSS.

Le tas commence à la fin du segment BSS. Le tas est géré par malloc, realloc, et free, qui peut utiliser les appels système brk et sbrk pour ajuster sa taille. Le tas est partagé par toutes les bibliothèques partagées et tous les modules chargés dynamiquement par un processus.

La pile accompagne traditionnellement le tas binaire et augmente dans la direction opposée ; quand le pointeur de pile rencontre le pointeur de tas binaire, la mémoire libre a été épuisée (dans des espaces d’adressage modernes et vastes, et avec les techniques de mémoire virtuelle, ils peuvent se trouver n’importe où, mais vont quand même croître dans deux directions opposées).

La pile est une structure LIFO, généralement située dans la plus haute zone de la mémoire. Un registre de pointeur de pile pointe sur le haut de la pile ; il est modifié à chaque fois qu’une valeur est empilée ou dépilée. L’ensemble des valeurs empilées par un appel à une fonction est appelé une « trame de pile » ; une trame de pile consiste au minimum en une adresse de retour.