sicurezza Discussione con il mucchio-memoria allocata

Question

stavo leggendo questo: http://en.wikipedia.org/wiki/Thread_safety

è la seguente funzione thread-safe?

void foo(int y){ 
    int * x = new int[50]; 
    /*...do some stuff with the allocated memory...*/ 
    delete [] x; 
} 

Nell'articolo si dice che per essere thread-safe è possibile utilizzare solo le variabili dallo stack. Veramente? Perché? Le chiamate successive della funzione sopra non allocano la memoria altrove?

Modifica: Ah. Sembra che ho letto male questa parte dell'articolo:

Una subroutine è rientrante, e quindi thread-safe, se

• le uniche variabili che utilizza sono dalla pila

(l'ho preso come valore

Una subroutine è rientrante, e quindi thread-safe, se e solo se

• le uniche variabili che usa sono dalla pila

, che secondo le risposte qui sotto, non è il caso)

Answer 1

Se si esegue la codifica in un ambiente che supporta il multi-threading, allora si può essere piuttosto sicuro new è sicuro.

Sebbene la memoria sia nell'heap, il puntatore ad esso è in pila. Solo il thread ha il puntatore a questa memoria, quindi non vi è alcun rischio di modifiche simultanee - nessun altro thread sa dove è la memoria per modificarlo.

Si otterrebbe un problema con la sicurezza del thread solo se si passasse questo puntatore a un altro thread che modificasse contemporaneamente questa memoria nello stesso momento del thread originale (o di un altro).

Answer 2

new e delete può o potrebbe non essere sicuro. Probabilmente lo sono, ma questo dipende dall'implementazione. Vedi: C++ new operator thread safety in linux and gcc 4

Per essere thread-safe, una funzione deve utilizzare le variabili stack o sincronizzare l'accesso ad altre risorse con altri thread. Finché chiamate separate a nuovo allocano spazio diverso sull'heap quando viene chiamato da thread diversi, si dovrebbe andare bene.

Answer 3

Non è detto che si possano usare solo variabili di stack, si dice che l'uso di variabili heap "suggerisce la necessità di un attento esame per vedere se non è sicuro".

new esono normalmente implementati in modo thread-safe (non è sicuro che lo standard lo garantisca), quindi il codice sopra probabilmente andrà bene.

Inoltre solite raccomandazioni di usare std::vector invece di allocare manualmente un array, ma suppongo che hai fornito solo a titolo di esempio :)