Planificación, Sincronización y comunicación de Procesos. Universidad Tecnológica Nacional

Transcripción

1 Planificación. Sean los cinco procesos descritos en la tabla siguiente: Proceso Tiempo de creación Tiempo de PU D E Si suponemos que tenemos un algoritmo de planificación que utiliza una política FIFO a) Tiempo medio de respuesta b) Tiempo medio de espera c) La penalización, es decir, el cociente entre el tiempo de finalización y el tiempo de PU. Resolución Diagrama de Gannt E D ola de Listos,,, D, E = tiempo de llegada al sistema Tf=6 Tf= Tf=8 TfD= TfE=3 a) Tmedioderespuesta= ( )/ =,4 b) Te= Te= Te=4 TeD= TeE= Tesp= ++4++= c) Tpenal=6/ Tpenal=/ Tpenal=8/4 TpenalD=/3 TpenalE=3/. Utilizando los valores del problema de la tabla anterior, calcular los tiempos medios de espera y respuesta para los siguientes algoritmos: a) Round-Robin con quantum q=. b) Round-Robin con quantum q=4. Página /4

2 a) D E T= la cola de listos solo tiene a y este pasa a ejecutar T= se le acaba el quantum de tiempo al y llega como la int. de reloj tiene prioridad, entonces pasaría a la cola de listos y queda detrás pasa a ejecutar nuevamente. T= se produce el intercambio queda en copla de listos. T=3 se produce el intercambio queda en cola de listos. T=4 se produce el intercambio primero y luego se carga quedan, en la cola de listos (en ese orden). T= se produce el intercambio. Quedan, en cola de listos. T=6 se produce el intercambio. Quedan, en cola de listos. T=7 se produce el intercambio. Quedan en cola de listos, ya que finalizó. T=8 se produce el intercambio. Quedan, D (llega en ese momento) en cola de listos. T=9 se produce el intercambio. Queda D en cola de listos, ya que el finaliza. T= se produce el intercambio D. Queda vacía la cola de listos, ya que el finaliza. T= continúa ejecutando D ya que no hay procesos en cola de listos. T= se le acaba el quantum de tiempo al D y llega E como la int. de reloj tiene prioridad, entonces D pasaría a la cola de listos y E queda detrás D pasa a ejecutar nuevamente. T=3 se produce el intercambio D E. Queda vacía la cola de listos, ya que el D finaliza. T=4 continúa ejecutando ya que no hay procesos en cola de listos. T= E finaliza. Tiempo de espera = T finalización-t llegada-t PU Te= Te=4 Te= TeD= TeE= TeProm=(+4+++)/=,8 Tiempo de respuesta Tr=7-4=3 Tr=9-=9 Tr=-=9 TrD=3-8= TrE=-=3 Trprom=( )/=,8 b) q=4 Página /4

3 D E Tiempo de espera = T finalización-t llegada-t PU Te= Te=4 Te=3 TeD= TeE= TeProm=(+4+3++)/=3 Tiempo de respuesta Tr=-4 Tr=9-=9 Tr=9-=8 TrD=3-8= TrE=-=3 Trprom=( )/=4,8 3. alcular el tiempo de espera medio para los procesos de la tabla utilizando el algoritmo Primero el de tiempo restante menor (SRTF). Este es un algoritmo Preemptive, donde se otorga el procesador al que menor tiempo restante estimado tiene. D E Tiempo de espera = T finalización-t llegada-t PU Te= Proceso Tiempo de creación Tiempo de PU D E Página 3/4

4 Te= Te= TeD= TeE= TeProm=(++++)/=,8 Tiempo de respuesta Tr=4-=4 Tr=-= Tr=-3= TrD=4-9= TrE=9-=7 Trprom=(4++++7)/=7,8 4. Utilizando la tabla del ejercicio anterior, dibujar el diagrama GNTT para el caso de un sistema que utiliza un algoritmo con prioridades: Proceso D E Prioridad 4 3 omo las prioridades son fijas asumimos que es un algoritmo NonPreemptive. D E Tiempo de espera = T finalización-t llegada-t PU Te= Te= Te= TeD= TeE=4 TeProm=(++++4)/=3,8 Tiempo de respuesta Tr=3-=3 Tr=4-=3 Página 4/4

