Discussion :

[Aooka]

Bonjour,

Simple question de "cours, compréhension du langage :
Par exemple je suis tombé sur :

Code :

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

struct mastruct {};

Code :

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

struct __atributte__((packed)) mastruct {};

Donc en fait je souhaiterais simplement savoir se que signifie la deuxième ligne de code avec ce "__atributte__((packed))" qui m'est inconnu ? Et aussi savoir s'il existait d'autre __atribute__ ou truc du genre ? Avez-vous un tutoriel sur DVP ou autre part ?



Je vous remercie,
Passez une bonne journée !

[fenkys]

Bonjour,

Cet attribut indique au compilateur que les membres de la structure ne doivent pas être alignés sur les adresses mémoire.

Un processeur accède plus vide à la mémoire quand les données à récupérer sont alignées sur certaines adresses. Par exemple, (avec un alignement sur les adresses multiples de 8) :

Code :

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

1
2
3
4
5
 
struct not_packed {
  uint16_t data1;
  uint64_t data2;
};

data1 et data2 seront alignées sur une adresse multiple de 8, il y auras donc 6 bytes inutilisés ( des bytes de padding) à la suite de data1 pour aligner correctement data2. En mémoire ta structure sera en réalité :

Code :

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

1
2
3
4
5
6
 
struct not_packed {
    uint16_t data1;
    uint8_t   padding[6];
    uint64_t data2;
};

L'égalité suivante est respectée :

Code :

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

1
2
 
sizeof(not_packed) == 16;

En mode "packed", ces bytes de padding ne sont pas ajouté, la représentation mémoire de ta structure est identique à son écriture. L'égalité suivante est respectée :

Code :

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

1
2
3
4
5
 
struct __atribute__((packed)) packed{
    uint16_t data1;
    uint64_t data2;
};

L'égalité suivante est respectée :

Code :

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

1
2
 
sizeof(packed) == 10;

Tu trouveras plus de doc ici : http://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html

[Iradrille]

Hello,

Il y en à d'autres. La syntaxe est dépendante du compilo mais des équivalents existent chez les autres.

Le fait de packer une struct va supprimer le padding.

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
struct __atributte__((packed)) foo {
   char a;
   int b;
};
 
struct bar{
   char a;
   int b;
};
 
foo f;
assert(sizeof(foo) == 5);
assert(&f.b - &f.a == 1);
 
bar b;
assert(sizeof(bar) == 8);
assert(&b.b - &b.a == 4);

(Pas sur que ça compile )

edit : fenkys à été plus rapide ^^"

[Aooka]

Salut,

Vous êtes au top les gars, réponses super rapides et très complètes ! Je vous remercie de votre temps que vous m'avez accordez.

Sur ce et

[Médinoc]

L'équivalent sous Visual, ce sont les diverses variantes de #pragma pack.

[Aooka]

Qu'entends-tu de "sous Visual" ?

Et j'oubliais, je ne comprends pas se qu'est le padding ? (qui signifie rembourrage en français).

[Médinoc]

Par "sous Visual", je veux dire "avec le compilateur Microsoft™ Visual C++™". Il ne comprend pas la syntaxe __attribute__, qui est spécifique à GCC.

Le padding ou bourrage, c'est l'insertion d'espace "non-utilisé" entre deux variables, généralement pour satisfaire les contraintes d'alignement (les variables jusqu'à 8 ou 16 octets alignées sur des multiples de leur taille, les variables plus grandes alignées sur des multiples de 8 ou 16 octets).

[Iradrille]

Qu'entends-tu de "sous Visual" ?

__attribute__((packed)) fonctionne sous GCC (et surement Clang), sous Visual Studio c'est #pragma pack.

Et j'oubliais, je ne comprends pas se qu'est le padding ? (qui signifie rembourrage en français).

Par défaut (pas de packing), le compilo va créer des "trous" (=mémoire inutilisée) dans tes structs / classes pour aligner les données sur 4/8 ou 16 octets (généralement l'alignement sur 16 octets il faut le demander, le compilo le fait pas tout seul).

L'accès à des donnés alignées sur 4/8/16 octets est plus rapide, mais la conso mémoire augmente (dû aux "trous").

De temps en temps c'est par contre inutile : envoi de données sur le réseau par exemple -> généralement le temps de transfert est supérieur au temps de traitement. Et de temps en temps l'augmentation de la conso mémoire provoque une perte de performance supérieure au gain qu'apporte l'alignement des données (travailler avec des char par exemple, si c'est aligné sur 8 octets ça peut représenter dans le pire des cas 8 fois plus de caches misses).

De manière générale on y touche pas, il est courant de forcer un alignement sur 16 octets quand on vectorise du code; mais le packing reste rare.