Guía Deadlock 2011 resuelta por mi.

Lo mire a la pasada. El 4 no esta bien. Fijate que estas hablando de estado no seguro y poniendo una matriz de maximos y deadlock no es lo mismo que estado no seguro y la matriz de maximos no se usa para detectar deadlocks. Pegale una mirada al algoritmo de deteccion de deadlock (se llama asi)

Saludos!

claro, el algoritmo del banquero no se puede completar por eso abajo de eso puse el grafo para demostrar el deadlock, la matriz de maximos no la use para el grafo

Lo que digo es que el algoritmo del banquero no se usa para eso, es decir, conceptualmente no tenes una matriz de máximos en ese ejercicio.

el algoritmo del banquero te dice si el estado es seguro, si el estado es seguro entonces no hay deadlock, si es inseguro me tengo que fijar con el grafo si hay deadlock, eso es lo que me dijeron en la cursada
¿vos decis que está demás hacer el banquero y me tengo que mandar de una a hacer el grafo?

Vos tenes los pedidos actuales y los recursos asignados. No podes determinar los pedidos maximos. Entonces no tenes forma de llegar a armar la matriz de max. Entonces no tenes forma de usar el algoritmo del banquero. Para este caso vos armas la matriz de pedidos actuales y la de recursos asignados. Y usas el algoritmo de deteccion de deadlock, que es parecido al del banquero, pero incluye un "paso cero" extra. Tambien podes armar el grafo e ir tachando "a ojo" los procesos que no estan en deadlock, pero es un poco mas complicado.

gracias, pensé que la de max se sacaba sumando los actuales y los asignados, ahi está mi error entonces

buenas!

estoy reviviendo esto porque tengo una duda a ver si alguno la sabe...

tengo disponible (0,0,0,2)

Si atiendo primero al proceso P4 que me pide (0,0,0,2) me libera 1 instancia de R3 y quedaria (0,0,1,2)

P2 no esta reteniendo nada por lo tanto no entraria en deadlock (prevencion)

P1 y P3 estan reteniendo y tienen que esperar por lo tanto esos 2 estarian en deadlock verdad?

graciass

Consulta si alguno sabe, el 2c podría resolverse con un test and set? sería válido? (porque es una solución de HW y no tiene que ver con el SO)

Saludos!!!!

Hola queria saber si el ejercicio 4) se resuleve de la sigueinte manera.

Resolucion:

1) Marco el proceso P2 ya que no tiene recursos asignados.
2) Creo un vector fijo T = (0 0 0 2) (es el vector de disponibles)
3) Busco algun proceso que tenga las solicitudes actuales <= T, veo que el proceso P3 satisface.
P4 (0 0 0 2) <= T (0 0 0 2)
4) Sumo los recursos asignados de P4 a T
T (0 0 0 2)
P4 (0 0 1 0)
-------------------
T (0 0 1 2)

4) Marco el proceso P4
5) Busco otro proceso que satisfaga S (matriz de solicitudes) <= T.
6) Como no encuentro digo que P1 y P3 estan interbloqueados.

Alguno me podria confirmar si esta bien los pasos que estoy haciendo??

Muchas gracias!!

Una sola aclaración para el que no está muy canchero con los grafos, o no le tiene tanta confianza a mirar a ojo (como es mi caso)

El ejercicio 6 se puede calcular de la misma forma que el ejercicio 4. Solo tienen que descomponer el grafo en tablas y hacer el algoritmo.

SPOILER ALERT

No tiene deadlock.

Gente, ¿Para ustedes el ejercicio 2 está bien resuelto? ¿Alguien lo resolvió de forma diferente?

Muchas gracias, saludos!

Alan.