Semáforos en los sistemas operativos

 

Un semáforo es una variable especial que constituye el método clásico para restringir o permitir el acceso a recursos compartidos (por ejemplo, un recurso de almacenamiento del sistema) Los semáforos son una herramienta de sincronización que ofrece una solución al problema de la sección crítica, provee una simple pero útil abstracción para controlar el acceso de múltiples procesos a un recurso común en programación paralela, o entornos multiusuarios. El concepto de semáforo fue inventando por el holandés Esdger W. Dijkstra.

En su aplicación Se va a usar la instrucción concurrente COBEGIN-COEND para lanzar de forma concurrente la ejecución de todos los programas que se encuentran dentro de dicha instrucción. Uno de sus problemas más recurrentes van en DeadLock que son Dos o más procesos donde están esperando por una condición que solo puede ser causada por un proceso que también esta esperando o Starvation o Espera Indefinida que es un proceso en la lista de espera de un semáforo de la cual están entrando y saliendo continuamente procesos y listas de espera de semáforo.

https://es.wikipedia.org/wiki/Semáforo_(informática)

https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcQbkJvEYARUoyMeycNQ2Jm6WEzfreGLy7srkA&usqp=CAU