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

Σε χαμηλό επίπεδο, στα συστήματα iOS, οι αποκλεισμοί υλοποιούνται μέσω διαφόρων βασικών μηχανισμών:

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

Στα iOS, αυτοί οι μηχανισμοί υλοποιούνται σε επίπεδο POSIX (π.χ., pthread_mutex_t) και μέσω χαμηλού επιπέδου API, καθώς και μέσω υψηλού επιπέδου κατασκευών όπως το GCD (Grand Central Dispatch) και το NSLock, που χρησιμοποιούν αυτούς τους μηχανισμούς στο παρασκήνιο.