Τι είναι ο μηχανισμός CAS (Compare-And-Swap);

Ο μηχανισμός Compare-And-Swap (CAS) είναι μια ατομική λειτουργία μηχανής που χρησιμοποιείται για την υλοποίηση μη αποκλειστικής συγχρονισμού.

Αρχή λειτουργίας:

1. Διαβάζει την τρέχουσα τιμή του κελιού μνήμης (expectedValue).
2. Προσπαθεί να γράψει μια νέα τιμή (newValue) σε αυτό το κελί μόνο αν η τρέχουσα τιμή ταιριάζει με το expectedValue.
3. Επιστρέφει μια boolean τιμή: true αν η εγγραφή ήταν επιτυχής (δηλαδή, υπήρξε ταύτιση), false διαφορετικά.

Στην Java, το CAS υλοποιείται σε κλάσεις του πακέτου java.util.concurrent.atomic, π.χ., AtomicInteger, AtomicLong, AtomicReference.

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

// java
import java.util.concurrent.atomic.AtomicInteger;

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

    public void increment() {
        while (true) {
            int expectedValue = count.get(); // Διαβάζει την τρέχουσα τιμή
            int newValue = expectedValue + 1;
            if (count.compareAndSet(expectedValue, newValue)) {
                // Αν η τρέχουσα τιμή δεν έχει αλλάξει από την ανάγνωση,
                // πραγματοποιεί την εγγραφή και βγαίνει από τον βρόχο
                break;
            }
            // Αν η τιμή έχει αλλάξει, επαναλαμβάνει
        }
    }
}

Πλεονεκτήματα:

• Μη αποκλειστικό: τα νήματα δεν αποκλείουν το ένα το άλλο, μειώνοντας το κόστος μεταφοράς πλαισίου, ειδικά σε χαμηλό ανταγωνισμό.
• Αποφεύγει προβλήματα deadlock.

Μειονεκτήματα:

• Το πρόβλημα ABA: αν η τιμή του κελιού αλλάξει από A σε B και μετά πίσω σε A, το CAS θα θεωρήσει ότι δεν υπήρξαν αλλαγές. Για την επίλυση αυτού του προβλήματος, χρησιμοποιούνται κλάσεις όπως το AtomicStampedReference ή το AtomicMarkableReference.
• Μπορεί να προκύψει μεγάλος αριθμός αποτυχημένων προσπαθειών (spin loops) σε υψηλό ανταγωνισμό.