Πώς γίνεται η εργασία με νήματα (threads) και εργασίες (tasks) όταν πολλοί από αυτά αναφέρονται σε μια κοινή κατάσταση;

Για ασφαλή πρόσβαση στην κοινόχρηστη κατάσταση σε ένα περιβάλλον πολλαπλών νημάτων, χρησιμοποιούνται μηχανισμοί συγχρονισμού.

Κύριες προσεγγίσεις:

• Κλειδώματα: Το lock είναι ο πιο διαδεδομένος μηχανισμός. Διασφαλίζει αποκλειστική πρόσβαση σε ένα μπλοκ κώδικα ή αντικείμενο για ένα νήμα κάθε φορά. Το Mutex (αμοιβαία εξαίρεση) χρησιμοποιείται επίσης, αλλά συχνά στην επικοινωνία μεταξύ διεργασιών.
• Σημασιολογίες: Περιορίζουν τον αριθμό των νημάτων που μπορούν να έχουν πρόσβαση σε έναν πόρο ταυτόχρονα.
• Monitor: Αντιπροσωπεύει μια πιο ισχυρή έκδοση του lock, που επιτρέπει στα νήματα να περιμένουν ειδοποιήσεις από άλλα νήματα.
• ReadWriteLock: Επιτρέπει σε πολλά νήματα να διαβάζουν δεδομένα ταυτόχρονα, αλλά μόνο σε ένα να γράφει.
• Ατομικές λειτουργίες: Για απλές λειτουργίες (αύξηση, μείωση, σύγκριση-ανταλλαγή), μπορούν να χρησιμοποιηθούν στατικές μέθοδοι της κλάσης Interlocked.

Κατά την εργασία με εργασίες (Tasks), ειδικά με async/await, είναι σημαντικό να θυμάστε ότι οι εργασίες δεν συνδέονται με συγκεκριμένο νήμα. Τα συμφραζόμενα συγχρονισμού (SynchronizationContext) βοηθούν στην επιστροφή στο επιθυμητό πλαίσιο (π.χ., το UI νήμα) μετά την ολοκλήρωση μιας ασύγχρονης λειτουργίας.

Παράδειγμα χρήσης του lock:

// Αντικείμενο για κλείδωμα
private readonly object _lockObject = new object();
private int _sharedCounter = 0;

public void IncrementCounter()
{
    // Κλειδώνει την πρόσβαση στον κοινό μετρητή
    lock (_lockObject)
    {
        _sharedCounter++;
    }
}

Παράδειγμα χρήσης του Interlocked:

private int _sharedAtomicCounter = 0;

public void IncrementAtomicCounter()
{
    // Ατομική αύξηση
    Interlocked.Increment(ref _sharedCounter);
}