Editer un article - Informaticien.be

Editer un article

Titre
Mots Clés
Texte	[size=18] [b]Nom[/b] [/size] malloc, calloc, free, realloc - Allocation et libération dynamiques de mémoire. [size=18] [b]Résumé[/b] [/size] .nf [b]#include <stdlib.h>[/b] [b][i]void * calloc (size_t nmemb , size_t size );[/i][/b] .nl [b][i]void * malloc (size_t size );[/i][/b] .nl [b][i]void free (void * ptr );[/i][/b] .nl [b][i]void * realloc (void * ptr , size_t size );[/i][/b] .fi [size=18] [b]Description[/b] [/size] [b]calloc()[/b] alloue la mémoire nécessaire pour un tableau de [i]nmemb[/i] éléments, chacun d'eux représentant [i]size[/i] octets, et renvoie un pointeur vers la mémoire allouée. Cette zone est remplie avec des zéros. [b]malloc()[/b] alloue [i]size[/i] octets, et renvoie un pointeur sur la mémoire allouée. Le contenu de la zone de mémoire n'est pas initialisé. [b]free()[/b] libère l'espace mémoire pointé par [b]ptr ,[/b] qui a été obtenu lors d'un appel antérieur à [b]malloc() ,[/b] [b]calloc()[/b] ou [b]realloc() .[/b] Si le pointeur [i]ptr[/i] n'a pas été obtenu par l'un de ces appels, ou si il a déjà été libéré avec [b]free() ,[/b] le comportement est indéterminé. Si [i]ptr[/i] est [b]NULL ,[/b] aucune tentative de libération n'a lieu. [b]realloc()[/b] modifie la taille du bloc de mémoire pointé par [i]ptr[/i] pour l'amener à une taille de [i]size[/i] octets. [b]realloc()[/b] conserve le contenu de la zone mémoire minimum entre la nouvelle et l'ancienne taille. Le contenu de la zone de mémoire nouvellement allouée n'est pas initialisé. Si [i]ptr[/i] est [b]NULL ,[/b] l'appel de [b]realloc()[/b] est équivalent à [b]malloc(size) .[/b] Si [i]size[/i] vaut zéro, l'appel est équivalent à [b][i]free( ptr ) .[/i][/b] Si [i]ptr[/i] n'est pas [b]NULL ,[/b] il doit avoir été obtenu par un appel antérieur à [b]malloc() ,[/b] [b]calloc()[/b] ou [b]realloc() .[/b] [size=18] [b]Valeur renvoyée[/b] [/size] Pour [b]calloc() et malloc() ,[/b] la valeur renvoyée est un pointeur sur la mémoire allouée, qui est correctement alignée pour n'importe quel type de variable, ou [b]NULL[/b] si la demande échoue. [b]free()[/b] ne renvoie pas de valeur. [b]realloc()[/b] renvoie un pointeur sur la mémoire nouvellement allouée, qui est correctement alignée pour n'importe quel type de variable, et qui peut être différent de [b]ptr ,[/b] ou [b]NULL[/b] si la demande échoue. Si [i]size[/i] vaut zéro, realloc renvoie NULL ou un pointeur acceptable pour [b]free ().[/b] Si [b]realloc()[/b] échoue, le bloc mémoire original reste intact, il n'est ni libéré ni déplacé. [size=18] [b]Conformité[/b] [/size] ANSI-C [size=18] [b]Voir aussi[/b] [/size] [b]brk (2),[/b] [b]posix_memalign (3)[/b] [size=18] [b]Notes[/b] [/size] Le standard Unix98 réclame que [b]malloc() ,[/b] [b]calloc() ,[/b] et [b]realloc ()[/b] positionne [i]errno[/i] à ENOMEM en cas d'échec. La Glibc suppose qu'il en est ainsi (et les versions glibc de cette routine le font). Si vous utilisez une implémentation personnelle de malloc qui ne positionne pas [b]errno ,[/b] certaines routines de bibliothèques peuvent échouer sans donner de raison dans [b]errno .[/b]     Lorsqu'un programme se plante durant un appel à [b]malloc() ,[/b] [b]calloc()[/b] ou [b]realloc() ,[/b] ceci est presque toujours le signe d'une corruption du tas (zone de mémoire dans laquelle sont allouées les variables dynamiques). Ceci survient généralement en cas de débordement d'un bloc mémoire alloué, ou en libérant deux fois le même pointeur. Les versions récentes de la bibliothèque C de Linux (libc postérieures à 5.4.23) et la bibliothèque GNU libc 2.x incluent une implémentation de [b]malloc()[/b] dont on peut configurer le comportement à l'aide de variables d'environnement. Quand la variable [b]MALLOC_CHECK_[/b] existe, les appels à [b]malloc()[/b] emploient une implémentation spéciale, moins efficace mais plus tolérante à l'encontre des bugs simples comme le double appel de [b]free()[/b] avec le même argument, ou un débordement de buffer d'un seul octet (bugs de surpassement d'une unité, ou oubli d'un caractère nul final d'une chaîne). Il n'est toutefois pas possible de pallier toutes les erreurs de ce type, et l'on risque de voir des fuites de mémoire se produire. Si la variable [b]MALLOC_CHECK_[/b] vaut zéro, toutes les corruptions du tas détectées sont ignorées silencieusement; Si elle vaut 1 un message de diagnostique est affiché sur [i]stderr[/i]. Si cette variable vaut 2, la fonction [b]abort[/b]() est appelée immédiatement. Ce comportement est particulièrement utile car un crash pourrait sinon se produire ultérieurement, et serait très difficile à diagnostiquer. Linux suit une stratégie d'allocation optimiste. Ceci signifie que lorsque [b]malloc ()[/b] renvoie une valeur non-NULL, il n'y a aucune garantie que la mémoire soit véritablement disponible. Dans le cas où le système manque de mémoire, un ou plusieurs processus seront tués par l'infâme exterminateur de gestion mémoire. [size=18] [b]Traduction[/b] [/size] Christophe Blaess, 1996-2003.
Fichier