5 Tr=6-3=3 TrD=6-9=7 TrE=-=9 Trprom=( )/=9. onsideremos los procesos cuyo comportamiento se recoge en la tabla siguiente: Proceso D Tiempo omportamiento creación PU loqueo PU loqueo PU loqueo PU Dibujar el diagrama de ocupación para los siguientes algoritmos: a) FIFO b) Round-Robin con q=3 RESPUEST: D T= REDY T= REDY T= REDY T=3 REDY T=4 REDY D T= REDY D Página /4

6 T=6 REDY REDY D T=3 T=7 REDY REDY T=4 T= REDY REDY T= b) Q=3 D T= REDY T= REDY T= REDY T=3 REDY T=4 REDY D T= REDY D T=6 REDY D T=7 REDY T=9 REDY D T= REDY D T= REDY D T=3 REDY D T=4 REDY Página 6/4

7 6. Rehacer el ejercicio anterior utilizando el algoritmo de primero el más corto, suponiendo que la estimación de cada ráfaga coincide con la duración de la ráfaga anterior. 7. Dados dos procesos : : PU DISO PU DISO PU : PU DISO PU IMPRESOR PU Tiempo del Sistema Operativo.= Quantum = Retardo de Impresión = Latencia de Disco = 3 8 New Exec Fin Disco Impresora Se pide calcular el tiempo de Finalización de cada proceso y mostrar la ejecución de cada módulo del Sistema Operativo. S O d i s c o I M P R E d i s c o Se deben itinerar procesos con distintos algoritmos. Los procesos llegan todos al mismo tiempo en el siguiente orden: P, P, P3, P4 y P. El tiempo de PU y las prioridades son: Proceso Prioridad Tiempo de PU P P P3 P4 P 4 3 Página 7/4

8 ompletar la siguiente tabla: lgoritmo FFS RR (tq=) SJF Prioridad no Interrumpible Tiempo turn around Promedio Tiempo de Espera Promedio 9. Final de Julio de 6 9 PM, en una importante empresa de telefonía celular en EEUU. Nick, el dministrador de servidores, estuvo monitoreando un nuevo servidor que se compró para dar servicio de mensajes de texto a los clientes, cuyo software fue desarrollado por Tom. Durante dicho monitoreo, Nick ve que los indicadores de performance del sistema no son los correctos, por lo que decide realizar un análisis de la situación. Durante los primeros minutos de análisis nota que está corriendo en el sistema operativo P un proceso que no es fácilmente identificable, ya que el mismo ejecuta de forma esporádica, lo que hace que afecte a los procesos que se encuentran corriendo en el servidor. Dicha situación es preocupante debido que la ompañía no podrá brindar un buen servicio a los clientes, justo cuando mayor es la utilización de este tipo de servicio, debido a la víspera del Día del migo. Es por ello, que Nick decide llamar a Tom para ver si él le puede dar una solución. Lo que él le indica es que el sistema operativo utiliza un planificador Round Robin con un quantum de 3 ciclos con una única cola de bloqueados que atiende por FIFO. Esta cola de bloqueados tiene prioridad por sobre la de listos. su vez, Tom le envía por fax a Nick el siguiente detalle con la ejecución de los 4 procesos que ejecuta el SW: P P ULT P3 ULT R Referencias -- T. Llegada en iclos PU (En iclos) 6 IO (En iclos) PU (En iclos) 3 IO (En iclos) PU (En iclos) R H H P3 P P ondiciones Q=3 ciclos del S.O. para el Round Robin. q = ciclos biblioteca de Threads Página 8/4

