При использовании CAS (Compare and Swap), как я могу гарантировать, что старое значение действительно старое?

Question

Рассмотрим следующий пример:

int grab_next_target(int* target) { 
      do {  
        /* Intention: store current value of *target into old, so as 
         to ensure that old never changes */ 
        int old = *target; 
        /* get new value based on old -- note that old is assumed not to change here */ 
        int new; 
        if (1 == old) { /* imagine that old is 1 so new is now 20 */ 
          new = 20; 
        } else if (2 == old) { 
          new = 300; 
        } else if (3 == old) { 
          new = -20; 
        } else if (4 == old) { 
          new = 400; 
        } 
        /* but the compiler has optimized 
         old to just read from *target, so *target could be 
         changed by another thread to be 4. The CAS will succeed 
         and now target will hold the wrong value (it will hold 20, instead of 400) */ 
      } while (!AO_compare_and_swap(target, old, new)); 
    } 

мне нужен способ чтения * цели в локальную переменную и убедитесь, что локальная переменная не получить оптимизированный прочь, чтобы просто быть * цель. Неустойчивый ответ?

Answer 1

Да, это (и именно это) является тем, что volatile.

int grab_next_target(volatile int *target) { 
    ... 
    int old = *target; // Guaranteed to access "target" exactly once 
    ... 
}