Kilitli bir nesne, içinde bir istisna olursa kilitli kalır mı?

Ac # threading uygulamasında, bir nesneyi kilitlemem gerekirse, bir sıra diyelim ve bir istisna olursa nesne kilitli kalır mı? İşte sözde kod:

int ii;
lock(MyQueue)
{
   MyClass LclClass = (MyClass)MyQueue.Dequeue();
   try
   {
      ii = int.parse(LclClass.SomeString);
   }
   catch
   {
     MessageBox.Show("Error parsing string");
   }
}

Anladığım kadarıyla, yakalamadan sonraki kod çalışmıyor - ancak kilidin serbest bırakılıp bırakılmayacağını merak ediyordum.

İlk; TryParse'ı düşündünüz mü?

in li;
if(int.TryParse(LclClass.SomeString, out li)) {
    // li is now assigned
} else {
    // input string is dodgy
}

Kilit 2 nedenden dolayı serbest bırakılacaktır; ilk olarak, lockesasen:

Monitor.Enter(lockObj);
try {
  // ...
} finally {
    Monitor.Exit(lockObj);
}

İkinci; içteki istisnayı yakalar ve yeniden atmazsınız, böylece lockasla bir istisna görmez. Tabii ki, bir MessageBox süresince kilidi tutuyorsunuz, bu bir sorun olabilir.

Bu nedenle, en ölümcül felakete neden olan kurtarılamaz istisnalar dışında tümüyle yayınlanacak.

Bu eski soruya verdikleri yanıtlarda hiç kimsenin bir istisnaya kilitlenmenin inanılmaz derecede tehlikeli bir şey olduğundan bahsetmediğini not ediyorum . Evet, C # içindeki kilit deyimleri "nihayet" anlamsallığına sahiptir; kontrol normal veya anormal şekilde kilitten çıktığında, kilit serbest bırakılır. Hepiniz bundan iyi bir şeymiş gibi bahsediyorsunuz, ama bu kötü bir şey! Eğer işlenmeyen bir özel durum için atar kilitli bölgeyi varsa doğru şeyin daha kullanıcı verilerini tahrip hemen önce hastalıklı süreci sonlandırmak değil, kilit boşaltın ve gitmeye devam .

Şuna bakın: Diyelim ki kapısında kilit olan bir banyonuz ve dışarıda bekleyen bir sıra insan var. Banyodaki bir bomba patlayarak içerideki kişiyi öldürür. Sorunuz "bu durumda kilit otomatik olarak açılacak ve böylece sonraki kişi banyoya girebilecek mi?" Evet olacak. Bu iyi birşey değil. Orada bir bomba patladı ve birini öldürdü! Tesisat muhtemelen yıkılmıştır, ev artık yapısal olarak sağlam değildir ve orada başka bir bomba olabilir . Yapılacak doğru şey, herkesi olabildiğince çabuk dışarı çıkarmak ve tüm evi yıkmaktır.

Demek istediğim, bir düşünün: bir veri yapısından başka bir iş parçacığında mutasyona uğratılmadan okumak için bir kod bölgesini kilitlediyseniz ve bu veri yapısındaki bir şey bir istisna attıysa, büyük olasılıkla veri yapısı bozuk . Kullanıcı verileri artık karıştı; Bu noktada kullanıcı verilerini kaydetmeyi denemek istemezsiniz çünkü daha sonra bozuk verileri kaydediyorsunuz . Sadece süreci sonlandırın.

Aynı anda durumu okuyan başka bir iş parçacığı olmadan bir mutasyon gerçekleştirmek için bir kod bölgesini kilitlediyseniz ve mutasyon atarsa, o zaman veriler daha önce bozuk değilse, kesinlikle şimdi . İşte kilidin koruması gereken senaryo da tam olarak budur . Şimdi bu durumu okumayı bekleyen koda derhal bozuk duruma erişim verilecek ve muhtemelen kendisi çökecektir. Yine, yapılacak doğru şey süreci sonlandırmaktır.

Nasıl dilimlediğin önemli değil, bir kilidin içindeki istisna kötü haberdir . Sorulması gereken doğru soru "bir istisna durumunda kilidim temizlenecek mi?" Sorulması gereken doğru soru, "bir kilidin içinde hiçbir zaman bir istisna olmamasını nasıl sağlayabilirim? Ve eğer varsa, o zaman programımı, mutasyonların önceki iyi durumlara geri döndürülmesi için nasıl yapılandırırım?"

evet, bu düzgün bir şekilde yayınlanacak; Sonunda ile / lockgibi davranır , bu nedenle nasıl çıkarsanız çıkın serbest bırakılacaktır. Yan not olarak,tryfinallyMonitor.Exit(myLock)catch(... e) {throw e;} olarak, yığın izlemeye zarar vereceği için en iyi şekilde kaçınılmalıdır e; onu yakalamak için iyi değil hiç kullanımını: alternatif olarak veya throw;yerine throw e;yeniden atış yapar ki.

Gerçekten bilmek istiyorsanız, C # 4 / .NET 4'teki bir kilit:

{
    bool haveLock = false;
    try {
       Monitor.Enter(myLock, ref haveLock);
    } finally {
       if(haveLock) Monitor.Exit(myLock);
    }
} 

"Bir Monitor.Enter çağrısına bir kilit ifadesi derlenir ve ardından bir dene… nihayet engellenir.

Hem x86 hem de x64 için JIT kodu üretimi, bir Monitor.Enter çağrısı ve hemen ardından gelen bir try bloğu arasında iş parçacığı iptalinin gerçekleşmemesini sağlar. "

Alındığı yer: Bu site

Kilidiniz düzgün bir şekilde açılacaktır. A şu şekilde lockdavranır:

try {
    Monitor.Enter(myLock);
    // ...
} finally {
    Monitor.Exit(myLock);
}

Ve finallybloktan nasıl ayrılırsanız çıkın, tryblokların yürütülmesi garantilidir .

Sadece Marc'ın mükemmel cevabına biraz eklemek için.

Bunun gibi durumlar, lockanahtar kelimenin varlığının tam sebebidir . Geliştiricilerin kilidin finallyblokta serbest bırakıldığından emin olmalarına yardımcı olur .

Eğer kullanım zorunda ediyorsanız Monitor.Enter/ Exitbir zaman aşımı desteklemek için örneğin size arama yapmak emin olmalısınız Monitor.Exitiçinde finallybir istisna durumunda kilidin doğru bırakılmasını sağlamak için bloğun.