« const » garantit-il la sécurité des threads en C 11 ?

Const implique-t-il la sécurité des threads en C 11 ?

La notion selon laquelle const indique la sécurité des threads en C 11 est partiellement vraie. Selon la norme C, les expressions qui modifient ou accèdent uniquement au même emplacement mémoire sont considérées comme en conflit. Les courses de données surviennent lorsqu'il y a deux actions contradictoires dans des threads distincts, où au moins l'une n'est pas atomique et aucune ne se produit avant l'autre.

La bibliothèque standard s'attend à ce que les opérations sur les objets const soient thread-safe. Cela signifie que la bibliothèque standard n'introduira pas de courses de données tant que les opérations sur les objets const de types définis par l'utilisateur :

• Comprennent entièrement des lectures
• Synchronisez les écritures en interne

Le non-respect de cette attente peut entraîner une course aux données pour les types qui interagissent directement ou indirectement avec les composants de la bibliothèque standard. Essentiellement, const implique la sécurité des threads du point de vue de la bibliothèque standard, mais cela reste un contrat que le compilateur n'applique pas.

Const vs. Java's Synchronized

Const in C 11 n'est pas équivalent à synchronisé en Java. Considérons une classe rectangle simplifiée avec les méthodes set_size et Area. zone est thread-safe non pas à cause de const, mais plutôt en raison de sa nature en lecture seule. Cependant, set_size peut provoquer des courses de données s'il est appelé en même temps que area.

Pour garantir la sécurité des threads pour la classe rect, const seul est insuffisant. Les écritures doivent être synchronisées en interne, par exemple avec un mutex, pour éviter les courses de données.

Implications pour la sécurité des threads

Envisagez une classe rect qui met en cache sa zone pour éviter des coûts coûteux. calculs :

class rect {
    mutable int cached_area = 0;
    mutable bool cached_area_valid = true;
    // ...
};

La méthode Area n'est plus thread-safe puisqu'elle effectue des écritures. L'inclusion de l'instance rect dans un conteneur standard implique un contrat avec la bibliothèque standard, qui attend un comportement de lecture. Pour maintenir ce contrat lors de l'exécution des écritures, une synchronisation interne avec un mutex est nécessaire :

class rect {
    mutable std::mutex cache_mutex;
    // ...
};

Conclusion

Const transmet la sécurité des threads dans un sens limité, mais c'est le cas pas le garantir. Pour garantir une véritable sécurité des threads, des mécanismes de synchronisation supplémentaires peuvent être nécessaires, en particulier pour les types définis par l'utilisateur qui interagissent avec la bibliothèque standard.

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!