Los semáforos constituyen un proceso de sincronización de procesos mas que de comunicación de información. Con ellos se pueden resolver problemas de exclusión mutua, en los que un recurso es compartido por varios procesos.
Un semáforo no es más que un variables que puede tomar valore enteros positivos o cero y que se puede manipular mediante las operaciones decremento e incremento.
Decremento
Si S=0 entonces el proceso que realiza la operación de decremento se bloquea y permanece en estado de espera. Si no, se decremento una unidad el valor del semáforo S (S=S-1).
Incremento Si existe algún proceso que este bloqueando por causa de una operación de decremento sobre S, entonces uno de ellos despierta y no se incrementa el valor del semáforo. En caso contrario se incrementa en una unidad el valor del semáforo S (S=S+1).
No hay comentarios:
Publicar un comentario