Ce qu'il faut utiliser à la place de Interlocked.Equals

Question

J'ai un code hérité qui utilise Interlocked.Equals pour comparer les valeurs. Les valeurs peuvent être deux booléens ou peuvent comparer un tableau de structs à null. Resharper se plaint de Interlocked.Equals disant "accès à un membre statique d'un type via un type dérivé". Je sais que Equals n'est pas un membre de la classe Interlocked, mais plutôt un membre de la classe d'objets. La comparaison se passe dans un thread donc je suppose que le codeur d'origine voulait faire la comparaison comme une opération atomique d'où l'utilisation de Interlocked. Puisque object.Equals n'est pas atomique, quel est le bon, thread sûr, façon de faire ce genre de comparaisons? Notez que la plupart des données sont statiques et que certaines sont statiques.

Answer 1

Les lectures uniques de booléens ou de références d'objets sont atomiques. Donc, si vous comparez une valeur partagée à une variable constante ou locale, aucun "inter-verrouillage" n'est nécessaire. Comme Jon l'a indiqué, vous devrez utiliser Interlocked.CompareExchange pour vous assurer de lire la dernière valeur écrite, à moins que les variables partagées soient volatile. Si les deux comparaisons sont partagées, vous aurez besoin d'un verrou réel.

Il n'y a pas moyen de comparer atomiquement deux valeurs partagées AFAIK.

Mise à jour:

Je recommande la mise en place de verrous explicites pour les données partagées. Gardez à l'esprit que le code d'origine était complètement cassé, alors n'ayez pas peur de le changer.

Si vous y pensez, que feriez-vous du résultat de la comparaison? Cela n'a pas vraiment de sens. dès que vous avez le résultat, il pourrait être faux. Un verrou aurait besoin d'être tenu plus longtemps que juste pour que la comparaison puisse être utile pour quoi que ce soit.

Answer 2

Vous ne pouvez pas faire toute la comparaison atomique, mais ce n'est pas vraiment l'atomicité qui vous intéresse. C'est la volatilité, je suppose. C'est ce qui garantit que lorsque vous lisez une valeur, vous obtenez certainement la dernière version, plutôt que de voir une valeur était valide à un moment donné dans le passé, mais ne peut pas être. Si vous vraiment besoin d'atomicité à travers la partie lire/lire/comparer, je soupçonne que vous aurez besoin de verrouillage.

Vous pouvez utiliser Interlocked.CompareExchange pour vous assurer d'avoir lu la valeur la plus récente.

Avez-vous absolument besoin d'utiliser un filetage sans blocage en premier lieu? Je suggère fortement soit de construire sur des structures plus grandes (par exemple des extensions parallèles) ou simplement d'utiliser des verrous pour des données partagées (ce qui devrait être évité si possible de toute façon).