Puis-je imbriquer des sections critiques? Est-ce que TCriticalSection est emboîtable?

Question

Je veux avoir deux procédures qui peuvent s'appeler l'une l'autre, ou être appelées à partir de n'importe quel threads en cours d'exécution, mais n'en avoir qu'une qui court à la fois. Comment puis-je faire ceci? Est-ce que cela fonctionnera correctement?

var 
    cs: TCriticalSection; 

procedure a; 
begin 
    cs.Acquire; 
    try 
    // Execute single threaded here. 
    finally 
    cs.Release; 
    end; 
end; 

procedure b; 
begin 
    cs.Acquire; 
    try 
    // Execute single threaded here. Maybe with calls to procedure a. 
    finally 
    cs.Release; 
    end; 
end; 

Answer 1

Oui, cela fonctionnera. La procédure A peut appeler B et vice versa dans le même thread et pendant que le thread A utilise la procédure A ou B, le thread B doit attendre quand il veut utiliser ces procédures.

Consultez la documentation MSDN sur les sections critiques: http://msdn.microsoft.com/en-us/library/ms682530%28VS.85%29.aspx

sections critiques peuvent être imbriquées, mais pour chaque appel d'acquérir vous devez avoir un appel à la libération. Parce que vous avez votre appel Release dans une clause try .. finally, vous vous assurez que cela arrive, donc votre code est correct.

Answer 2

Bien qu'il soit possible sur Windows d'acquérir une section critique plusieurs fois, ce n'est pas possible sur toutes les plateformes, certaines d'entre elles bloqueront la tentative de ré-acquisition d'un objet de synchronisation.

Il n'est pas vraiment nécessaire d'autoriser "l'imbrication" ici. Si vous concevez vos classes correctement, de manière à ce que l'interface publique acquière et libère la section critique, et non les méthodes d'implémentation, et si vous vous assurez que les méthodes d'implémentation n'appellent jamais les méthodes d'interface, vous n'avez pas besoin fonctionnalité. Voir aussi la question de dépassement de pile "Recursive Lock (Mutex) vs Non-Recursive Lock (Mutex)" pour plus de détails sur les mauvais côtés de l'acquisition récursive de mutex/section critique.