9 ) T= el único procesos en el sistema es P ) T= R ejecuta ciclo y finaliza pasa a ejecución. ) T= P está en ejecución P P P3:H loqueados I/O P 3) T= Llega el proceso 3 con sus hilos P está en ejecución 3)T=6 P ejecuta P P3 P P3:H 4) T=3 P está en ejecución loqueados I/O P3 loqueados I/O 4)T=8 Ejecuta P y finaliza P ) T=6 P3 está en ejecución P3:H H ejecuta ciclo y pide I/O loqueados I/O P P ) T=9 Ejecuta P3:H loqueados I/O P 6) T=7 P está en ejecución loqueados I/O P 6) T= Ejecuta R loqueados I/O P P3:H 7) T=8 R pasa a ejecución durante 3 ciclos P loqueados I/O P P3:H P 8) T=9 R en ejecución P loqueados I/O P3:H3 P 9) T= P pasa a ejecución P3 vuelve de I/O y R termina su quantum, como I/O tiene prioridad entonces queda : P3 R loqueados I/O P ) T= P3:H pasa a ejecutar ciclo y finaliza. R loqueados I/O P P ) T=3 P3:H durante quantums R P loqueados I/O P loqueados I/O P P3:H 7) T= Ejecuta R P loqueados I/O P3:H 8) T=3 Ejecuta P y finaliza P3:H R loqueados I/O 9) T=4 Ejecuta P3:H R loqueados I/O ) T= Ejecuta R y finaliza loqueados I/O Página 9/4

10 . FINL 6//3 Un sistema computacional de un solo procesador planifica el procesamiento de trabajos según el siguiente modelo: Fin de Quantum ola de largo ola de corto Llegada plazo plazo PU Salida Planificación Largo Plazo E/S ola de E/S Planificación orto Plazo La planificación de largo plazo se encarga de mantener el grado de multiprogramación en tres procesos, usando una política SJF (Shortest Job First). En el corto plazo el procesador es asignado usando una política de Round-Robin con un quantum de unidades de tiempo. onsidere los siguientes datos: Proceso Tiempo de llegada PU E/S PU Tiempo estimado de proceso (SJF) P 3 3 P 4 3 P P P 3 7 P Para la resolución del ejercicio, si existe coincidencia de tiempos en los eventos de entrada a la cola de corto plazo, ordénelos arbitrariamente en el siguiente orden: ) fin de E/S, ) ola de Largo Plazo y 3 ) fin de quantum. Suponiendo que el overhead para el cambio de contexto es despreciable y que existe un único dispositivo de E/S (el cual planifica FIFO) se pide la traza de ejecución de los procesos mediante un Diagrama de Gantt. SOLUIÓN PU P P P P P3 P3 P P P P P3 P P P P P3 P3 P4 P4 P P P4 P4 P P E/S P P P P P3 P3 P3 P3 P P P P P P PU P P4 P4 P6 P6 P4 P4 P6 P6 P6 P6 P6 Página /4

11 E/S P4 P4 P6 P6 P6 P Proceso Instante en que ingresa Instante en que finaliza P 6 P (encola primero por SJF) 3 P3 7 P4 7 3 P 3 P6 4. Un sistema distribuido cuenta con dos maquinas Pentium MM con 6 Mb de memoria. La maquina usa algoritmo SRT (Shortest Remaining time) para dispacher y solo posee un disco rígido de.8 Gb y la maquina usa algoritmo FIFO y tiene una impresora láser blanco y negro. Solo se migran los procesos por la falta de recursos, y esto consume un ciclo de reloj. Dibuje cada cola de Listos, ejecutados y bloqueado para cada ciclo. Los relojes de ambas maquinas están perfectamente sincronizados. Proceso Maquina iclo inicio Recurso iclo duración PU 3 Disco PU PU Disco PU 4 3 PU Impresora PU Sincronización, Semáforos y Deadlock. De un ejemplo donde el algoritmo que utiliza TSL produce inanición (Starvation) Supongamos que tenemos tres procesos, y y las variable ocupado= REDY LOK En este instante que está en ejecución hace TSL(ocupado) dejando ocupado= REDY, LOK Página /4

