recherche
Maisondéveloppement back-endC++Les opérations de lecture-modification-écriture atomiques C sont-elles des opérations uniques avec une sémantique d'acquisition-libération, ou une séquence de chargements et de magasins ?

Are C   Atomic Read-Modify-Write Operations Single Operations with Acquire-Release Semantics, or a Sequence of Loads and Stores?

Ordre de la mémoire avec les opérations atomiques de lecture-modification-écriture

En C, les opérations atomiques de lecture-modification-écriture (RMW) telles que x .exchange() applique des garanties de commande spécifiques par rapport aux autres charges et magasins. La question se pose de savoir si ces opérations sont prises en compte :

  1. Une opération unique avec une sémantique d'acquisition-libération
  2. Une charge d'acquisition suivie d'un magasin de libération avec des garanties supplémentaires

Perspective standard

Selon la norme C, les opérations RMW sont traitées comme des opérations uniques. Ceci est implicite par leur nom singulier et la formulation associée.

Implémentation ARM64

Dans ARM64, les opérations RMW sont implémentées sous la forme d'une séquence d'instructions de chargement, d'échange atomique et de stockage. . Bien que théoriquement cette implémentation permette à l'instruction de magasin de devenir visible avant l'échange atomique, cela n'affecte pas les garanties d'ordre de mémoire de la norme.

Synchronisation de la mémoire

Synchronisation de la mémoire en C est principalement basé sur la relation de synchronisation entre les opérations de libération et d'acquisition. Dans l'exemple de code fourni :

  • x.exchange(1, std::memory_order_acq_rel) : L'acquisition de la relation de synchronisation avec n'a pas d'importance car il n'y a pas de magasins ultérieurs à x.
  • x.load(std::memory_order_acquire) : La charge sur x ne se synchronise avec rien, ce qui la rend efficace détendu.

Analyse de synchronisation

Comme il n'y a pas d'autres opérations avec lesquelles se synchroniser, la séquence suivante se produit :

  1. Store à y
  2. Charger sur y (détendu)
  3. Charger sur x (détendu)

Sortie possible

Par conséquent, le code peut en effet sortir 0, 1. La perspective de la norme implique que l'opération RMW est une opération unique avec aucune garantie supplémentaire, permettant cette sortie.

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!

Déclaration
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Comment fonctionne la bibliothèque de modèle standard C (STL)?Comment fonctionne la bibliothèque de modèle standard C (STL)?Mar 12, 2025 pm 04:50 PM

Cet article explique la bibliothèque de modèles standard C (STL), en se concentrant sur ses composants principaux: conteneurs, itérateurs, algorithmes et fonctors. Il détaille comment ces interagissent pour permettre la programmation générique, l'amélioration de l'efficacité du code et de la lisibilité

Comment utiliser efficacement les algorithmes du STL (trier, trouver, transformer, etc.)?Comment utiliser efficacement les algorithmes du STL (trier, trouver, transformer, etc.)?Mar 12, 2025 pm 04:52 PM

Cet article détaille l'utilisation efficace de l'algorithme STL en c. Il met l'accent sur le choix de la structure des données (vecteurs vs listes), l'analyse de la complexité des algorithmes (par exemple, STD :: Srieur vs std :: partial_sort), l'utilisation des itérateurs et l'exécution parallèle. Pièges communs comme

Comment gérer efficacement les exceptions en C?Comment gérer efficacement les exceptions en C?Mar 12, 2025 pm 04:56 PM

Cet article détaille la gestion efficace des exceptions en C, couvrant les mécanismes d'essai, de capture et de lancement. Il met l'accent sur les meilleures pratiques comme RAII, en évitant les blocs de capture inutiles et en enregistrant des exceptions pour un code robuste. L'article aborde également Perf

Comment utiliser Move Semantics en C pour améliorer les performances?Comment utiliser Move Semantics en C pour améliorer les performances?Mar 18, 2025 pm 03:27 PM

L'article discute de l'utilisation de Move Semantics en C pour améliorer les performances en évitant la copie inutile. Il couvre la mise en œuvre de constructeurs de déplace

Comment utiliser les plages dans C 20 pour une manipulation de données plus expressive?Comment utiliser les plages dans C 20 pour une manipulation de données plus expressive?Mar 17, 2025 pm 12:58 PM

Les plages de c 20 améliorent la manipulation des données avec l'expressivité, la composibilité et l'efficacité. Ils simplifient les transformations complexes et s'intègrent dans les bases de code existantes pour de meilleures performances et maintenabilité.

Comment le répartition dynamique fonctionne-t-il en C et comment affecte-t-il les performances?Comment le répartition dynamique fonctionne-t-il en C et comment affecte-t-il les performances?Mar 17, 2025 pm 01:08 PM

L'article traite de Dynamic Dispatch in C, ses coûts de performance et les stratégies d'optimisation. Il met en évidence les scénarios où la répartition dynamique a un impact

Comment utiliser efficacement les références RValue en C?Comment utiliser efficacement les références RValue en C?Mar 18, 2025 pm 03:29 PM

L'article discute de l'utilisation efficace des références de référence en C pour la sémantique de déplacement, le transfert parfait et la gestion des ressources, mettant en évidence les meilleures pratiques et les améliorations des performances. (159 caractères)

Comment fonctionne la gestion de la mémoire de C, y compris les pointeurs nouveaux, supprimés et intelligents?Comment fonctionne la gestion de la mémoire de C, y compris les pointeurs nouveaux, supprimés et intelligents?Mar 17, 2025 pm 01:04 PM

C La gestion de la mémoire utilise des pointeurs nouveaux, supprimés et intelligents. L'article traite du manuel par rapport à la gestion automatisée et de la façon dont les pointeurs intelligents empêchent les fuites de mémoire.

See all articles

Outils d'IA chauds

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

Images de déshabillage gratuites

Clothoff.io

Clothoff.io

Dissolvant de vêtements AI

AI Hentai Generator

AI Hentai Generator

Générez AI Hentai gratuitement.

Article chaud

R.E.P.O. Crystals d'énergie expliqués et ce qu'ils font (cristal jaune)
3 Il y a quelques semainesBy尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Meilleurs paramètres graphiques
3 Il y a quelques semainesBy尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Comment réparer l'audio si vous n'entendez personne
3 Il y a quelques semainesBy尊渡假赌尊渡假赌尊渡假赌

Outils chauds

Listes Sec

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

Version crackée d'EditPlus en chinois

Petite taille, coloration syntaxique, ne prend pas en charge la fonction d'invite de code

Adaptateur de serveur SAP NetWeaver pour Eclipse

Adaptateur de serveur SAP NetWeaver pour Eclipse

Intégrez Eclipse au serveur d'applications SAP NetWeaver.

Télécharger la version Mac de l'éditeur Atom

Télécharger la version Mac de l'éditeur Atom

L'éditeur open source le plus populaire

PhpStorm version Mac

PhpStorm version Mac

Le dernier (2018.2.1) outil de développement intégré PHP professionnel