Kilit tam olarak nasıl çalışır?

İş parçacığı güvenli olmayan nesneleri kullanmak için kodu böyle bir kilit ile sarın görüyorum:

private static readonly Object obj = new Object();

lock (obj)
{
    // thread unsafe code
}

Birden fazla iş parçacığı aynı koda eriştiğinde ne olur (bir ASP.NET web uygulamasında çalıştığını varsayalım). Kuyrukta mı? Eğer öyleyse ne kadar bekleyecekler?

Kilitlerin kullanılmasından dolayı performans etkisi nedir?

lockDeyim aşağıdakine C # 3.0 ile çevrilmiştir:

var temp = obj;

Monitor.Enter(temp);

try
{
    // body
}
finally
{
    Monitor.Exit(temp);
}

C # 4.0'da bu değişti ve şimdi aşağıdaki gibi üretildi:

bool lockWasTaken = false;
var temp = obj;
try
{
    Monitor.Enter(temp, ref lockWasTaken);
    // body
}
finally
{
    if (lockWasTaken)
    {
        Monitor.Exit(temp); 
    }
}

Ne hakkında daha fazla bilgi bulabilirsiniz Monitor.Enteryapar burada . MSDN'e alıntı yapmak için:

EnterMonitörü parametre olarak iletilen nesne üzerinde almak için kullanın . Enter Nesnede başka bir iş parçacığı çalıştırılmış ancak karşılık gelen işlemi henüz yürütmemişse Exit, diğer iş parçacığı nesneyi serbest bırakana kadar geçerli iş parçacığı engellenir. Aynı iş parçacığının Enterengellemeden bir kereden fazla çağırması yasaldır ; ancak, Exitnesnede bekleyen diğer evrelerin engelini kaldırmadan önce eşit sayıda çağrı başlatılmalıdır.

Monitor.EnterYöntem sonsuz bekler; o olacak değil zaman aşımına.

Düşündüğünüzden daha basit.

Microsoft'a göre : lockAnahtar kelime, bir iş parçacığının kritik bölümdeyken bir iş parçacığının kritik bir kod bölümüne girmemesini sağlar. Başka bir iş parçacığı kilitli bir kod girmeye çalışırsa, nesne serbest bırakılıncaya kadar bekler, engeller.

lockAnahtar kelime aramaları Enterbloğun başlangıcında ve Exitblok sonunda. lockanahtar kelime aslında Monitorarka uçtaki sınıfı işler .

Örneğin:

private static readonly Object obj = new Object();

lock (obj)
{
    // critical section
}

Yukarıdaki kodda, önce iplik kritik bir bölüme girer ve sonra kilitlenir obj. Başka bir evre girmeye çalıştığında obj, ilk evre tarafından zaten kilitlenmiş olan kilitlenmeyi de dener . İkinci iş parçacığının ilk iş parçacığının serbest bırakılmasını beklemesi gerekir obj. İlk iş parçacığı ayrıldığında, başka bir iş parçacığı kilitlenir objve kritik bölüme girer.

Hayır, sıraya alınmadılar, uyuyorlar

Formun kilit ifadesi

lock (x) ... 

burada x, bir referans tipinin bir ifadesidir, tam olarak

var temp = x;
System.Threading.Monitor.Enter(temp); 
try { ... } 
finally { System.Threading.Monitor.Exit(temp); }

Sadece birbirlerini beklediklerini bilmelisiniz ve kilit bloğuna sadece bir iplik girecek, diğerleri bekleyecek ...

O da bakmak, yeterince hızlı yani Monitör .net tamamen yazılır sınıf Monitor ile reflektör fazla ayrıntı için

Kilitler, diğer iş parçacıklarının kilit bloğunda bulunan kodu yürütmesini engeller. İpliklerin, kilit bloğunun içindeki iplik tamamlanana ve kilit serbest kalana kadar beklenmesi gerekecektir. Bunun çok iş parçacıklı bir ortamda performans üzerinde olumsuz bir etkisi vardır. Bunu yapmanız gerekiyorsa, kilit bloğundaki kodun çok hızlı bir şekilde işlenebildiğinden emin olmalısınız. Veritabanına erişim gibi pahalı etkinliklerden kaçınmaya çalışmalısınız.

Performans etkisi kilitleme yönteminize bağlıdır. Optimizasyonların iyi bir listesini burada bulabilirsiniz: http://www.thinkingparallel.com/2007/07/31/10-ways-to-reduce-lock-contention-in-threaded-programs/

Temel olarak, bekleme kodunuzu uyku moduna geçirdiği için mümkün olduğunca az kilitlemeye çalışmalısınız. Bir kilitte bazı ağır hesaplarınız veya uzun süreli kodunuz varsa (örn. Dosya yükleme) büyük bir performans kaybına neden olur.

Lock deyimi içindeki parça yalnızca bir iş parçacığı tarafından yürütülebilir, böylece diğer tüm iş parçacıkları süresiz olarak kilidi tutan iş parçacığının bitmesini bekler. Bu sözde kilitlenme ile sonuçlanabilir.

lockİfadesi için çağrılara çevrilmiştir Enterve Exityöntemleri Monitor.

lockKilitleme nesnesi serbest olması için deyim süresiz bekleyecektir.

lock aslında gizli Monitor sınıfı.