12 Luego pasa a ejecución y hace TSL(ocupado) quedando en espera activa. Luego pasa de bloqueados a Listos, ubicándose detrás de en la cola. uando se le acaba el quantum de tiempo a pasa a Listos y a EJEUIÓN. REDY, LOK coloca ocupado = uando pasa a ejecución hace TSL(ocupado) como ocupado estaba en lo coloca en y pasa a utilizar la región critica, ingresando a esta antes que y si esta situación se repite puede padecer inanición 3. dados los procesos y con variables compartidas, se pide verificar si pueden ejecutar en paralelo. De no ser así en que orden podrían ejecutar. c=b+d h=c+f+g print c m=6*x+k print m/c Según las condiciones de erstein R= b,d,c,f,g, R=x,k,m,c W=c,h W=m R W=Ø W W=Ø R W=c Este grupo de sentencias no se pueden ejecutar en paralelo c=b+d h=c+f+g print c m=6*x+k print m/c 4. Dado el siguiente grafo de precedencia, colocar los semáforos para asegurar la ejecución de los procesos en ese orden. Página /4

13 RESOLUIÓN Valores Iniciales de los semáforos a= b=b=b3=c=c=d=d=d3=d4= S S S3 S4 P(a) P(b) P(b) P(b3) V(b) V(c) v(d3) V(d4) V(b) V(c) V(b3) S S6 P(c) P(c) V(d) v(d) S7 P(d) P(d) P(d3) P(d4) V(a). Sincronizar y de tal manera que: a.- Siempre el resultado de la ejecución sea y o y. b.- Siempre el resultado de la ejecución sea y Página 3/4

14 =99 =x+ Print () = =/ Print() RESOLUIÓN a.- omo no se necesita darle un orden a la ejecución sólo se debe poner mutua exclusión, por lo tanto con un semáforo basta. P(mutex) P(mutex) =99 = =x+ =/ Print () Print() V(mutex) V(mutex) b.- quí se necesita darle un orden a la ejecución por lo tanto se utilizará semáforos cruzados. P(k) =99 = =x+ =/ Print () Print() V(k) V(s) Para que se ejecute primero el valor del semáforo k debe estar en y s en k= s= 6. olocar los semáforos de tal manera que los procesos,, ejecuten siempre en la secuencia V(k) P(k) V(r) P(r) V(s) Para que ejecute primero s=, k=, r= 7. olocar los semáforos de tal manera que los procesos,, ejecuten siempre en la secuencia V(k) P(k) V(s) Para comenzar con el valor inicial de s= k= Luego para interambiar con el valor inicial de a= Página 4/4

15 P(a) V(b) P(b) V(k) V(a) P(k) P(b) V(s) V(a) 8. olocar los semáforos de tal manera que los procesos,, ejecuten siempre en la secuencia (ó)(ó) Si queremos que ó ejecuten solo uno a la vez podríamos reemplazarlos por un proceso P(k) V(s) V(k) V(k) V(k) Entonces combinamos las dos soluciones P(k) V(s) V(k) V(k) Para comenzar con el proceso inicializamos k= y s= P(k) P(k) V(s) V(a) 9. olocar los semáforos de tal manera que los procesos,, ejecuten siempre en la secuencia (y)(y) Página /4

16 P(a) V(k) V(k) Valor inicial del semáforo k=, s=,a=. El que sigue nos muestra procesos concurrentes que comparten una variable global x (las restantes variables son locales a los procesos). While (TRUE) m = * x n; imprimir (m); Declaración, Inicialización de Variables y Semáforos var x: entero P P while (TRUE) leer_teclado (d); x := d c * ; a) Sincronizar los procesos para que P use todos los valores x suministrados por P. Declaración, Inicialización de Variables y Semáforos var x: entero While (TRUE) m = * x n; imprimir (m); V(k) s=, k= P while (TRUE) P(k) leer_teclado (d); x := d c * ; V(s) P b) Sincronizar los procesos para que P utilice un valor Sí y otro No de la variable x, es decir, utilice los valores primero, tercero, quinto, etc. Declaración, Inicialización de Variables y Semáforos var x: entero P P n= While (TRUE) while (TRUE) P(K) m = * x n; n++; imprimir (m); leer_teclado (d); V(K) x := d c * ; if (n mod()=) v(k); else V(s); n es una variable local a P Página 6/4

