Blocchi rientranti in C #

Il codice seguente determinerà un deadlock utilizzando C # su .NET?

 class MyClass
 {
    private object lockObj = new object();

    public void Foo()
    {
        lock(lockObj)
        { 
             Bar();
        }
    }

    public void Bar()
    {
        lock(lockObj)
        { 
          // Do something 
        }
    }       
 }

No, non fintanto che stai bloccando lo stesso oggetto. Il codice ricorsivo ha già effettivamente il blocco e quindi può continuare senza ostacoli.

lock(object) {...}è una scorciatoia per usare la classe Monitor . Come sottolinea Marc , Monitorconsente il rientro , quindi i tentativi ripetuti di bloccare un oggetto su cui il thread corrente ha già un blocco funzioneranno perfettamente.

Se inizi a bloccare oggetti diversi , è allora che devi stare attento. Prestare particolare attenzione a:

• Acquisisci sempre blocchi su un determinato numero di oggetti nella stessa sequenza.
• Rilascia sempre i blocchi nella sequenza inversa a come li acquisisci.

Se si interrompe una di queste regole si sta praticamente la garanzia di ricevere le questioni di stallo a un certo punto .

Ecco una buona pagina web che descrive la sincronizzazione dei thread in .NET: http://dotnetdebug.net/2005/07/20/monitor-class-avoiding-deadlocks/

Inoltre, blocca il minor numero di oggetti alla volta possibile. Considera l' idea di applicare ciocche a grana grossa, ove possibile. L'idea è che se puoi scrivere il tuo codice in modo tale che ci sia un oggetto grafico e puoi acquisire blocchi sulla radice di quell'oggetto grafico, allora fallo. Ciò significa che hai un blocco su quell'oggetto root e quindi non devi preoccuparti troppo della sequenza in cui acquisisci / rilascia i blocchi.

(Un'ulteriore nota, il tuo esempio non è tecnicamente ricorsivo. Perché sia ​​ricorsivo, Bar()dovrebbe chiamare se stesso, tipicamente come parte di un'iterazione.)

Bene, Monitorconsente il rientro, quindi non puoi bloccarti ... quindi no: non dovrebbe funzionare

Se un thread ha già un blocco, non si bloccherà da solo. Il framework .Net lo garantisce. Devi solo assicurarti che due thread non tentino di acquisire gli stessi due blocchi fuori sequenza da qualsiasi percorso di codice.

Lo stesso thread può acquisire lo stesso blocco più volte, ma è necessario assicurarsi di rilasciare il blocco lo stesso numero di volte in cui lo si acquisisce. Ovviamente, finché utilizzi la parola chiave "lock" per farlo, avviene automaticamente.

No, questo codice non avrà dead lock. Se vuoi davvero creare deadlock, il più semplice richiede almeno 2 risorse. Considera lo scenario del cane e delle ossa. 1. Un cane ha il pieno controllo di 1 osso, quindi qualsiasi altro cane deve aspettare. 2. Sono necessari almeno 2 cani con 2 ossa per creare un punto morto quando si bloccano rispettivamente le loro ossa e cercano anche altre ossa.

.. così via e così via n cani e m ossa e causare situazioni di stallo più sofisticate.