<atomic>

Définit des classes et des modèles de classe à utiliser pour créer des types qui prennent en charge les opérations atomiques.

Syntaxe

#include <atomic>

Notes

Une opération atomique a deux propriétés clés qui vous aident à utiliser plusieurs threads pour manipuler correctement un objet sans utiliser mutex de verrous.

• Étant donné qu’une opération atomique est asynchrone, une deuxième opération atomique sur le même objet à partir d’un thread différent peut obtenir l’état de l’objet uniquement avant ou après la première opération atomique.

• En fonction de son memory_order argument, une opération atomique établit des exigences de classement pour la visibilité des effets d’autres opérations atomiques dans le même thread. Par conséquent, elle empêche les optimisations du compilateur qui enfreignent les contraintes d’ordre.

Sur certaines plateformes, il n’est pas possible d’implémenter efficacement des opérations atomiques pour certains types sans utiliser de verrous mutex. Un type atomique est lock-free si aucune opération atomique sur ce type n’utilise des verrous.

C++11: dans les gestionnaires de signal, vous pouvez effectuer des opérations atomiques sur un objet obj si obj.is_lock_free() ou atomic_is_lock_free(x) sont true.

La classe atomic_flag fournit un type atomique minimal qui contient un bool indicateur. Ses opérations sont toujours sans verrou.

Le modèle atomic<T> de classe stocke un objet de son type T d’argument et fournit un accès atomique à cette valeur stockée. Vous pouvez l’instancier à l’aide de n’importe quel type qui peut être copié à l’aide memcpy et testé pour l’égalité à l’aide memcmpde . En particulier, vous pouvez l’utiliser avec les types définis par l’utilisateur qui répondent à ces exigences et, dans de nombreux cas, avec les types à virgule flottante.

Le modèle a également un ensemble de spécialisations pour les types intégraux et une spécialisation partielle pour les pointeurs. Ces spécialisations fournissent des opérations supplémentaires qui ne sont pas disponibles via le modèle principal.

Spécialisations de pointeur

Les spécialisations partielles atomic<T *> s’appliquent à tous les types de pointeur. Elles fournissent des méthodes pour l’arithmétique de pointeur.

Spécialisations intégrales

Les spécialisations atomic<integral> s’appliquent à tous les types intégraux. Ils fournissent des opérations supplémentaires qui ne sont pas disponibles via le modèle principal.

Chaque type atomic<integral> a une macro correspondante que vous pouvez utiliser dans un if directive pour déterminer au moment de la compilation si les opérations sur ce type sont sans verrou. Si la valeur de la macro est égale à zéro, les opérations sur le type ne sont pas sans verrou. Si la valeur est 1, les opérations peuvent être sans verrou et une vérification au moment de l’exécution est nécessaire. Si la valeur est 2, les opérations sont sans verrou. Vous pouvez utiliser la fonction atomic_is_lock_free pour déterminer au moment de l’exécution si les opérations sur le type sont sans verrou.

Pour chacun des types intégraux, il existe un type atomique nommé correspondant qui gère un objet de ce type intégral. Chaque type atomic_integral a le même ensemble de fonctions membres que l’instanciation correspondante de atomic<T> et peut être passée à toute fonction atomique non-membre.

Typedef les noms existent pour les spécialisations du modèle atomique pour certains des types définis dans l’en-tête <inttypes.h>.

Structures

Énumérations

Functions

Dans la liste suivante, les fonctions qui ne se terminent _explicit pas ont la sémantique des éléments correspondants _explicit, sauf qu’elles ont les arguments implicites memory_order de memory_order_seq_cst.

Voir aussi

Informations de référence sur les fichiers d’en-tête
Informations de référence sur la bibliothèque standard C++