17 Otra solución: While (TRUE) m = * x n; imprimir (m); V(K) V(K) Declaración, Inicialización de Variables y Semáforos var x: entero P P while (TRUE) P(K) leer_teclado (d); x := d c * ; V(s); K=, s= para que la primera vez ejecute.. Se tienen procesos paralelos: int x = ; while (TRUE) x = x + ; Proceso Proceso while (TRUE) print (x); a) Sincronizar usando semáforos para que se escriba la secuencia:,,, 3, 4,... b) Sincronizar usando semáforos para que se escriba la secuencia:, 4, 7,,3.... Dadas la siguiente secuencia lógica y los valores iniciales de los semáforos, verificar si esta es la secuencia normal de ejecución y si está bien realizada la sincronización. Y Z P(S) P(R) P(R) P() P() V(R) V(S) V() V(S) V() on los valores iniciales de S=,R=,=,c= y cuya secuencia normal de ejecución sería YZYZ S R Y Z Q P(S) P() V(R) V(S) P(R) - P() Y Q P(S) - P() Q - P(R) Z QR Página 7/4

18 P() Esta sincronización esta mal realizada ya que todos los procesos terminan bloqueados. 3. Explique qué pasa con la rutina : P(R) P(S) P(T)... V(T) V(S) V(R) desde el momento en que en la ejecución de V(T) los valores de los semáforos son T = -, S = -, R=, hasta que finalice ella de ejecutarse íntegra. RT: T S R - - V(T) - V(S V(R) l finalizar la rutina, los semáforos quedan con valores no negativos. 4. Si la rutina de WIT o P( ) que asocia un semáforo a una cola, guarda los pedidos de espera en la forma de pila (LIFO), Qué problema puede acarrear? Respuesta: No respetaría el orden de los pedidos y podría algún proceso padecer inanición.. Dada la siguiente secuencia lógica y los valores iniciales: Y Z Q P() P(S) P() P(D) P(T) V() V(T) V(D) V() V(S) Valores iniciales S =, T=, =, =, D=. Explique cuál es la secuencia normal de ejecución. RESPUEST: Para encontrar la secuencia normal de ejecución debemos seguir los valores de los semáforos habilitados. omo S= y = podríamos comenzar por la ejecución con, pasa el semáforo y se bloque a en el semáforo T, por lo tanto solo podrá ejecutar Y primero Y,cuando este finaliza habilita el sem. T,entonces ejecuta. este habilita el semáforo, entonces puede ejecutar Z, que habilita el sem D y puede ejecutar Q que deja = y S= la secuencia normal es YZQ 6. Para calcular el número combinatorio (n k) = n(n-)(n-)...(n-k+)/k!, desarrollamos un programa con dos procesos. El proceso P calcula el numerador y deposita el resultado en una variable compartida, denominada x, mientras que P calcula el factorial y deposita el valor en la variable y. Sincronizar los procesos P y P, utilizando semáforos, para que el proceso P realice la división, es decir x/y. Inicialización de variables globales y semáforos N, k, x=, y=, enteros Página 8/4

19 P P For i= n k + to n do = x + i; Y=: For j= to k do y:=y * j; escribir (x/y); RESPUEST: Se grega el semáforo s inicializado en Inicialización de variables globales y semáforos N, k, x=, y=, enteros s:= : semáforos P P For i= n k + to n do egin = x + i; End; Signal (s) Y=: For j= to k do egin y:=y*j; end wait (s); escribir (x/y); 7. Dada la siguiente situación: Hay un puente colgante sobre el río, tan angosto que sólo una persona puede cruzar a la vez. Implementar algún tipo de sincronización para ordenar el paso por el puente y evitar también la espera indefinida en una u otra orilla 8. Final:3/3/ Ejercicio Muestre en forma clara de que manera se ejecutarán los siguientes procesos, considerando que se ejecutan en paralelo, y detalle que procesos terminaron y cuales no y por que razón. Inicialización de los semáforos: I,,,, P = M, K, G = P P P3 P4 P P6 Página 9/4

20 D(I) D(M) U() D() U() D(K) U(I) U() D() D() D(P) U() D(P) D(I) D(G) U(I) D(M) D(I) U(P) U(I) U(G) D(K) D(G) U(I) D(K) D(K) U(K) U(M) D(M) U(M) D(P) D(K) U(K) Resolución: G I K M P P P P3 P4 P P6 loqueados: Deadlock: Starvation: Termina: 9// Resuelva la siguiente tabla sabiendo que el semáforos esta inicializado en y el resto se encuentran en. P P P3 P4 P D(M) D(E) D(R) D() D() D(I) D() D(I) D(c) U() U(R) D() D(J) D(O) U(I) U(J) U(E) U(E) U(E) U() U(I) D(L) U(I) D(P) U(M) U(P) U() U() U(L) U(O) Resolución: E I J L M O P R P P P3 P4 P Página /4

21 P, P, P4 quedan bloqueados P3 y p terminan. 7// De existir, muestre una secuencia de eventos para los cuales P, y P entran en DEDLOK. Los semáforos son: s, s (Semáforos Mutex). Void P() While() Down (s); Down (s); Printf( ambu ); Up (s); Up (s); Void P() While() Down (s); Printf( Guetzel ); Down (s); Up (s); Up (s); Respuesta: El enunciado nos dice que ambos semáforos (s y s) son Mutex. Esto quiere decir que se encuentran inicializados en. mbos procesos (p y p) se ejecutan al mismo tiempo. uando P ejecuta la sentencia: Down (s); S que estaba en pasa a estar en y supongamos que en ese instante se le acaba el quantum de tiempo y ejecuta P haciendo un Down (s); S estaba en pasa a estar en y cuando P ejecute S queda bloqueado. uando le vuelve a tocar el procesador a P ejecuta S y queda bloqueado Página /4

22 Entonces ambos procesos quedan en DEDLOK 9. En un sistema de computación real, ni los recursos disponibles ni los requerimientos de los procesos por recursos se mantienen por largo tiempo. Los recursos se rompen o son reemplazados, los procesos vienen y van, se agregan nuevos recursos al sistema, etc. Si en tal sistema, los bloqueos se controlan con el algoritmo del banquero, cuáles de los siguientes cambios se puede hacer con seguridad (sin introducir posibilidad de bloqueos) y bajo qué circunstancias?: Incrementar VILLE (se agregan nuevos recursos). Decrementar VILLE (se eliminan recursos del sistema). Incrementar M para un proceso (el proceso necesita más recursos que los permitidos). Decrementar M para un proceso (el proceso decide que no va a necesitar algunos recursos). Incrementar el número de procesos. Decrementar el número de procesos. 3. Hallar la matriz de necesidad. Tener en cuenta que el sistema usa el lgoritmo del anquero para bloquear a los procesos que piden más recursos que los disponibles. Solo se asignara a un proceso los recursos que necesite, si estos son todos los que va a necesitar para completar la ejecución. El número de los procesos corresponde con el orden de llegada. Se deberá utilizar el algoritmo de planificación FFS. demás indicar si el sistema es seguro o no (o sea verificar si ningún proceso queda sin los recursos necesarios). Peticiones Máximas Disponibles Recursos signados R R R3 R4 R R R3 R4 R R R3 R4 P P 3 3 P 6 3 P 3 P3 4 P3 P4 3 P4 P P 3 3. Escribir un algoritmo para sincronizar el paso de vehículos sobre un puente con una sola dirección de circulación. Los vehículos arriban al puente desde ambas direcciones, pero sólo pueden pasar de una dirección por vez. No hay restricción acerca de la cantidad de vehículos que pueden estar sobre el puente al mismo tiempo. Hay starvation?; si la hay, cómo hacer pare evitarla?. Puede haber Deadlock?. Explicar porqué. 3. Se tienen 3 procesos: P, P y P3: El código del proceso Pi (i=,, 3) es: Pi( ) /*Proceso Pi con i=,,3 */ while (TRUE) printf( Soy el proceso i \n ); Se desea mostrar en la salida lo siguiente: Soy el proceso Soy el proceso Soy el proceso 3 Soy el proceso Soy el proceso a) Sincronizar mediante semáforos Página /4

