Forum Linux.général probleme de compréhension sur l'alignement.

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
0
12
sept.
2019

bonjour à tous,

voila si j'ai 

struct A{
    int m_value ;
    char c;
}

struct B{
    int m_value;
    char c;
}__attribute__((packed))

B aura une taille de 5 octets alors que la structure de A aura une taille de 8 octets. Le compilateur rajoute des octets de padding mais pourquoi?

sur un pc 64 bits, le bus de donné et de 128 bits, donc on peut recupérer a chaque coup d'horloge jusqu'a 16 octets de mémoire. Donc si mon processus a besoin de récupérer la valeur de m_value quel est l'interet
d'ajouter des octets de padding. ca ne va rien changer car je peux lire facilement mon octets avec ou sans padding.

Merci d'avance pour votre aide

  • # À cause des accès aligné par les instructions en asm

    Posté par  . Évalué à 4. Dernière modification le 12 septembre 2019 à 16:54.

    En demandant à gcc de générer l'assembleur d'un truc qui itère sur des tableaux de A ou B, tu verras pourquoi :

    struct A {
    int m_value;
    char c;
};

struct B{
    int m_value;
    char c;
} __attribute__((packed));

void foo(struct A *a, int size)
{
    int i;

    for (i = 0 ; i < size ; i++) {
        a[i].c = 66;
        a[i].m_value = 5555;
    }
}

void bar(struct B *b, int size)
{
    int i;

    for (i = 0 ; i < size ; i++) {
        b[i].c = 66;
        b[i].m_value = 5555;
    }
}
    gcc -O0 -S prout.c -o prout.s
    foo:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movq    %rdi, -24(%rbp)
    movl    %esi, -28(%rbp)
    movl    $0, -4(%rbp)
    jmp .L2
.L3:
    movl    -4(%rbp), %eax
    cltq
    leaq    0(,%rax,8), %rdx
    movq    -24(%rbp), %rax
    addq    %rdx, %rax
    movb    $66, 4(%rax)
    movl    -4(%rbp), %eax
    cltq
    leaq    0(,%rax,8), %rdx
    movq    -24(%rbp), %rax
    addq    %rdx, %rax
    movl    $5555, (%rax)
    addl    $1, -4(%rbp)
.L2:
    movl    -4(%rbp), %eax
    cmpl    -28(%rbp), %eax
    jl  .L3
    nop
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   foo, .-foo
    .globl  bar
    .type   bar, @function
bar:
.LFB1:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movq    %rdi, -24(%rbp)
    movl    %esi, -28(%rbp)
    movl    $0, -4(%rbp)
    jmp .L5
.L6:
    movl    -4(%rbp), %eax
    movslq  %eax, %rdx
    movq    %rdx, %rax
    salq    $2, %rax
    addq    %rax, %rdx
    movq    -24(%rbp), %rax
    addq    %rdx, %rax
    movb    $66, 4(%rax)
    movl    -4(%rbp), %eax
    movslq  %eax, %rdx
    movq    %rdx, %rax
    salq    $2, %rax
    addq    %rax, %rdx
    movq    -24(%rbp), %rax
    addq    %rdx, %rax
    movl    $5555, (%rax)
    addl    $1, -4(%rbp)
.L5:
    movl    -4(%rbp), %eax
    cmpl    -28(%rbp), %eax
    jl  .L6
    nop
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret

    C'est pourquoi il faut aligner correctement les champs des structures ou de n'utiliser les attributs d'alignement que si on n'a pas le choix …

    De mon temps, c'était plus facile de lire l'assembleur produit par gcc, (c'était du 32 bits) !

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.