რა არის ოპტიმისტური და პესიმისტური ბლოკირებები?

ოპტიმისტური და პესიმისტური ბლოკირებები — ეს არის მიდგომები ერთობლივი მონაცემების პარალელური წვდომის მართვისთვის კონკურენტულ გარემოებში (მრავალთანიანი პროგრამები, მონაცემთა ბაზები).

პესიმისტური ბლოკირება:

განსაზღვრავს, რომ მონაცემებზე წვდომის დროს შესაძლოა კონფლიქტები მოხდეს. რესურსზე წვდომის წინ, ნაკადი ან ტრანზაქცია მას ბლოკავს (ექსკლუზიური ან გაზიარებული ბლოკირება). სხვა ნაკადები, რომლებიც ცდილობენ წვდომას, ელოდებიან, სანამ ბლოკი არ მოიხსნება.

• უპირატესობები: მონაცემების მთლიანობა გარანტირებულია, მარტივია განხორციელება დაბალი კონკურენციის დროს.
• მინუსები: შეიძლება გამოიწვიოს deadlock-ები, მაღალი კონკურენციის დროს გამტარუნარიანობა მცირდება.
• მაგალითები: synchronized სიტყვა Java-ში, ბლოკირებები სვეტზე ან ცხრილზე მონაცემთა ბაზებში.

// პესიმისტური ბლოკირების მაგალითი Java-ში
public class Counter {
    private int count = 0;

    public synchronized void increment() {
        count++; // ბლოკირება ობიექტზე, მხოლოდ ერთი ნაკადი შეუძლია ამ მეთოდის შესრულება ერთდროულად
    }

    public synchronized int getCount() {
        return count;
    }
}

ოპტიმისტური ბლოკირება:

განსაზღვრავს, რომ მონაცემებზე წვდომის დროს შესაძლოა კონფლიქტები იყოს შესაძლებელი. მონაცემებზე წვდომა ხორციელდება ბლოკირებების გარეშე. ცვლილებების შენახვამდე, შემოწმდება, რომ მონაცემები არ შეიცვალა სხვა ნაკადის მიერ მათი წაკითხვის დროს. თუ შეიცვალა, ოპერაცია გაუქმებულია და ჩვეულებრივ განმეორებით ხორციელდება (retry).

• უპირატესობები: მაღალი გამტარუნარიანობა დაბალი კონკურენციის დროს, არ არის deadlock-ები.
• მინუსები: შეიძლება მოხდეს კონფლიქტები, რომლებიც საჭიროებს განმეორებას, რაც რთულს ხდის ლოგიკას. არ არის შესაფერისი ხანგრძლივი ოპერაციების ან მაღალი კონფლიქტების ალბათობისთვის.
• მაგალითები: Compare-And-Swap (CAS) ოპერაციები, ვერსიების მართვა მონაცემთა ბაზებში (მაგ., ვერსიის სვეტი ან დროის მარკერი).

// ოპტიმისტური ბლოკირების მაგალითი CAS-ის გამოყენებით (java.util.concurrent.atomic)
import java.util.concurrent.atomic.AtomicInteger;

public class AtomicCounter {
    private AtomicInteger count = new AtomicInteger(0);

    public void increment() {
        // ატომური გაზრდის მცდელობა
        // თუ მნიშვნელობა შეიცვალა შორის წაკითხვასა და განახლებას შორის, ოპერაცია განმეორდება
        count.incrementAndGet();
    }

    public int getCount() {
        return count.get();
    }
}

შედარება:

მახასიათებელი	პესიმისტური ბლოკირება	ოპტიმისტური ბლოკირება
განსაზღვრება	კონფლიქტები სავარაუდოა	კონფლიქტები ნაკლებად სავარაუდოა
მოძებნა	ბლოკირება წვდომამდე	წვდომა без ბლოკირებისა, შემოწმება წერის დროს
მაღალ კონფლიქტურ სიჩქარეზე	შეიძლება გამოიწვიოს ბლოკირებები, შემცირდეს გამტარუნარიანობა	ხშირი განმეორებები, შემცირდეს პროდუქტიულობა
დაბალ კონფლიქტურ სიჩქარეზე	შეიძლება გამოიწვიოს დამატებითი ხარჯები	მაღალი გამტარუნარიანობა
Deadlock-ის პრობლემა	შესაძლებელია	შეუძლებელია (კონკურენტული წვდომის თვალსაზრისით)