23 . Definir los semáforos e inicializarlos correctamente. Usar el mínimo número de semáforos. Reescriba los tres procesos con los semáforos incorporados b) Sincronizar mediante mensajes. Se pide el mínimo código. ómo parte? 33. Dados 4 procesos que cumplen las siguientes funciones: P V Y Z W S S S S3 S S3 V3 V V V3 V Los valores iniciales de los semáforos son S= y S=S3=. Los procesos siguen un orden del tipo YZW. Se pide, determinar la traza de ejecución y si los procesos terminan o no. 34. Dados los siguientes procesos con su respectivos códigos y los valores iniciales de los semáforos =, =, =, D=. Y Z W P() P(D) P() P() P(D) P() P() V(D) V() V() V() a) Indique los procesos que terminaron (y en que orden) y los que no. Secuencia: Y- Z - -W. 3. ambie los semáforos del ejercicio anterior para que el sistema sea SEGURO y no quede ningún proceso bloqueado Los siguientes procesos se ejecutan en paralelo. Utilizando semáforos, especifique cuales terminaron y cuales no. Inicialización de los semáforos: I,,,, P = M, K, G = P P P3 P4 P P6 D(I) D(M) U() D() U() D(K) U(I) U() D() D() D(P) U() D(P) D(I) D(G) U(I) D(M) D(I) U(P) U(I) U(G) D(K) D(G) U(I) D(K) D(K) U(K) U(M) D(M) U(M) D(P) D(K) U(K) U(P) U(G) U(P) 37. -Realice la sincronización de 4 procesos ---> --->DD(una vez cada uno, en ese orden) -> colalimitada--> -Genera mensajes - Retira mensajes -Retira mensajes Página 3/4

