Este documento describe el problema clásico de los filósofos cenando en el que cinco filósofos comparten dos palillos cada uno para comer fideos. Explica que sólo pueden comer cuando tienen los dos palillos y analiza varias propuestas para resolver los problemas de exclusión mutua e interbloqueo que surgen, incluyendo el uso de colas de palillos y la resolución de conflictos mediante tiempos de espera aleatorios.

1. FILOSOFOS CENANDO
SISTEMAS OPERATIVOS - 2015

2. CENA DE LOS FILÓSOFOS
• Es un problema clásico de las
ciencias de la computación propuesto
por el científico Edsger Dijkstra para
representar los inconvenientes que
plantea la sincronización de procesos
en un sistema operativo.

3. CENA DE LOS FILÓSOFOS
• Cinco filósofos se sientan
alrededor de una mesa y
pasan su vida cenando y
pensando.
• Cada filósofo tiene un plato de
fideos y un palillo a la
izquierda de su plato.

4. CENA DE LOS FILÓSOFOS
• ACCIONES:
– Comer, necesitan 2 palillos.
– Pensar.

5. HAY CONDICIONES????

6. CENA DE LOS FILÓSOFOS
• Exclusión mutua:
Dos filósofos contiguos no pueden comer a
la vez.
• Sincronización:
Si un filósofo está comiendo, los contiguos
no pueden hacerlo hasta que termine.
• Interbloqueo:
• El filósofo que termina de comer debe
ceder los palillos para su posterior
utilización.

7. CENA DE LOS FILÓSOFOS
• Interbloqueo (activo):
Si 2 filósofos contiguos van a coger
los palillos, uno de ellos debe
hacerlo.
• Inanición:
Todos los filósofos que quieran
comer tienen que poder hacerlo en
algún momento finito, o morirán.

8. CÓMO LO SOLUCIONAMOS?

9. Planteamiento de la solución.
• Se tiene un arreglo para ver el estado del filósofo.
• Un filósofo sólo puede comer si sus vecinos no lo
hacen.
• Se utilizan semáforos para indicar si los filósofos
necesitan un tenedor y éste no está disponible,
por que se procede a bloquearlo.
• Se toma en cuenta el vecino derecho e izquierdo
de cada filósofo.
• Se usan generadores aleatorios.

10. • POR TURNO CÍCLICO
ANÁLISIS DE LA
PROPUESTA 1
•Garantiza exclusión
mutua.
• No resuelve el
problema de
interbloqueo.

11. • VARIOS TURNOS
ANÁLISIS DE LA
PROPUESTA 2
•Permitir como máximo que
N-1 filósofos actúen a la vez.
•Garantiza exclusión mutua.
•Resuelve problema de
interbloqueo.

12. • El portero del comedor
ANÁLISIS DE LA
PROPUESTA 3
•Los filósofos cogen los
palillos sólo si ambos están
libres.
• Garantiza exclusión mutua.
• Resuelve problema de
interbloqueo.
• Basada en espera ocupada
(no eficiente.)

13. • COLAS DE PALILLOS
ANÁLISIS DE LA
PROPUESTA 4
•Filósofo impar __ 1º Palillo
izquierdo y 2º Palillo derecho
•Filósofo par __ 1º Palillo
derecho y 2º Palillo izquierdo
•Garantiza exclusión mutua.
•Resuelve problema de
interbloqueo.

14. • Resolución de conflictos en colas de
tenedores
ANÁLISIS DE LA
PROPUESTA 5
•Antes de coger su palillo
izquierdo, cada filósofo
espera un tiempo aleatorio.
• Garantiza exclusión mutua.
• Resuelve problema de
interbloqueo.