Πώς γίνεται η ανάγνωση μιας μεταβλητής από τη κοινόχρηστη μνήμη από τα νήματα;

Στη Java, η ανάγνωση μιας μεταβλητής από την κοινόχρηστη μνήμη από νήματα πραγματοποιείται λαμβάνοντας υπόψη το μοντέλο μνήμης Java (Java Memory Model). Κάθε νήμα μπορεί να έχει ένα τοπικό αντίγραφο της μεταβλητής στην cache του επεξεργαστή, επομένως για να διασφαλιστεί η ανάγνωση της τρέχουσας τιμής από την κοινόχρηστη μνήμη, πρέπει να ληφθεί υπόψη ο συγχρονισμός.

Εάν η μεταβλητή δηλωθεί με τη λέξη-κλειδί volatile, η ανάγνωση και η εγγραφή αυτής της μεταβλητής πραγματοποιούνται απευθείας από τη βασική μνήμη, διασφαλίζοντας την ορατότητα των αλλαγών μεταξύ των νημάτων χωρίς επιπλέον συγχρονισμό.

Εάν το volatile δεν χρησιμοποιείται, για σωστή ανάγνωση της μεταβλητής από την κοινόχρηστη μνήμη, πρέπει να χρησιμοποιούνται μπλοκς συγχρονισμού (synchronized), που διασφαλίζουν τη συνοχή της μνήμης και την ορατότητα των αλλαγών μεταξύ των νημάτων.

Παράδειγμα με volatile:

volatile int sharedVar;

// Σε ένα νήμα
sharedVar = 10;

// Σε ένα άλλο νήμα
int τοπικόΑντίγραφο = sharedVar; // θα δει εγγυημένα την ενημερωμένη τιμή

Χωρίς volatile ή synchronized, ένα νήμα μπορεί να δει παλαιότερη τιμή της μεταβλητής λόγω caching.