SEMAFOROS Implementaci n

Implementación
Previamente a dar detalles de su Implementación, hace falta hacer un par de definiciones:
Cambio de contexto: Un cambio de contexto consiste en la ejecución de una rutinaperteneciente al núcleo del sistema operativo multitarea de una computadora, cuyo propósito es parar la ejecución de un hilo (o proceso o Threads) para dar paso a la ejecución de otro distinto.
Spinlocks: Laprincipal desventaja de un semáforo es que requiere de una espera activa, es decir, mientras un proceso se encuentre en su región crítica cualquier otro proceso que intente entrar a su sección críticadebe ejecutar continuamente un bucle en el código de entrada siendo este un grave problema en un sistema de multi-programación con una sola CPU(ya que múltiples procesos comparten una sola CPU)desperdiciando ciclos del reloj. Estos tipos de semáforos se denominan Spinlocks. Resultan útiles cuando se espera que el Spinlock dure una corta cantidad de tiempo.
Para superar de cierto modo lanecesidad de una espera activa, se pueden modificar las definiciones de las operaciones wait() y signal() del siguiente modo:
Cuando un proceso ejecute la función wait(), en lugar de entrar en una esperaactiva, el proceso se bloqueará a si mismo.
La operación de bloqueo coloca al proceso en una cola de espera asociada al semáforo y el estado de proceso queda en "espera".
Luego, el control setransfiere al planificador de la CPU, que selecciona otro proceso para su ejecución.
Un proceso bloqueado que está esperando en un semáforo S, debe reiniciarse cuando algún otro proceso realiza la operaciónsignal() mediante la operación wakeup() que cambia el estado del proceso de "espera" a "preparado" entrando en la cola de procesos preparados.

typedef struct{
int valor;
struct proceso *nodo;}semaforo;
wait(semaforo s){
s-> valor--;
if( s->valor < 0){
//[añadir proceso a s-list]
block;
}
signal(semaforo s){
s->valor++;
if( s->valor >= 0){
//[eliminar un proceso "P"...