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

Posté par . Licence CC by-sa.
Tags : aucun
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 (+3/-0). Dernière modification le 12/09/19 à 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) !

Envoyer un commentaire

Suivre le flux des commentaires

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