Problème de prévention de blocage et de blocage de threads

Question

S'il y a deux threads en tant que producteur/consommateur, il est bon d'avoir une ligne suivante pour éviter les blocages. Je suis au courant des verrous en direct, mais suppose qu'ils font beaucoup de travail avant d'appeler cette méthode Wait():

// member variable 
object _syncLock = new object(); 

void Wait() 
{ 
    lock (_syncLock) 
     { 
     Monitor.Pulse(_syncLock); 
     Monitor.Wait(_syncLock); 
     } 
} 

Ici, il est impossible dans les deux fils soient état d'attente.

Answer 1

Cela semble trop compliqué. Juste gérer votre verrouillage correctement en premier lieu, et éviter le problème. Si vous avez seulement deux threads, et qu'ils essaient d'acquérir le même verrou simple (correctement), vous ne devriez pas avoir d'interblocages. Une impasse signifie qu'il se passe quelque chose d'autre ici. Cela dit, si vous avez la possibilité d'utiliser le TPL via .NET 4 (ou les extensions Rx sur .NET 3.5), vous pouvez envisager d'utiliser BlockingCollection<T> à la place. Il est idéal pour une utilisation dans un scénario producteur/consommateur et fonctionne de manière non verrouillée.

Answer 2

Si votre intention est de créer une variante associé du motif producteur-consommateur, la séquence est Pulse avant Wait pour le producteur et Wait avant Pulse pour le consommateur. Vous pouvez référencer la figure 5 en Joe Duffy's article on this. Cependant, gardez à l'esprit que puisque sa mise en œuvre exécute un Wait inconditionnel dans la méthode Enqueue, un effet ping-pong se produira entre le producteur et le consommateur. La file d'attente, dans sa mise en œuvre, ne peut avoir qu'un seul élément par producteur. Donc, si c'est votre intention, alors votre billet. Sinon, vous pouvez l'adapter tel quel et appliquer une condition au Wait dans la méthode Enqueue pour qu'il se comporte davantage comme un vrai tampon FIFO.

Cependant, comme Reed, je me demande pourquoi BlockingCollection n'a pas pu être utilisé. Cette collection devrait être très efficace car elle utilise une stratégie sans verrou pour les méthodes Add et Take. Bien sûr, comme je l'ai mentionné ci-dessus, si vous voulez vraiment la variante appariée, alors cette collection ne répondra pas à vos exigences et vous devrez rouler la vôtre en utilisant Joe Duffy's comme point de départ.

_{Rappelez-vous simplement d'utiliser une boucle while au lieu d'un contrôle if avant d'appliquer l'attente. Monitor.Wait attend simplement un changement dans l'état de verrouillage et rien de plus, donc vous devez revérifier la condition d'attente.}