Çox ipli proqramlaşdırmada synchronized və ya lock istifadə edərkən kilidləmə mexanizmasının necə həyata keçirildiyini izah edə bilərsinizmi?

synchronized (Java-da) və ya lock (C#-da) istifadə edilərkən kilidləmə mexanizmi sinxronizasiya primitive-lərindən istifadə etməyə əsaslanır və bu, kodun kritik hissəsinə eksklüziv giriş təmin edir.

Bir ip lock və ya synchronized ilə qorunan blok daxilində, əlaqəli obyekt kilidini (mutex) almağa çalışır. Əgər kilid boşdursa, ip onu alır və icraata davam edir. Əgər kilid artıq başqa bir ip tərəfindən tutulursa, cari ip bloklanır (gözləyir) və kilid azad olunduğu zaman davam edir.

C#-də lock nümunəsi:

private readonly object _lockObj = new object();

void CriticalSection() {
    lock(_lockObj) {
        // yalnız bir ip-in eyni zamanda icra etməli olduğu kod
    }
}

lock daxilində, tərtibçi Monitor.Enter və Monitor.Exit metodlarına çağırışlar edir, bunlar kilidin alınması və azad olunmasını idarə edir.

Beləliklə, kilidləmə mexanizmi, yalnız bir ip-in kritik bölməni eyni zamanda icra etməsini təmin edir, yarış şərtlərini qarşısını alır və məlumatların bütövlüyünü təmin edir.