Administrace komentářů

Presne tak. Promena typu "volatile" nerika vubec nic o vyprazdneni cache. Je rozhodne nutna pro specifikaci, ze k promene pristupuje vice vlaken - tudiz nelze si uchovavat "mezikroky" treba v registrech.

Pr;:

$ cat a.c


int main(){
    volatile int i = 0;
    i++;
    return i;
}


$ gcc -S -O3 a.c && cat a.s


    .file    "a.c"
    .text
    .p2align 4,,15
.globl main
    .type    main, @function
main:
    leal    4(%esp), %ecx
    andl    $-16, %esp
    pushl    -4(%ecx)
    pushl    %ebp
    movl    %esp, %ebp
    pushl    %ecx
    subl    $16, %esp
    movl    $0, -8(%ebp)
    movl    -8(%ebp), %eax
    addl    $1, %eax
    movl    %eax, -8(%ebp)
    movl    -8(%ebp), %eax
    addl    $16, %esp
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret
    .size    main, .-main
    .ident    "GCC: (GNU) 4.1.2 20070626 (Red Hat 4.1.2-14)"
    .section    .note.GNU-stack,"",@progbits


$ cat a2.c


int main(){
    int i = 0;
    i++;
    return i;
}


$ gcc -S -O3 a2.c && cat a2.s


    .file    "a2.c"
    .text
    .p2align 4,,15
.globl main
    .type    main, @function
main:
    leal    4(%esp), %ecx
    andl    $-16, %esp
    pushl    -4(%ecx)
    movl    $1, %eax
    pushl    %ebp
    movl    %esp, %ebp
    pushl    %ecx
    popl    %ecx
    popl    %ebp
    leal    -4(%ecx), %esp
    ret
    .size    main, .-main
    .ident    "GCC: (GNU) 4.1.2 20070626 (Red Hat 4.1.2-14)"
    .section    .note.GNU-stack,"",@progbits


Tady je pekne videt, ze "volatile" ma vliv jen na ulozeni mezi-vysledku (dokonce pokud neni promena deklarovana jako volatile, tak nemusi byt v pameti ani alokovana a je platna jen pro aktualni vlakno). Zadna prace s cache.