volatile object globalOne = ...

class ObjectMutator
{
  volatile object oldOne;
  volatile object newOne;
  volatile bool completed = false;

  void Mutate()
  {
    oldOne = globalOne;
    globalOne = this;
    newOne = f(...);
    completed = true; //3
    globalOne = newOne; //1
  }
}

var current = globalOne; //2
if(globalOne is ObjectMutator)
{
  var mutator = (ObjectMutator)globalOne;
  return mutator.completed ? mutator.newOne : mutator.oldOne;
}
else
  return current;

Interloked.CompareExchange(ref globalOne, newOne, this);

volatile bool isIdling;
volatile bool hasWork;
   
   //Consumer thread
   void BlockOnIdle(){
      lock (condVariable){
         isIdling = true;
         if (!hasWork)
             Monitor.Wait(condVariable);
         isIdling = false;
      }
   }
   
   //Producer thread
   void NotifyPotentialWork(){
      hasWork = true;
      if (isIdling)
         lock (condVariable) {
            Monitor.Pulse(condVariable);
         }   
   }

completed = true; //3
globalOne = newOne; //1

D>>completed = true; //3
D>>globalOne = newOne; //1
D>>

Пример

using System;
using System.Threading;
class Test
{
    public static int result;   
    public static volatile bool finished;
    static void Thread2() {
        result = 143;    
        finished = true; 
    }
    static void Main() {
        finished = false;
        // Запуск Thread2() в новом потоке
        new Thread(new ThreadStart(Thread2)).Start();
        // Дождаться, пока Thread2 не сообщит о наличии result установкой
        // finished в true.
        for (;;) {
            if (finished) {
                Console.WriteLine("result = {0}", result);
                return;
            }
        }
    }
}

дает на выходе :
result = 143
В этом примере метод Main запускает новый поток, выполняющий метод Thread2. Этот метод сохраняет значение в поле не-volatile с именем result, затем сохраняет true в поле volatile с именем finished. Главный поток дожидается, пока поле finished не будет установлено в true, затем читает поле result. Так как finished объявлено как volatile, главный поток должен прочитать значение 143 из поля result. Если бы поле finished не было объявлено как volatile, то сохранение в result могло быть видимым в главном потоке после сохранения в finished, и главный поток мог прочитать значение 0 из поля result. Объявление finished как поля volatile предотвращает все такие несогласованности.

Interloked.CompareExchange(ref globalOne, newOne, this);