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