Manipulation de pointeur et structure dynamique

**Emmanuel Delahaye** · 10/02/2007, 00h06

Envoyé par Spootnik

Merci pour vos réponses

.
Un petit détail :

Code C :

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

1
2
3
 
static const Item z = { 0 };
*newItem = z;

Je ne comprend pas bien comment ça fonctionne. Pourquoi une liste { 0 } ?

Pour initialiser la structure. Chaque champ aura la valeur 0 du bon type.

et pourquoi passer par là pour tout mettre à zéro ? je crois que je préfère la méthode fine

Sauf quand on oublie un champ... Bref, c'est une méthode industrielle reconnue et efficace... Tu fais comme tu veux...

Je poste aussi les nouvelles sources. J'ai encore des doutes sur ce que j'ai mis. Je n'ai pas réussi à utiliser ton outil SYSALLOC Emmanuel : lorsque je le compile avec mes sources, j'ai plein d'erreurs même sur des lignes juste composées de commentaires, donc pour l'instant, nada.

As-tu lu le mode d'emploi ? As-tu suivi les instructions ? As-tu testé ton installation ? As-tu des erreurs sur le programme de test ? Lesquelles ?

Les erreurs, ce sont celles que tu avais avec SYSALLOC ?

J'ai toujours ça :

EDIT : C'est OK. C'est à cause des strdup() qui ne passent pas par mon SYSALLOC. C'est OK, j'ai vérifié.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
Usage xxx[ /T][ /E][ /O][ <options application>]
FRMWRK.DBG_SYSALLOC=1
SYSALLOC Overload (85 rec)
SYSALLOC Successful initialization: 85 records available
Table myTable:
        id 1 : ben qu est-ce que j en sais moi ! haha :p
        id 2 : pour verifier qu on peut le modifier
SYSALLOC min=4294967295 max=4294967295 delta=0
SYSALLOC All-matched
SYSALLOC Released Memory
FRMWRK.Termine
 
Press ENTER to continue.

Bonne nouvelle, ton code peut être facilement transformé en ADT. Il suffit pour ça de séparer la définition des structures en 2 :

tables.h :

Code :

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

1
2
3
4
 
/* Structures ============================================================= */
   typedef struct item Item;
   typedef struct table Table;

tables.c :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
/* Structures ============================================================= */
struct item
{
   int id;
   char *content;
};
 
struct table
{
   size_t count; /* le bon type pour les tailles et les index */
   struct item *Items;
};

Ca commence à ressembler à du vrai C...

**Thierry Chappuis** · 10/02/2007, 00h19

Envoyé par Spootnik

Je ne comprend pas bien comment ça fonctionne. Pourquoi une liste { 0 } ? et pourquoi passer par là pour tout mettre à zéro ? je crois que je préfère la méthode fine

...

Le language C te permet d'initialiser une structure lors de sa définition à l'aide de la syntaxe suivante:

Code :

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

1
2
3
4
5
6
7
8
9
10
 
struct Item {
    int id;
    int tab[4];
    struct Item *p_next;
};
 
/* ... */
 
struct Item obj1= {0, {0, 0, 0, 0}, NULL};

Il est également possible d'initialiser partiellement une structure:

Code :

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

struct Item obj1 = {0};

Le reste de la structure est alors implicitement initialisé à 0, y compris toutes les cases de tab, et p_next. Cette manière d'écrire est donc équivalent à:

Code :

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

1
2
3
4
struct Item obj1;
obj1.id = 0;
memset(obj1.tab, 0, sizeof obj1.tab);
obj1.p_next = NULL;

Il est également possible de copier une structure avec la syntaxe suivante:

Code :

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

1
2
3
4
5
static const struct Item obj1 = {0};
struct Item obj2;
 
/* Initialise tous les champs de obj2 à leur valeur dans obj1 */
obj2 = obj1;

avec une sémantique équivalente à:

Code :

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

1
2
3
obj2.id = obj1.id;
memcpy(obj2.tab, obj1.tab, sizeof obj1.tab)
obj2.p_next = obj1.p_next; /* N.B. L'objet pointé par p_next n'est pas copié! */

