OS
Descargar como KEY, PDF0 recomendaciones301 vistas
El resumen describe el problema de los filósofos cenando y propone una solución utilizando semáforos y variables de estado para cada filósofo. Cada filósofo intenta tomar los tenedores izquierdo y derecho de forma no bloqueante usando semáforos y comprobando el estado de los filósofos vecinos para evitar bloqueos.
![How to detect and eliminate deadlock in the
dining philosophers problem.
Solution:
#define N 5 void tomar_tenedores(int i)
#define IZQUIERDO (i+N-1)%N {
#define DERECHO (i+1)%N down(&mutex);
#define PENSANDO 0 estado[i] = HAMBRIENTO;
#define HAMBRIENTO 1 probar(i);
#define COMIENDO 2 up(&mutex);
typedef int semaforo; down(&s[i]);
int estado [N]; }
semaforo mutex = 1; void poner_tenedores(int i)
semaforo s[N]; {
down(&mutex);
void filosofo(int i) estado[i] = PENSANDO;
{ probar(IZQUIERDO);
while(TRUE){ probar(DERECHO);
pensar(); up(&mutex);
tomar_tenedores(i); }
comer(); void probar(i)
poner_tenedores(i); {
} if(estado[i] == HAMBRIENTO && estado[IZQUIERDO] != COMIENDO &&
} estado[DERECHO] != COMIENDO ){
estado[i] = COMIENDO;
up(&s[i]);
}
}](https://image.slidesharecdn.com/os-110911162449-phpapp02/85/OS-5-320.jpg)
OS
- 1. Theoretical A s s i g n m e n t 1
- 2. Unbounded-buffer producer-consumer with locks Problem: #define N 100 int cuenta = 0; El problema que obtenemos aquí es void productor(void) { que hay una condición de carrera. int elemento; while(TRUE){ elemento = producir_elemento(); if(cuenta == N)sleep(); insertar_elemento(elemento); cuenta = cuenta + 1; if(cuenta == 1) wakeup(consumidor); } } void consumidor(void) { int elemento; while(TRUE) { if(cuenta == 0)sleep(); elemento = quitar_elemento(); cuenta = cuenta - 1; if(cuenta==N-1)wakeup(productor); consumir_elemento(elemento); } }
- 3. Unbounded-buffer producer-consumer with locks Solution: Resolviendo este problema #define N 100 typedef int semaforo; semaforo mutex = 1l semaforo vacias = N; semaforo llenas = 0; void productor(void) mediante el uso de semáforos. { int elemento; while(TRUE){ elemento = producir_elemento(); down(&vacias); down(&mutex); insertar_elemento(elemento); up(&mutex); up(&llenas); } } void consumidor(void) { int elemento; while(TRUE) { down(&llenas); down(&mutex); elemento = quitar_elemento(); up(&mutex); up(&llenas); consumir_elemento(elemento); } }
- 4. How to detect and eliminate deadlock in the dining philosophers problem. Problem: Cinco filosofos estan sentados alrededor de una mesa circular,cada filosofo tiene un plato de espagueti.El espagueti es tan resbaloso, que un filosofo necesita dos tenedores para comerlo.Entre cada par de platos hay un tenedor,cuando un filosofo tiene hambre, trata de adquirir sus tenedores izquierdo y derecho, uno a la vez, en cualquier orden.Si tiene exito al adquirir dos tenedores, come por un momento,despues deja los tenedores y continua pensando.
- 5. How to detect and eliminate deadlock in the dining philosophers problem. Solution: #define N 5 void tomar_tenedores(int i) #define IZQUIERDO (i+N-1)%N { #define DERECHO (i+1)%N down(&mutex); #define PENSANDO 0 estado[i] = HAMBRIENTO; #define HAMBRIENTO 1 probar(i); #define COMIENDO 2 up(&mutex); typedef int semaforo; down(&s[i]); int estado [N]; } semaforo mutex = 1; void poner_tenedores(int i) semaforo s[N]; { down(&mutex); void filosofo(int i) estado[i] = PENSANDO; { probar(IZQUIERDO); while(TRUE){ probar(DERECHO); pensar(); up(&mutex); tomar_tenedores(i); } comer(); void probar(i) poner_tenedores(i); { } if(estado[i] == HAMBRIENTO && estado[IZQUIERDO] != COMIENDO && } estado[DERECHO] != COMIENDO ){ estado[i] = COMIENDO; up(&s[i]); } }