J'ai pas mal cherché sur Google une file d'attente sans verrou en C++. J'ai trouvé du code et quelques essais - mais rien que je puisse compiler. Un hash sans verrou serait également le bienvenu.
RÉSUMÉ : Jusqu'à présent, je n'ai pas de réponse positive. Il n'y a pas de bibliothèque "prête pour la production", et étonnamment aucune des bibliothèques existantes n'est conforme à l'API des conteneurs STL.
Depuis la version 1.53, boost fournit un ensemble de structures de données sans verrou y compris les files d'attente, les piles et les files d'attente monoproducteur/monoconsommateur (c'est-à-dire les tampons en anneau).
Boost::lockfree::queue ne fonctionne qu'avec les types POD et la plupart du temps n'est pas très utile. Je suis sûr que s'il y avait un moyen de fournir une structure plus flexible, boost l'aurait introduit.
@rahman où est le problème ? Si vous voulez passer autre chose, en particulier des objets avec des effets secondaires opaques et éventuellement bloquants, vous n'avez pas compris l'objectif de la conception sans verrou.
Le point de départ serait l'un ou l'autre des articles de Herb Sutter sur la DDJ, que ce soit pour une un seul producteur et un seul consommateur ou multiples . Le code qu'il donne (en ligne à partir de la deuxième page de chaque article) utilise le type de modèle atomic<T> de style C++0x, que vous pouvez imiter en utilisant la bibliothèque interprocessus Boost.
Le code boost est enfoui dans les profondeurs de la bibliothèque interprocessus, mais après avoir lu le fichier d'en-tête approprié (atomic.hpp), les implémentations des opérations de comparaison et d'échange nécessaires sur les systèmes que je connais semblent saines.
Steve, je suis également intéressé par les implémentations atomiques de Boost, mais elles semblent résider dans Interprocess' detail/ et ne sont pas documentées. Peut-on les utiliser en toute sécurité ? Merci de votre compréhension.
Je connais très bien les articles de Herb Sutter - où avez-vous trouvé les sources ? Ils ne sont pas publiés par DDJ ni sur son site (ou peut-être suis-je aveugle ?).
Facebook's Folie semble avoir des structures de données sans verrou basées sur C++11 <atomic> :
ProducerConsumerQueue avec documentation et code d'exemple aquí .
AtomicHashMap avec documentation et code d'exemple aquí
J'ose dire qu'ils sont actuellement utilisés en production, et je suppose donc qu'ils peuvent être utilisés en toute sécurité dans d'autres projets.
Santé !
Ils disposent également d'un File d'attente du MPMC. qui, selon eux, est "optionnellement bloquante". Il semble qu'il ne fasse pas partie de leur documentation habituelle, et je ne sais pas s'il est conseillé de l'utiliser.
I a écrit une file d'attente sans verrou . Il présente des Features™ :
C'est disponible sur GitHub sous la licence BSD simplifiée (n'hésitez pas à la forker !).
Mises en garde :
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
4 votes
Visual Studio 2010 contient une file d'attente sans verrou dans <concurrent_queue.h>.
1 votes
Et il y a un hash_map et un unordered_map à code.msdn.com/concrtextras
0 votes
J'ai lu la documentation sur concurrent_queue.h à l'adresse http://msdn.microsoft.com/en-us/library/ee355358.aspx. Elle ne dit rien sur les verrous. Où puis-je trouver de telles informations ?
0 votes
Concurrent_queue est sans verrou, consultez la documentation générale de l'exécution concurrentielle sur msdn.
2 votes
Il est à noter que, curieusement, le terme "lock-free" ne signifie pas nécessairement qu'il n'y a pas de verrous. Voir fr.wikipedia.org/wiki/Non-blocking_algorithm pour une définition.
0 votes
Boost 1.53 dispose de la bibliothèque Lockfree.
0 votes
Quelqu'un a-t-il mentionné libcds.sourceforge.net (assez récent je suppose) ? De plus, on remarque qu'il n'est pas logique qu'une file d'attente lockfree soit conforme à l'API STL parce que front() et pop() doivent être combinés pour être significatifs.
13 votes
Wow, une question demandant comment résoudre un problème commun mais difficile dans la programmation multithread qui a plusieurs solutions, a généré beaucoup de discussions, et a gagné une tonne d'upvotes... Et 9 ans plus tard, vous la fermez parce qu'elle est hors sujet. Merci pour votre contribution à StackOverflow, NathanOliver, Sir E_net4 the Wise Downvoter, Jean-François Fabre, Machavity, et gre_gor /s
0 votes
Est-ce que quelqu'un parmi les "fermiers" peut donner un indice sur ce qui devrait être considéré comme "hors sujet" ? De mon point de vue, ce problème n'est toujours pas résolu de manière généralisée, réutilisable et multiplateforme ? Comment allez-vous clore cette question ? Ou est-ce que stackoverflow est maintenant un forum réservé aux débutants ?
2 votes
Je dirais que les personnes qui ont fermé la question ne la comprennent probablement pas.
0 votes
"Nous n'autorisons pas les questions portant sur des recommandations de livres, d'outils, de bibliothèques de logiciels, etc. J'ai trouvé un certain nombre d'outils très utiles ici !