Structures de données Verrouillage sans en C++ Compare et échange de routine

Question

Dans cet article: Lock-Free Data Structures (pdf) les éléments suivants "Compare et échange" apparaît fondamentale:

template <class T> 
bool CAS(T* addr, T exp, T val) 
{ 
    if (*addr == exp) 
    { 
    *addr = val; 
    return true; 
    } 
    return false; 
} 

Et puis dit

Le toute la procédure est atomique

Mais comment cela se passe-t-il? Est-ce qu'il n'est pas possible qu'un autre acteur puisse changer la valeur de addr entre le if et l'assignation? Dans ce cas, en supposant que tout le code utilise ce CAS fondamental, il serait trouvé la prochaine fois que quelque chose "attendait" qu'il soit d'une certaine manière, et ce n'était pas le cas. Cependant, cela ne change pas le fait que cela puisse arriver, auquel cas, est-ce encore atomique? Qu'en est-il de l'autre acteur redevenu vrai, même quand les changements ont été écrasés par cet acteur? Si cela ne peut pas arriver, alors pourquoi?

Je veux croire l'auteur, alors qu'est-ce qui me manque ici? Je pense que cela doit être évident. Mes excuses à l'avance si cela semble trivial.

Answer 1

Il décrit une opération atomique qui est donnée par l'implémentation, "en quelque sorte". C'est du pseudo-code pour quelque chose implémenté dans le matériel.