Dans le code d'Emmanuel, la variable z de type Item a une classe d'allocation statique. Elle n'est donc pas stockée sur la pile, mais dans la zone de mémoire statique. Cette variable est créée et initialisée lors du 1er appel du constructeur et sa durée de vie est celle du programme. Ainsi, du point de vue de la performance, il y a un léger coût dù à l'initialisation de cette variable lors du premier appel du constructeur. Cette variable est ensuite utilisée telle quelle lors des appels suivants et sert à initialiser la structure newItem avec des zéros. Evidemment, le gain en lisibilité devient évident lorsque ta structure contient un grand nombre de champs. Comme l'a dit Emmanuel, ceci a l'avantage que chaque bit de la structure ainsi initialisée est forcé à 0; Tu sais donc exactement à quoi ressemble ta variable et peux commencer à initialiser plus finement à partir de là.

Thierry

**Emmanuel Delahaye** · 10/02/2007, 00h46

Envoyé par mujigka

Cette manière d'écrire est donc équivalent à:

Code :

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

1
2
3
4
struct Item obj1;
obj1.id = 0;
memset(obj1.tab, 0, sizeof obj1.tab);
obj1.p_next = NULL;

Pour des raison expliquées ad nauseam, non ! (en tout cas ce n'est pas portable).

Envoyé par mujigka

Comme l'a dit Emmanuel, ceci a l'avantage que chaque bit de la structure ainsi initialisée est forcé à 0;

Je n'ai jamais dit que tous les bits étaient mis à zéro, mais, et j'ai bien pris la peine de le signaler, alors on est prié de lire mes posts à fond :

Envoyé par -ed-

<...> mais auto-démerdant (notamment en cas d'ajout d'élément dans la structure, on part sur des bases connues : 0, NULL, "", 0.0, 0.0f etc.).

et plus loin...

Envoyé par -ed-

Chaque champ aura la valeur 0 du bon type.

Rien à voir.

**Thierry Chappuis** · 10/02/2007, 01h14

Envoyé par Emmanuel Delahaye

-ed- a écrit :
Chaque champ aura la valeur 0 du bon type.

Mea culpa! Tu as écrit la phrase ci-dessus lorsque j'écrivais mon post. Je ne l'avais pas lue. Elle m'a ouvert les yeux sur une incompréhension de ma part. Merci de me reprendre. Donc:

Code :

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

1
2
3
4
5
6
7
struct Item {
    int id;
    int tab[4];
    struct Item *p_next;
};
/* ... */
struct Item obj = {0};

permet d'initialiser tous les champs de obj à la valeur 0 du bon type et de manière portable.

Thierry

**Ceylo** · 10/02/2007, 12h22

ADT ? qu'est-ce que c'est ?

Envoyé par Emmanuel Delahaye

As-tu lu le mode d'emploi ? As-tu suivi les instructions ? As-tu testé ton installation ? As-tu des erreurs sur le programme de test ? Lesquelles ?

Les erreurs, ce sont celles que tu avais avec SYSALLOC ?

Oui j'ai lu le mode d'emploi. En fait j'ai essayé de deux façon. D'abord en compilant tes sources pour créer une framework (=bibliothèque mac), puis de l'ajouter au projet, mais lors de la compilation j'ai plein de soucis, semblables à ceux que j'ai indiqué dans le log du make.

J'ai aussi essayé d'ajouter directement les sources au projet, puis de compiler le tout ensemble, j'obtiens les mêmes erreurs. J'ai aussi vérifié que ce n'était pas des problèmes d'include (et donc de fichiers non trouvés), aucun problème de ce côté.

À vrai dire je ne comprend pas bien toutes les erreurs du make. Je ne vois pas d'où elles sortent. Peut-être un problème d'encodage de mes sources par rapport aux tiennes ? J'utilise Western (Mac OS Roman), sans fin de ligne explicite (ni LF, ni CR, ni CRLF).

Je recompile et je poste les erreurs que j'ai eu exactement avec clib.

**Ceylo** · 10/02/2007, 12h39

ah non… ça marche bien

je ne sais pas pourquoi j'ai eu des problèmes la première fois, enfin tout fonctionne, c'est le principal.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
[Session started at 2007-02-10 12:37:51 +0100.]
SYSALLOC Overload (10 rec)
SYSALLOC Successful initialization: 10 records available
Table myTable:
	id 1 : ben qu est-ce que j en sais moi ! haha :p
	id 2 : pour verifier qu on peut le modifier
SYSALLOC min=4294967295 max=4294967295 delta=0
SYSALLOC All-matched
SYSALLOC Released Memory
 
Executable “Table” has exited with status 0.

joli l'outil…

En fait j'ai juste quelques avertissements :

Code :

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

1
2
3
4
5
 
types.h:82: `ushort' previously declared here
types.h:83: `uint' previously declared here
types.h:24: redefinition of `ushort'
types.h:28: redefinition of `uint'

Mais c'est pas bien grave.

**Emmanuel Delahaye** · 10/02/2007, 13h13

Envoyé par Spootnik

ADT ? qu'est-ce que c'est ?

Abstract Data Type.
http://emmanuel-delahaye.developpez.com/tad.htm

**Ceylo** · 10/02/2007, 13h23

Merci pour toutes vos réponses

Je crois qu'il ne me reste plus qu'à terminer l'implémentation de ma table et tout sera parfait

.

Encore un grand merci

**Emmanuel Delahaye** · 10/02/2007, 13h28

Envoyé par Spootnik

Merci pour toutes vos réponses

Je crois qu'il ne me reste plus qu'à terminer l'implémentation de ma table et tout sera parfait

.

Encore un grand merci

Et après tu iras voir ça ...

http://emmanuel-delahaye.developpez.com/clib.htm
Module FARR.

**Ceylo** · 10/02/2007, 13h34

quoi

?? tout ça pour… se casser la tête alors que…

**Ceylo** · 11/02/2007, 22h06

bon, malgré les crises intempestives (je remercie Emmanuel

), je continue mon projet de Table.

J'ai refait quelques tests de performances… et là, c'est la catastrophe !!

Je me retrouve avec des erreurs que je n'avais pas avant. Le pire c'est que je ne sais pas pourquoi j'ai ces erreurs. Il me semble pourtant avoir codé ma Table correctement. Si quelqu'un a une idée…

Même le module SYSALLOC ne m'aide pas ici…

Voila ce que j'obtiens dans le log de la console quand je fais ce test :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
[Session started at 2007-02-11 22:02:36 +0100.]
SYSALLOC Overload (43690 rec)
SYSALLOC Successful initialization: 43690 records available
*** malloc[1720]: error for object 0x1801000: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1801200: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1801400: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1801600: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1801400: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1801e00: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1802000: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
*** malloc[1720]: error for object 0x1802200: Incorrect checksum for freed object - object was probably modified after being freed; break at szone_error
 
Executable “Table” has exited with status 0.

J'ai bien essayé d'augmenter la mémoire pour le module jusqu'à 2^20, mais je me suis arrêté là vu le temps que ça prennait pour l'exécution. J'obtiens toujours SYSALLOC Overload donc je suppose que je ne monte pas assez, mais c'est tout de même étrange de devoir monter aussi haut non ? Je ne sais même pas pourquoi le module SYSALLOC ne détecte pas ce problème, alors qu'avec un overload mais dans les vieilles versions de la table, ces erreurs étaient détectées, mais ça c'est Emmanuel qui doit savoir…

Si quelqu'un a une idée miracle… merci beaucoup

**Thierry Chappuis** · 13/02/2007, 13h51

Salut,

Avec quelques corrections, j'obtiens la sortie suivante:

Code :

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

1
2
3
4
5
6
thierry@mujigka:~/devel/vecteur$ ./essai
SYSALLOC Overload (10 rec)
SYSALLOC Successful initialization: 10 records available
SYSALLOC min=4294967295 max=4294967295 delta=0
SYSALLOC All-matched
SYSALLOC Released Memory

Ce qui me semble en ordre. Voici quelques erreurs que j'ai constatées:

Code :

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

1
2
3
4
5
 
/*-TC- Bête faute de frappe dans main.c, tu avais écris DEBUD_MEM */
#if DEBUG_MEM
	sys_mem_trace ();
#endif

Dans la fonction addItemToTable:

Code :

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

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
void addItemToTable(Table *aTable, Item *anItem)
{
	if ((aTable != NULL) && (anItem != NULL))
	{
		/*-TC- retourne le nombre d'éléments actuellement
                   présents dans le tableau */
		unsigned int countOfItem = getCountOfItemInTable(aTable);
                /* -TC- ATTENTION! Il faut réallouer countOfItem + 1 éléments 
                    sinon aTable->Items[countOfItem] est hors du tableau*/
		aTable->Items = realloc(aTable->Items, (countOfItem + 1) * sizeof(*anItem));
 
		if (aTable->Items != NULL)
		{				
			// on remplie la nouvelle Item avec les donnÂŽes
			aTable->Items[countOfItem].content = strdup(anItem->content);
			if (aTable->Items[countOfItem].content == NULL)
			{
				// /!\ *** je ne suis pas sur que ca soit necessaire
                                /*-TC- Non, cela ne sert à rien !*/
				free(aTable->Items[countOfItem].content);
			}
			else
			{
				aTable->Items[countOfItem].id = countOfItem + 1;
			}
			aTable->count++;
		}
	}
}

Ce n'est pas très efficace d'appeler realloc à chaque appel de addItemToTable(). Une stratégie est d'allouer la mémoire par bloc et tu réalloues seulement lorsque la mémoire précédamment allouée devient pleine. En pratique, on multiplie l'espace mémoire à disposition par un facteur env. 1.5 à chaque réallocation (ce facteur devant idéallement rester inférieur au nombre d'or, voir http://www.bourguet.org/realloc.pdf).

Dernière petite remarque, l'utilisation d'un identificateur appelé newTable dans la fonction du même nom, c'est pas terrible... et dans setContentOfItemToString():

Code :

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

1
2
3
4
5
6
 
if (anItem->content == NULL)
{
    free(anItem->content);
    /* ... */
}

ça ne sert à rien!

Meilleures salutations

Thierry

**souviron34** · 13/02/2007, 13h54

Envoyé par mujigka

Dernière petite remarque, l'utilisation d'un identificateur appelé newTable dans la fonction du même nom, c'est pas terrible... et dans setContentOfItemToString():

Code :

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

1
2
3
4
5
6
 
if (anItem->content == NULL)
{
    free(anItem->content);
    /* ... */
}

ça ne sert à rien!

je dirais même plus.... crash garanti !!

**Emmanuel Delahaye** · 13/02/2007, 14h03

Envoyé par souviron34

je dirais même plus.... crash garanti !!

Pourquoi ? free(NULL) est parfaitement défini et ne fait rien du tout. C'est garanti par le langage.

Il faut de temps en temps relire la norme pour fixer ses connaissances. L'expérience, c'est bien mais ça ne remplace pas une bonne référence.

**Thierry Chappuis** · 13/02/2007, 14h18

Envoyé par souviron34

je dirais même plus.... crash garanti !!

Non! Voir http://man.developpez.com/man3/free.3.php

Envoyé par man de free()

free() libère l'espace mémoire pointé par ptr, qui a été obtenu lors d'un appel antérieur à malloc(), calloc() ou realloc(). Si le pointeur ptr n'a pas été obtenu par l'un de ces appels, ou si il a déjà été libéré avec free(), le comportement est indéterminé. Si ptr est NULL, aucune tentative de libération n'a lieu.

EDIT: Pardon, Emmanuel, je n'avait pas vu ta réponse

Thierry

**souviron34** · 13/02/2007, 14h20

peut-être dans les dernières implémentations, mais c'est faux 99% du temps...

Essayez de faire un free(NULL) sur une machine HPUX, sur un Silicon Graphics, sur un pc Linux redhat (moi je suis en 7.3) ...

coredump...

**Thierry Chappuis** · 13/02/2007, 14h23

Envoyé par souviron34

peut-être dans les dernières implémentations, mais c'est faux 99% du temps...

Essayez de faire un free(NULL) sur une machine HPUX, sur un Silicon Graphics, sur un pc Linux redhat (moi je suis en 7.3) ...

coredump...

Si l'implantation en question est conforme à C90, il ne doit pas y avoir de problème. C'est donc vrai sur 100% des implantations qui implantent correctement C90.

Thierry

**Médinoc** · 13/02/2007, 14h24

En effet, free(NULL) est défini comme ne faisant rien. c'est fclose(NULL) qui n'est pas défini...

**Thierry Chappuis** · 13/02/2007, 14h26

Envoyé par Médinoc

En effet, free(NULL) est défini comme ne faisant rien. c'est fclose(NULL) qui n'est pas défini...

C'est vrai, et d'ailleurs, je n'ai jamais compris pourquoi...

Thierry

**souviron34** · 13/02/2007, 15h03

voir ce que je vais mettre à l'instant dans l'autre thread (allocation dynamique d...)

http://www.developpez.net/forums/sho...=277816&page=4

Cela fait partie de la définition de C, même si des implémentations ou nroems ultérieures disent le contraire.. Et pour garder la compatibilité envers différents matériels...

Manipulation de pointeur et structure dynamique

C

Discussions similaires

Partager

Partager