Sta leggendo un doppio non thread-safe?

Question

Aggiornamento: Ho appena imbattuto in questo in Eric Lippert's answer-another question (che sta citando la specifica):

Legge e scrive di altri tipi, compreso lunga, ulong, doppio, e decimale, come pure come tipi definiti dall'utente , non è garantito l'atomico .

OK, quindi la lettura di un double è non atomica. Ciò significa che il valore potrebbe essere modificato in lettura centrale, giusto? Quindi, come si legge un valore double atomicamente?

---

ho notato c'è un metodo per Interlocked.Readlong valori. Questo ha senso per me, poiché la lettura di un valore a 64 bit richiede due passaggi e pertanto è soggetta alle condizioni di gara, proprio come ogni altra azione non atomica.

Ma non ci sono valori Interlocked.Read per double, anche se System.Double è un valore a 64 bit.

sto vedendo un po 'strani comportamenti nel mio programma in cui la mia interfaccia grafica, che mostra una double in una casella di testo mentre quella double viene anche aggiornato frequentemente da altri thread, sta mostrando il valore corretto (in prossimità di 200,0) più del tempo e quindi a caso mostrando un valore errato (come -0.08) occasionalmente.

Forse questo è un problema di threading, o forse è qualcos'altro. Ma prima volevo restringere le possibilità. Quindi: sta leggendo un double thread-safe?

Answer 1

Il solito modo: controllare l'accesso con un lucchetto.

Answer 2

sta leggendo una doppia discussione sicura?

No. Come le specifiche dice

legge e scrive di altri tipi, tra cui lungo, ulong, doppio, e decimali, così come i tipi definiti dall'utente, non sono garantiti per essere atomica.

In movimento.

Ciò significa che il valore potrebbe essere modificato in lettura centrale, giusto?

Sì.

Quindi come si legge un doppio valore atomicamente?

È possibile bloccare tutti gli accessi alla variabile mutabile.

E una domanda non ha chiesto, ma spesso viene chiesto come follow-up alle tue domande:

Vuol fare un campo "volatile" make legge/scrive di esso atomica?

No. Non è legale creare un campo volatile di tipo double.

Answer 3

Il CLR promette solo un allineamento variabile di 4. Ciò significa che è del tutto possibile per un lungo o doppio per scavalcare i limiti di una cache-line della CPU. Ciò rende la lettura garantita non atomica.

È anche un problema di perforazione abbastanza serio, la lettura di una variabile mal allineata è oltre 3 volte più lenta. Niente di ciò che puoi fare al di là di puntatori hacker.

Answer 4

Utilizzare Interlocked.Exchange O Interlocked.CompareExchange per la lettura atomica come questa.

Interlocked.Exchange(ref somevariable, somevariable)

Si restituisce valore originale.

Se si desidera evitare di scrivere utilizzare compareExchange.

Interlocked.CompareExchange(ref somevariable, somevalue, somevalue);

Questo sostituirà la variabile con il secondo argomento se è uguale al terzo argomento, e riportare il valore originale. Utilizzando lo stesso valore (ad es. Zero) in entrambi i punti garantisce che il valore della variabile non venga modificato.