El documento presenta dos problemas de sincronización y sus soluciones utilizando semaforos. El primer problema trata sobre procesos que comparten una base de datos, donde la suma de los bloques utilizados por los procesos no debe superar los 100 bloques. La segunda parte presenta el problema de los fumadores y el agente, donde los fumadores deben esperar a que el agente les provea los ingredientes necesarios para fumar.

1. Ejemplos De Semaforos 08 De Septiembre del 2009

4. Base De Datos FILOSOFOS COMENSALES Proceso(Integer i){ Repeat Hace_cosas(); Solicita_BD(i); Usa_BD(); Devuelve_BDD(); Hace_MasCosas(); } Solicita_BDD( Integer i){ Down(Exc_Mut); Status[i]=‘h’; test(i); up(Exc_Mut); Down(Exc_Mut); } Devuelve_BDD(Integer i){ Down(Exc_Mut); status[i]=‘P’; suma=suma-i; for j=50 down to 1 test(i); up(Exc_mut); } Test(Integer i){ If(suma+i<=100 and status[i]=‘h’) suma=suma+i; status[i]=‘c’; up(Sem[i]); }

7. Fumadores Agente(){ Repeat Hace_Cosas(); Tomar_Ingredientes(); Down(Esperar_fumador); if(Ingredientes==tabaco and papel){ up(fumador_fosforos); }else if(Ingredientes== tabaco and fosforos) {up(fumador_papel);} else{ Up(fumador_tabaco); } Hace_mas_cosas(); Until_fin; } Fum_Tabaco(){ Repeat Down(fumador_tabaco); Fumar(); Up(Esperar_fumador); Until_fin }