double free que je ne comprends pas

Version imprimable

Salut tout le monde,

j'ai une jolie erreur de double free que je ne comprends pas :(.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
 
*** glibc detected *** ./rfana: double free or corruption (out): 0x0804a008 ***
======= Backtrace: =========
/lib/libc.so.6[0xb7e65980]
/lib/libc.so.6(__libc_free+0x89)[0xb7e66fe9]
./rfana[0x8048788]
/lib/libc.so.6(__libc_start_main+0xd8)[0xb7e17838]
./rfana[0x8048671]
======= Memory map: ========
08048000-08049000 r-xp 00000000 03:04 667639     /tmp/aie/coding/rfana/rfana
08049000-0804a000 rw-p 00000000 03:04 667639     /tmp/aie/coding/rfana/rfana
0804a000-0806b000 rw-p 0804a000 00:00 0          [heap]
b7c00000-b7c21000 rw-p b7c00000 00:00 0 
b7c21000-b7d00000 ---p b7c21000 00:00 0 
b7e01000-b7e02000 rw-p b7e01000 00:00 0 
b7e02000-b7f25000 r-xp 00000000 03:04 358628     /lib/libc-2.5.so
b7f25000-b7f27000 r--p 00122000 03:04 358628     /lib/libc-2.5.so
b7f27000-b7f28000 rw-p 00124000 03:04 358628     /lib/libc-2.5.so
b7f28000-b7f2b000 rw-p b7f28000 00:00 0 
b7f31000-b7f3b000 r-xp 00000000 03:04 340885     /usr/lib/gcc/i686-pc-linux-gnu/4.1.1/libgcc_s.so.1
b7f3b000-b7f3c000 rw-p 00009000 03:04 340885     /usr/lib/gcc/i686-pc-linux-gnu/4.1.1/libgcc_s.so.1
b7f3c000-b7f3e000 rw-p b7f3c000 00:00 0 
b7f3e000-b7f58000 r-xp 00000000 03:04 358627     /lib/ld-2.5.so
b7f58000-b7f59000 r--p 00019000 03:04 358627     /lib/ld-2.5.so
b7f59000-b7f5a000 rw-p 0001a000 03:04 358627     /lib/ld-2.5.so
bfeca000-bfedf000 rw-p bfeca000 00:00 0          [stack]
ffffe000-fffff000 r-xp 00000000 00:00 0          [vdso]
inserted at counter: 440, value: -1Aborted

Dans un premier temps, je fais dans un fichier ceci:

Code:

1
2
3
 
 
buffer = (char*) malloc (sizeof(char)*lSize);

Puis, je fais un :

Code:

1
2
3
4
5
6
7
8
 
 
void insertMem(int value){
     if((counter_mem+1) >= ((val_realloc)*MEM_REALLOC))
	  if((memCount = (int*) realloc(memCount, (++val_realloc)*MEM_REALLOC))== NULL)
	       fprintf(stderr,"\nError realloc");
[...]
}

Dans mon main, quand je fais un

Code:

1
2
3
 
free(buffer);
free(memCount);

J'otiens donc le double free exception... pourtant ce sont bien deux zones mémoires différentes :S...

Par contre, quand je fais UNIQUEMENT un:

Code:

1
2
 
free(buffer);

L'exception n'apparait plus.

Merci beaucoup pour votre aide

30/04/2007, 10h27
josse95

Bonjour,

Le code que tu donnes n'est pas suffisant pour comprendre l'erreur.

Bon, je peux pas tout le mettre ici, mais çA donne ça (fichier main.c):

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
 
