Pouvez-vous être bloqué en appelant GC.Collect et GC.WaitForPendingFinalizers?

Question

Dans le cas suivant:

GC.Collect(GC.MaxGeneration); 
GC.WaitForPendingFinalizers(); 
GC.Collect(GC.MaxGeneration); 

La prise en compte des modes multi-threading et la collecte des ordures, dans quelles circonstances auriez-vous une impasse sur WaitForPendingFinalizers?

Note: Je ne cherche pas de réponses sur les raisons pour lesquelles vous ne devriez pas appeler GC.Collect.

Answer 1

// causes a deadlock when built with release config and no debugger attached 
// building in debug mode and/or attaching the debugger might keep 
// badIdea alive for longer, in which case you won't see the deadlock 
// unless you explicitly set badIdea to null after calling Monitor.Enter 

var badIdea = new BadIdea(); 
Monitor.Enter(badIdea); 

GC.Collect(GC.MaxGeneration); 
GC.WaitForPendingFinalizers(); 
GC.Collect(GC.MaxGeneration); 

// ... 

public class BadIdea 
{ 
    ~BadIdea() 
    { 
     lock (this) 
     { 
      // ... 
     } 
    } 
} 

Answer 2

Il existe un fameux blocage sur WaitForPendingFinalizers, décrit par Jeffrey Richter. Il est montré ici: http://haacked.com/archive/2005/04/12/neverlockthis.aspx

 
class MyClass 
{ 

private bool isDisposed = false; 

    ~MyClass() 
    { 
     lock(this) 
     { 
      if(!isDisposed) 
      { 
       // ... 
      } 
     } 
    } 
} 
... 
MyClass instance = new MyClass(); 

Monitor.Enter(instance); 
instance = null; 

GC.Collect(); 
GC.WaitForPendingFinalizers(); 

Il est causé par l'utilisation incorrecte de verrouillage (ce). Quoi qu'il en soit, c'est une situation où WaitForPendingFinalizers est verrouillé.

Answer 3

Vous ne rencontrerez aucune sorte de situation de blocage lors de l'appel GC.Collect et GC.WaitForPendingFinalizersà moins que vous accédez à des objets gérés dans vos Finalize méthodes. L'appel de méthodes d'autres objets avec une portée publique peut potentiellement conduire à des résultats imprévisibles, y compris un blocage. La raison en est que vous ne contrôlez pas totalement les schémas de verrouillage de ces autres objets. Il pourrait être verrouillé par n'importe qui pendant que votre méthode de finalisation tente d'y accéder.

En outre, le verrouillage this explicitement dans le finaliseur est presque garanti pour provoquer un blocage, comme le démontre la réponse de LukeH. Vous pouvez lire l'article original de Jeffrey Richter sur ce here. En règle générale, vous ne devez libérer que des ressources non gérées dans vos finaliseurs, ce qui devrait atténuer les problèmes liés aux blocages.