Discussion :

[vince3320]

bonjour a tous!!
Voila j'ai juste une petite question
Si l'on fait par exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
int v = 2;
int *i = malloc (v * sizeof (int));

Normalement tout se passe bien ( en verifiant que le malloc a bien fonctionne...)

Mais, si on relance avec v = 0;
on aura donc un malloc (0);
Quels seraient les consequence de cela?
Cela peut il entrainer un comportement indefini du programme?

Merci!

[Nasky]

salut !

Je crois que j'avais déjà posé la question jadis
Du fait de l'alignement des blocs en mémoire ou je ne sais plus quoi, malloc() ne résèrve pas exactement ce qu'on lui demande. Donc même un malloc(0) alloue quand même une certaine quantité de mémoire !
D'autres vont certainement donner plus de détails !

Nas'

[vince3320]

d'accord!
Et tu penses que cela peut entrainer des comportements non desires?

[Emmanuel Delahaye]

Voila j'ai juste une petite question
Si l'on fait par exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
int v = 2;
int *i = malloc (v * sizeof (int));

Normalement tout se passe bien ( en verifiant que le malloc a bien fonctionne...)

Mais, si on relance avec v = 0;
on aura donc un malloc (0);
Quels seraient les consequence de cela?
Cela peut il entrainer un comportement indefini du programme?

D'une façon grossière, oui, c'est un bug. Si on affine la réponse, c'est un comportement spécifié par l'implémentation. C'est donc non portable, mais défini. A éviter, donc.

7.20.3 Memory management functions
1 The order and contiguity of storage allocated by successive calls to the calloc,
malloc, and realloc functions is unspecified. The pointer returned if the allocation
succeeds is suitably aligned so that it may be assigned to a pointer to any type of object
and then used to access such an object or an array of such objects in the space allocated
(until the space is explicitly freed or reallocated). Each such allocation shall yield a
pointer to an object disjoint from any other object. The pointer returned points to the
start (lowest byte address) of the allocated space. If the space cannot be allocated, a null
pointer is returned. If the size of the space requested is zero, the behavior is
implementation-defined: either a null pointer is returned, or the behavior is as if the size
were some nonzero value, except that the returned pointer shall not be used to access an
object. The value of a pointer that refers to freed space is indeterminate.

[Nasky]

Euh... certainement oui !
Si tu fais un malloc(0), une petite quantité est allouée mais tu ne pourras pas utiliser cet espace pour un tableau etc...
Le malloc(0) tout seul ne fait pas planter le programme mais après, quand tu voudras utiliser cet espace, il y ' aura certainement un comportement indéfini... du moins je pense !

Nas'

Edit : Emmanuel a donc répondu à ta question...

[vince3320]

Merci pour vos reponses!!

[hegros]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
 
malloc(1);

Il y a une allocation d'au moins PAGE_SIZE sinon un multiple

[Emmanuel Delahaye]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
malloc(1);

Il y a une allocation d'au moins PAGE_SIZE sinon un multiple

Il n'y a pas de 'PAGE_SIZE' dans la définition du langage C. De quoi parles-tu? Dans quel contexte?

[hegros]

Il n'y a pas de 'PAGE_SIZE' dans la définition du langage C. De quoi parles-tu? Dans quel contexte

Je parle coté systéme.
Donc engénéral sur des systémes comme nux....