atomic_compare_exchange_weak, atomic_compare_exchange_strong, atomic_compare_exchange_weak_explicit, atomic_compare_exchange_strong_explicit

Compare atomiquement le contenu de la mémoire pointée par obj avec le contenu de la mémoire pointée par expected , et s'ils sont égaux bit à bit, remplace le premier par desired (effectue une opération de lecture-modification-écriture). Sinon, charge le contenu actuel de la mémoire pointée par obj dans *expected (effectue une opération de chargement).

Les modèles de mémoire pour les opérations de lecture-modification-écriture et de chargement sont succ et fail respectivement. Les versions (1-2) utilisent par défaut memory_order_seq_cst .

Les formes faibles ((2) et (4)) des fonctions peuvent échouer de manière sporadique, c'est-à-dire agir comme si * obj ! = * expected même s'ils sont égaux. Lorsqu'un compare-and-exchange est dans une boucle, la version faible offrira de meilleures performances sur certaines plateformes. Lorsqu'un compare-and-exchange faible nécessiterait une boucle et qu'un fort ne le nécessiterait pas, le fort est préférable.

Ceci est une fonction générique définie pour tous les types d'objets atomiques A . L'argument est un pointeur vers un type atomique volatile pour accepter les adresses des objets atomiques non volatiles et volatiles (par exemple les E/S mappées en mémoire), et la sémantique volatile est préservée lors de l'application de cette opération aux objets atomiques volatiles. C est le type non atomique correspondant à A .

Il n'est pas spécifié si le nom d'une fonction générique est une macro ou un identifiant déclaré avec liaison externe. Si une définition de macro est supprimée pour accéder à une fonction réelle (par exemple, mise entre parenthèses comme ( atomic_compare_exchange ) ( ... ) ), ou si un programme définit un identifiant externe portant le nom d'une fonction générique, le comportement est indéfini.

Paramètres

Valeur de retour

Le résultat de la comparaison : true si *obj était égal à *exp , false sinon.

Notes

Le comportement de la famille atomic_compare_exchange_* est comme si ce qui suit était exécuté de manière atomique :

if (memcmp(obj, expected, sizeof *obj) == 0) {
    memcpy(obj, &desired, sizeof *obj);
    return true;
} else {
    memcpy(expected, obj, sizeof *obj);
    return false;
}

Références

Voir aussi