


Pourquoi « std :: atomic » utilise-t-il « XCHG » pour les magasins séquentiellement cohérents ?
Pourquoi std::atomic utilise XCHG pour les magasins de cohérence séquentielle
Contexte
Dans le domaine du multithreading, la classe std::atomic fournit un des moyens pour un accès simultané aux données partagées entre les threads tout en garantissant l'intégrité des données. Sa fonction membre de magasin permet d'écrire des valeurs dans une variable atomique avec une sémantique d'ordre de mémoire spécifiée.
Dans le cas d'une cohérence séquentielle (std::memory_order_seq_cst), les architectures x86 utilisent une instruction xchg pour implémenter des magasins atomiques. Cette instruction effectue un échange simultané de valeurs plutôt qu'une simple opération de stockage.
Motivation pour XCHG
Bien qu'il puisse sembler qu'une instruction de stockage simple couplée à une barrière de mémoire (par exemple, _ReadWriteBarrier() ou asm volatile("" ::: "memory");) suffirait pour la cohérence séquentielle, l'utilisation de xchg a plusieurs avantages :
1. Barrière de mémoire complète : xchg agit comme une barrière de mémoire complète sur x86 en raison de son préfixe de verrouillage implicite. Cela garantit que toutes les opérations de mémoire avant et après xchg sont ordonnées, empêchant ainsi la réorganisation de la mémoire.
2. La sémantique de version est insuffisante : Une opération de magasin normale sur x86 présente une sémantique de version, qui permet une réorganisation avec les opérations ultérieures, y compris l'acquisition de charges. La cohérence séquentielle, en revanche, exige qu'une telle réorganisation soit interdite.
Considérations sur les performances
Le choix entre xchg et mov mfence pour les magasins atomiques a des implications sur les performances :
- Skylake : mfence bloque l'exécution dans le désordre des instructions ALU, alors que xchg le fait pas. Cependant, xchg comporte une fausse dépendance sur la valeur précédemment chargée.
- AMD : Le manuel d'optimisation matérielle recommande d'utiliser xchg pour les magasins de cohérence séquentielle.
- GCC/ Optimisation Clang : Les compilateurs modernes préfèrent généralement xchg à mov mfence.
Alternative pour les clôtures de threads
Outre l'utilisation de xchg pour les magasins atomiques, d'autres options pour implémenter des clôtures de threads atomiques (également avec l'ordre de mémoire seq_cst) incluent :
- lock ajouter à la pile
- lock ou dword [rsp], 0
Distinguer libération et acquisition
Il est important de noter que :
- Un magasin avec une cohérence séquentielle n'implique pas l'acquisition de sémantique.
- asm volatile("" ::: "memory"); est une barrière du compilateur uniquement et n'impose pas la cohérence séquentielle.
- L'émulation de la cohérence séquentielle avec des opérations d'ordre plus faibles et des clôtures peut ne pas s'aligner entièrement sur le modèle de machine abstraite C.
Conclusion
En résumé, les magasins std::atomic avec cohérence séquentielle sur les architectures x86 utilisent xchg en raison de son effet de barrière mémoire complète et de sa compatibilité avec les exigences. de cohérence séquentielle. Bien que des implémentations alternatives existent, xchg reste une solution largement adoptée pour son efficacité et sa conformité aux recommandations de l'industrie.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

C Les apprenants et les développeurs peuvent obtenir des ressources et le soutien de Stackoverflow, des cours R / CPP de Reddit, Coursera et EDX, des projets open source sur GitHub, des services de conseil professionnel et CPPCON. 1. StackOverflow fournit des réponses aux questions techniques; 2. La communauté R / CPP de Reddit partage les dernières nouvelles; 3. Coursera et Edx fournissent des cours de C officiels; 4. Projets open source sur GitHub tels que LLVM et Boost Améliorer les compétences; 5. Les services de conseil professionnel tels que Jetbrains et Perforce fournissent un support technique; 6. CPPCON et d'autres conférences aident les carrières

C # convient aux projets qui nécessitent une efficacité de développement élevée et un support multiplateforme, tandis que C convient aux applications qui nécessitent des performances élevées et un contrôle sous-jacent. 1) C # simplifie le développement, fournit une collection de déchets et des bibliothèques de classe riches, adaptées aux applications au niveau de l'entreprise. 2) C permet un fonctionnement de la mémoire directe, adapté au développement de jeux et à l'informatique haute performance.

C Les raisons de l'utilisation continue incluent ses caractéristiques élevées, une application large et en évolution. 1) Performances à haute efficacité: C fonctionne parfaitement dans la programmation système et le calcul haute performance en manipulant directement la mémoire et le matériel. 2) Largement utilisé: briller dans les domaines du développement de jeux, des systèmes intégrés, etc. 3) Évolution continue: depuis sa sortie en 1983, C a continué à ajouter de nouvelles fonctionnalités pour maintenir sa compétitivité.

Les tendances futures de développement de C et XML sont: 1) C introduira de nouvelles fonctionnalités telles que les modules, les concepts et les coroutines à travers les normes C 20 et C 23 pour améliorer l'efficacité et la sécurité de la programmation; 2) XML continuera d'occuper une position importante dans les fichiers d'échange de données et de configuration, mais sera confronté aux défis de JSON et YAML, et se développera dans une direction plus concise et facile à analyser, telles que les améliorations de XMLSChema1.1 et XPATH3.1.

