filosofos cenando++

Click here to load reader

Post on 21-Feb-2017

212 views

Category:

Engineering

2 download

Embed Size (px)

TRANSCRIPT

FILOSOFOS CENANDO

FILOSOFOS CENANDOSISTEMAS OPERATIVOS - 2015

1

CENA DE LOS FILSOFOSEs un problema clsico de las ciencias de la computacin propuesto por el cientficoEdsger Dijkstra para representar los inconvenientes que plantea la sincronizacin de procesos en un sistema operativo.

CENA DE LOS FILSOFOS

Cinco filsofos se sientan alrededor de una mesa y pasan su vida cenando y pensando. Cada filsofo tiene un plato de fideos y un palillo a la izquierda de su plato.

3

CENA DE LOS FILSOFOSACCIONES:

Comer, necesitan 2 palillos.

Pensar.

4

HAY CONDICIONES????

CENA DE LOS FILSOFOSExclusin mutua: Dos filsofos contiguos no pueden comer a la vez.Sincronizacin: Si un filsofo est comiendo, los contiguos no pueden hacerlo hasta que termine.Interbloqueo: El filsofo que termina de comer debe ceder los palillos para su posterior utilizacin.

CENA DE LOS FILSOFOSInterbloqueo (activo): Si 2 filsofos contiguos van a coger los palillos, uno de ellos debe hacerlo.Inanicin: Todos los filsofos que quieran comer tienen que poder hacerlo en algn momento finito, o morirn.

CMO LO SOLUCIONAMOS?

Planteamiento de la solucin.

Se tiene un arreglo para ver el estado del filsofo.Un filsofo slo puede comer si sus vecinos no lo hacen.Se utilizan semforos para indicar si los filsofos 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 filsofo.Se usan generadores aleatorios.

POR TURNO CCLICO

ANLISIS DE LA PROPUESTA 1

Garantiza exclusin mutua.

No resuelve el problema de interbloqueo.

VARIOS TURNOS

ANLISIS DE LA PROPUESTA 2

Permitir como mximo que N-1 filsofos acten a la vez.Garantiza exclusin mutua.Resuelve problema de interbloqueo.

El portero del comedor

ANLISIS DE LA PROPUESTA 3

Los filsofos cogen los palillos slo si ambos estn libres. Garantiza exclusin mutua. Resuelve problema de interbloqueo. Basada en espera ocupada (no eficiente.)

COLAS DE PALILLOS

ANLISIS DE LA PROPUESTA 4

Filsofo impar __ 1 Palillo izquierdo y 2 Palillo derecho

Filsofo par __ 1 Palillo derecho y 2 Palillo izquierdo

Garantiza exclusin mutua.Resuelve problema de interbloqueo.

Resolucin de conflictos en colas de tenedores

ANLISIS DE LA PROPUESTA 5Antes de coger su palillo izquierdo, cada filsofo espera un tiempo aleatorio. Garantiza exclusin mutua. Resuelve problema de interbloqueo.