24 -Deposita mensajes - Procesa el mens onsume el mens. -Deposita mens. 38. Realice la sincronización de 4 procesos > ilimitada ->---> --> y D (en forma alternada estrictamente) -Genera mensajes - Retira mensajes -Retira mensajes -Deposita mensajes - Procesa el mens -onsume el mens. -Deposita mens. 39. Tengo un proceso productor que deposita los mensajes en un uffer de 3 posiciones. Luego los retira y los procesa otro proceso intermediario, que va depositando los mensajes procesados en un uffer de posiciones otros dos procesos y los retiran e Imprimen altenadamente,,,,,, etc. 4..Realizar los algoritmos para los 4 procesos. Se plantea a los alumnos de la, en un parcialito de un curso de Sistemas Operativos, resolver el problema del productor/consumidor con buffer ilimitado. Se pide a los alumnos que implementen la función productor y la función consumidor utilizando semáforos y evitando que se produzcan problemas de concurrencia. Uno de los alumnos entrega la siguiente solución: int n; semaphore s=; semaphore esperar=; Void productor(void) while () producir(); wait(mutex); añadir(buffer); n++; if (n==) signal(esperar); signal(mutex); void consumidor(void) while () wait(mutex); retirar(buffer); n--; if (n==) wait(esperar); signal(mutex); consumir(); Dicha solución se ha corregido como incorrecta en el examen. Uno de los profesores se ha confundido y ha vuelto a tomar el mismo examen. Usted ya había visto el ejercicio porque había pedido el examen y se pone contento porque ya lo ha practicado con sus compañeros, por lo que se le pide que: a) Encontrando un contraejemplo, demuestre que esta solución no es válida. b) orregir el código de manera que el problema encontrado en el punto anterior sea solucionado. Respuesta a-.-omo el semáforo mutex está inicializado en por defecto el consumidor puede retirar un elemento del buffer vacio. a-.-no hay un valor inicial de n.si n está inicializado en, ya que no hay mensajes, al decrementar n queda en - por lo tanto n estaría demás ya que wait pregunta por el valor del semáforo esperar.. a-3 wait (esperar) no debe estar dentro del mutex ya que produce deadlock al bloquear el consumidor y no habilitar el mutex. Luego ejecuta el productor y queda bloqueado a la espera de la habilitación del mutex. Página 4/4