Le modèle de conception C moderne utilise de nouvelles fonctionnalités de C 11 et au-delà pour aider à créer des logiciels plus flexibles et efficaces. 1) Utilisez des expressions lambda et de la fonction std :: pour simplifier le modèle d'observateur. 2) Optimiser les performances grâce à la sémantique mobile et à un transfert parfait. 3) Les conseils intelligents garantissent la sécurité et la gestion des ressources.

C Les concepts de base de la lecture multithre et de la programmation simultanée incluent la création et la gestion de threads, la synchronisation et l'exclusion mutuelle, les variables conditionnelles, la mise en commun des threads, la programmation asynchrone, les erreurs courantes et les techniques de débogage, et l'optimisation des performances et les meilleures pratiques. 1) Créez des threads à l'aide de la classe de threads std ::. L'exemple montre comment créer et attendre que le fil se termine. 2) Synchroniser et exclusion mutuelle pour utiliser STD :: Mutex et STD :: Lock_guard pour protéger les ressources partagées et éviter la concurrence des données. 3) Les variables de condition réalisent la communication et la synchronisation entre les threads via STD :: Condition_variable. 4) L'exemple de pool de threads montre comment utiliser la classe Threadpool pour traiter les tâches en parallèle pour améliorer l'efficacité. 5) La programmation asynchrone utilise Std :: comme

La gestion de la mémoire de C, les pointeurs et les modèles sont des caractéristiques de base. 1. La gestion de la mémoire alloue et libère manuellement la mémoire par le biais de nouvelles et de suppression, et prêtez attention à la différence entre le tas et la pile. 2. Les pointeurs permettent un fonctionnement direct des adresses mémoire et les utilisent avec prudence. Les pointeurs intelligents peuvent simplifier la gestion. 3. Le modèle implémente la programmation générique, améliore la réutilisabilité et la flexibilité du code, et doit comprendre la dérivation et la spécialisation du type.

C convient à la programmation système et à l'interaction matérielle car elle fournit des capacités de contrôle proches du matériel et des fonctionnalités puissantes de la programmation orientée objet. 1) C Grâce à des fonctionnalités de bas niveau telles que le pointeur, la gestion de la mémoire et le fonctionnement des bits, un fonctionnement efficace au niveau du système peut être réalisé. 2) L'interaction matérielle est implémentée via des pilotes de périphérique, et C peut écrire ces pilotes pour gérer la communication avec des périphériques matériels.


Outils d'IA chauds

Undresser.AI Undress
Application basée sur l'IA pour créer des photos de nu réalistes

AI Clothes Remover
Outil d'IA en ligne pour supprimer les vêtements des photos.

Undress AI Tool
Images de déshabillage gratuites

Clothoff.io
Dissolvant de vêtements AI

AI Hentai Generator
Générez AI Hentai gratuitement.

Article chaud

Outils chauds

mPDF
mPDF est une bibliothèque PHP qui peut générer des fichiers PDF à partir de HTML encodé en UTF-8. L'auteur original, Ian Back, a écrit mPDF pour générer des fichiers PDF « à la volée » depuis son site Web et gérer différentes langues. Il est plus lent et produit des fichiers plus volumineux lors de l'utilisation de polices Unicode que les scripts originaux comme HTML2FPDF, mais prend en charge les styles CSS, etc. et présente de nombreuses améliorations. Prend en charge presque toutes les langues, y compris RTL (arabe et hébreu) et CJK (chinois, japonais et coréen). Prend en charge les éléments imbriqués au niveau du bloc (tels que P, DIV),

Listes Sec
SecLists est le compagnon ultime du testeur de sécurité. Il s'agit d'une collection de différents types de listes fréquemment utilisées lors des évaluations de sécurité, le tout en un seul endroit. SecLists contribue à rendre les tests de sécurité plus efficaces et productifs en fournissant facilement toutes les listes dont un testeur de sécurité pourrait avoir besoin. Les types de listes incluent les noms d'utilisateur, les mots de passe, les URL, les charges utiles floues, les modèles de données sensibles, les shells Web, etc. Le testeur peut simplement extraire ce référentiel sur une nouvelle machine de test et il aura accès à tous les types de listes dont il a besoin.

Version crackée d'EditPlus en chinois
Petite taille, coloration syntaxique, ne prend pas en charge la fonction d'invite de code

SublimeText3 Linux nouvelle version
Dernière version de SublimeText3 Linux

Dreamweaver Mac
Outils de développement Web visuel