VB.NET: Devo chiamare Thread.MemoryBarrier() prima di ogni lettura se completo sempre le mie scritture con Thread.MemoryBarrier()?

Question

VB.Net non ha un equivalente di parola chiave volatile C#, quindi è necessario implementare manualmente volatile che viene in genere eseguito chiamando Thread.MemoryBarrier() prima di leggere e dopo la scrittura. Quindi, qualcosa di simile è equivalente a dichiarare C# variabile volatile:

''' <summary> 
    ''' Gets a value indicating whether this instance is disposed. 
    ''' </summary> 
    Public Property IsDisposed As Boolean 
     Get 
      Threading.Thread.MemoryBarrier() 
      Return _isDisposed 
     End Get 
     Private Set(value As Boolean) 
      _isDisposed = value 
      Threading.Thread.MemoryBarrier() 
     End Set 
    End Property 

mi chiedo della barriera memoria prima lettura è necessaria se l'unico posto dove scrivo alla variabile è attraverso un setter e ci ho sempre chiamare Discussione .MemoryBarrier() dopo la scrittura.

Posso rimuovere in modo sicuro il Thread.MemoryBarrier() prima di leggere?

Modifica: per rendere più chiaro mi chiedo se posso rimuovere il Thread.MemoryBarrier() prima di leggere al fine di rimuovere i costi della recinzione di memoria per ogni lettura.

Answer 1

Non è possibile rimuovere la barriera sul lato di lettura che è facile da mostrare con l'esempio. Usiamo questo lettore:

while (!IsDisposed); //reads _isDisposed 

Il valore di _isDisposed può chiaramente essere memorizzati nella cache in un registro qui in modo che le nuove scritture non diventeranno mai visibile. Questo ciclo potrebbe essere infinito (per esempio - altri effetti sono possibili come lunghi ritardi).

Più formalmente, le letture di _isDisposed possono tutte spostarsi "in alto" nel tempo in modo che sembrino essere eseguite prima che si verifichi lo store. I negozi volatile producono un recinto di rilascio che significa che nulla può spostarsi su di loro più tardi nel tempo. Le cose possono spostarle su punti precedenti nel tempo, però.

Utilizzare la classe Volatile. In alternativa, utilizzare una struttura scritta in C# come un involucro intorno al campo:

struct VolatileInt32Box { public volatile int Value; }