<atomic>

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

#include <atomic>

Notes

[!REMARQUE]

Dans le code compilé à l'aide de /clr ou d' /clr:pure, cet en-tête est bloqué.

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

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

• En fonction de son argument de memory_order , une opération atomique génère le classement des spécifications pour la visibilité des effets d'autres opérations atomiques dans le même thread.Par conséquent, elle inhibe les optimisations du compilateur qui violent les spécifications classantes.

Sur certaines plateformes, il peut s'avérer impossible d'implémenter efficacement des opérations atomiques pour certains types sans utiliser de verrous d' mutex .Un type atomique est sans verrou qu'opération atomique sur ce type ne utilisation de verrous pas.

La classe atomic_flag fournit un type atomique minimal qui contient une balise d' bool .Les opérations sont toujours sans verrou libres.

La classe de modèle atomic<Ty> enregistre un objet de son type d'argument Ty et fournit l'accès atomique que valeur signalée.Vous pouvez l'instancier à l'aide de n'importe quel type qui peut être copié à l'aide de memcpy et être testé d'égalité à l'aide de memcmp.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 jeu de spécialisations pour les types intégraux et d'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 d' atomic<Ty *> s'appliquent à tous les types pointeur.Elles fournissent des méthodes pour les opérations arithmétiques sur les pointeurs.

Spécialisations intégrales

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

Chaque type d' atomic<integral> a une macro correspondante que vous pouvez utiliser dans if directive pour déterminer au moment de la compilation si les opérations sur ce type sont sans verrou libres.Si la valeur de la macro est zéro, les opérations sur le type ne sont pas sans verrou libres.Si la valeur est 1, les opérations peuvent être sans verrou libres, et un contrôle d'exécution est requis.Si la valeur est 2, les opérations sont sans verrou libres.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 sans verrou sont libres.

Pour les types intégraux, un type atomique nommé correspondant qui gère un objet de ce type intégral.Chaque type d' atomic_integral a le même jeu de fonctions membres que l'instanciation correspondante d' atomic<Ty> et peut être passé aux fonctions atomiques non - membre l'un des.

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

Structures

Enums

Fonctions

Dans la liste suivante, les fonctions qui ne se terminent pas dans _explicit ont une sémantique d' _explicitcorrespondant, mais qu'elles ont des arguments implicites de memory_order d' memory_order_seq_cst.

Voir aussi

Référence

Modèles Standard

Autres ressources

Fichiers d'en-tête