Archiviazione locale del thread nell'assieme

Question

Desidero incrementare una variabile TLS nell'assembly ma genera un errore di segmentazione nel codice assembly. Non voglio permettere al compilatore di cambiare nessun altro registro o memoria. C'è un modo per farlo senza usare la sintassi di input e output di gcc?

__thread unsigned val; 
int main() { 
    val = 0; 
    asm("incl %gs:val"); 
    return 0; 
} 

Answer 1

Se davvero davvero bisogno di essere in grado di fare questo per qualche motivo, si dovrebbe accedere a una variabile thread-locale dal linguaggio assembly per il precaricamento il suo indirizzo in C, in questo modo:

__thread unsigned val; 
void incval(void) 
{ 
    unsigned *vp = &val; 
    asm ("incl\t%0" : "+m" (*vp)); 
} 

Questo perché la sequenza di codice richiesta per accedere a una variabile locale del thread è diversa per quasi ogni combinazione di SO e CPU supportata da GCC e varia anche se si sta compilando per una libreria condivisa anziché un eseguibile (ovvero con -fPIC). Il costrutto sopra permette al compilatore di emettere la sequenza di codice corretta per te. Nei casi in cui è possibile accedere alla variabile locale del thread senza istruzioni aggiuntive, la generazione dell'indirizzo verrà piegata nell'operazione di assemblaggio. A titolo di esempio, ecco come gcc 4.7 per x86/Linux compila il sopra in diversi modi possibili diversi (ho spogliato fuori un mucchio di direttive assembler in tutti i casi, per chiarezza) ...

# -S -O2 -m32 -fomit-frame-pointer 
incval: 
     incl %gs:val@ntpoff 
     ret 

# -S -O2 -m64 
incval: 
     incl %fs:val@tpoff 
     ret 

# -S -O2 -m32 -fomit-frame-pointer -fpic 
incval: 
     pushl %ebx 
     call __x86.get_pc_thunk.bx 
     addl $_GLOBAL_OFFSET_TABLE_, %ebx 
     leal val@tlsgd(,%ebx,1), %eax 
     call ___tls_get_addr@PLT 
     incl (%eax) 
     popl %ebx 
     ret 

# -S -O2 -m64 -fpic 
incval: 
     .byte 0x66 
     leaq val@tlsgd(%rip), %rdi 
     .value 0x6666 
     rex64 
     call __tls_get_addr@PLT 
     incl (%rax) 
     ret 

Rendetevi conto che i tutti e quattro gli esempi sarebbero diversi se avessi compilato per x86/OSX e diverso ancora per x86/Windows.