int main(int argc, char ** argv){
     /** where the data file stands */
     complex *memfile;
     int start, end;
 
     if(argc != 3)
     {
	  printf("\nUsage: ./plup <x> <file.dat>\n");
	  exit(0);
     }
 
 
     // in order to write directly the microsec
     // we divide by 1000000
     frequency = atof(*(argv+1))/1000000;
     memfile = readFile(*(argv+2));
     binaryConverter(memfile);
 
     /** frees what done by malloc */
     free(memfile);
 
     // ?????????????????????????
     // ????????????????????????
     // Double free ? PK ?
 
     //free(memCount);
 
     return 0;

Les variables frequency, memfile sont définie dans un header.

Dans un autre fichier, reader.c

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
 
complex * readFile(char * argv){
     FILE * pFile;
     char * buffer;
     int lSize;
 
     pFile = fopen ( argv, "rb");
     if (pFile==NULL) {fputs ("File error\n",stderr); abort();}
 
     // obtain file size:
     fseek (pFile , 0 , SEEK_END);
     lSize = ftell (pFile);
     lSize -= (lSize%sizeof(complex));
     rewind (pFile);
 
     buffer = (char*) malloc (sizeof(char)*lSize);
     if (buffer == NULL) {fputs ("Memory error",stderr); exit (2);}
 
     result = fread (buffer,sizeof(complex),lSize/sizeof(complex),pFile);
 
     if (result != (lSize/sizeof(complex))) {
          fputs ("Reading error",stderr); printf("\nValue of result: %d\n",result);exit (3);}
 
     fclose (pFile);
 
     return (complex*)buffer;
}

Dans ce même fichier, j'ai une fonction qui load en mémoire:

Code:

1
2
3
4
5
6
7
8
9
 
 
void insertMem(int value){
     if((counter_mem+1) >= ((val_realloc)*MEM_REALLOC))
          if((memCount = (int*) realloc(memCount, (++val_realloc)*MEM_REALLOC))== NULL)
               fprintf(stderr,"\nError realloc");
     *(memCount+counter_mem++)=value;
 
}

Que j'appelle de temps à autre. Les pointeurs (int *)memCount et (*complex)memFile sont dans un fichier header (déclaration globale).

30/04/2007, 11h50
Trap D

A mon avis tu as un problème de corruption de mémoire car tu passes allègrement d'un char* à un complex* pour le même pointeur, or comme les tailles de données sont, je suppose, différentes tu déborderais bien à un moment.
D'autre part, memCount est-il initialisé avant ton realloc (au moins à NULL) ?
30/04/2007, 12h38
bulki

Citation:

Envoyé par Trap D

A mon avis tu as un problème de corruption de mémoire car tu passes allègrement d'un char* à un complex* pour le même pointeur, or comme les tailles de données sont, je suppose, différentes tu déborderais bien à un moment.
D'autre part, memCount est-il initialisé avant ton realloc (au moins à NULL) ?

Merci pour la réponse.

Mais en fait, la lecture du fichier ne pose absolument aucun problème (je redimensionne le pointeur en fait, c'est OK ça, vu que je divise lSize/sizeof(complex) ).

Ce qui pose vraiment problème, c'est ce realloc, je ne peux pas le libérer. Si j'enlève l'instruction free(memCount) dans le main, alors mon programme fonctionne. Mais c'est illogique au possible :S... (je l'initialise bien à NULL)
30/04/2007, 12h40
souviron34

tant qu'on ne voit pas comment elle est appelée, cette fonction, impossible d'en dire plus..

Citation:

Envoyé par souviron34

tant qu'on ne voit pas comment elle est appelée, cette fonction, impossible d'en dire plus..

voilà:

Code:

1
2
3
4
5
6
7
8
9
10
 
void func(int type){
 
     if(value > THRESHOLD)
          insertMem(-1);
     else
          if(value < SOF_THRESHOLD && value){
                    insertMem(type);
          }
}

EDIT: effectivement, j'avais fait une petite erreur de conception:

Code:

1
2
3
4
5
6
7
8
9
 
 
 
 
void insertMem(int value){
     if(((counter_mem+1)*sizeof(int)) >= ((val_realloc)*MEM_REALLOC))
	  if((memCount = (int*) realloc(memCount, (++val_realloc)*MEM_REALLOC))== NULL)
	       fprintf(stderr,"\nError realloc");
     *(memCount+counter_mem++)=value;

Ce petit sizeof qui fait toute la différence ;)...
Merci bcp

Reamrque sur l'utilisation du realloc: il FAUT faire comme celà
Code:

1 2 3 4 5 6 7 tmp = realloc(ptr, <nouvelle_dimension>); if (tmp != NULL) ptr = tmp; else // ici le realloc a échoué mais ptr a gardé sa valeur // donc tu peux prendre des mesures // pour gérer ce cas d'échec
L'erreur courante ptr = realloc(ptr, ... fait que si le réalloc échoue on est un peu dans la me*de.

Citation:
Envoyé par Trap D
Reamrque sur l'utilisation du realloc: il FAUT faire comme celà
Code:

1 2 3 4 5 6 7 tmp = realloc(ptr, <nouvelle_dimension>); if (tmp != NULL) ptr = tmp; else // ici le realloc a échoué mais ptr a gardé sa valeur // donc tu peux prendre des mesures // pour gérer ce cas d'échec
L'erreur courante ptr = realloc(ptr, ... fait que si le réalloc échoue on est un peu dans la me*de.
Hum, effectivement c'est une meilleure idée. Mais je vais faire un abort() en cas d'erreur, donc ca reviendra au même.

Merci bcp :D