Γιατί σε μονοπύρηνα συστήματα είναι απαραίτητα μηχανισμοί συγχρονισμού κατά την εργασία με πολυνηματικές εφαρμογές;

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

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

Παράδειγμα: αν δύο νήματα αυξάνουν ταυτόχρονα έναν κοινό μετρητή χωρίς κλείδωμα, η τελική τιμή μπορεί να είναι μικρότερη από την αναμενόμενη λόγω συγκρούσεων κατά την ανάγνωση και εγγραφή.