1
Solución al problema de los filósofos comensales y
sus aplicaciones.
Andrés A. Garcés, José A. Muñoz, y Jorge A. Villarreal
Resumen—En este trabajo exploramos el problema de
los filósofos comensales que fue propuesto hace cinco
décadas para representar el problema de sincronización al
momento de compartir recursos en sistemas
multiprogramados. Sobre este mostramos distintas
soluciones propuestas en los últimos años así como sus
aplicaciones en sistemas operativos y redes de
computación.
Palabras clave—Filósofos comensales, concurrencia,
sincronización
I. INTRODUCCIÓN
En un sistema de operativo multiprogramado, la
sincronización se refiere al mecanismo que permite a dos o
más procesos realizar acciones al mismo tiempo [1]. En este
tipo de sistemas, cada proceso se ejecuta asíncronamente y, en
algunos instantes, los procesos deben sincronizar sus
actividades cuando la continuación de uno depende de alguna
tarea que debe realizar otro o un recurso que está siendo
ocupado por el mismo.
Los procesos compiten entre ellos por el acceso a los
recursos o cooperan para comunicar información. Ambas
situaciones son manejadas por el sistema operativo mediante
mecanismos de sincronización que permiten el acceso
exclusivo de forma coordinada a los recursos y a los
elementos de comunicación compartidos.
Cuando el recurso es no compartible se hace necesaria la
comunicación entre recursos que se ejecuten en paralelo con el
fin de asignar el recurso a solo uno de los procesos, mientras
que los otros deben permanecer en espera hasta que finalice la
utilización de dicho recurso por el proceso al que se le asignó.
Cuando este proceso termine, el recurso será asignado a uno
de los procesos en espera. Esta comunicación entre procesos
se denomina Exclusión Mutua.
En 1965, Edsger Dijkstra propuso el problema de los
Filósofos Comensales para representar el problema en la
sincronización de los procesos en los sistemas operativos. Este
problema se remite a que hay un número n de filósofos
sentados en una mesa y pasan su vida cenando y pensando.
Cada filósofo tiene un plato delante de él entre cada uno de
ellos hay un tenedor. Para poder comer es necesario tener dos
tenedores (el de su izquierda y el de su derecha). Si un filósofo
desea comer agarra un tenedor y si el otro no está disponible,
se queda con el tenedor en la mano esperando hasta que
desocupen el segundo, para luego empezar a comer [1].
Cuando dos filósofos contiguos intentan tomar el mismo
tenedor a la vez entran en una condición de carrera, la cual
resulta en uno agarrando el tenedor y otro esperando hasta que
lo libere. Si todos los filósofos toman el tenedor a su derecha,
se quedarían esperando todos eternamente a que se desocupe
el tenedor a su izquierda y morirían de hambre, esto se
denomina bloqueo mutuo o deadlock. El principal problema
de los filósofos comensales consiste en encontrar un algoritmo
que le permita a los filósofos no morir de hambre [1].
II. SOLUCIONES
Antes de exponer las soluciones cabe resaltar que no existe
ninguna solución determinística, sin interbloqueos,
completamente distribuida y simétrica al problema de los
filósofos comensales [1].
A. Nesterenko y Arora
A continuación presentamos una solución para el problema
de los filósofos comensales propuesta por Nesterenko y Arora
[2]. Esta solución tolera errores maliciosos. En un error
malicioso el proceso se comporta arbitrariamente por un
periodo de tiempo finito y después para cualquier operación de
forma indetectable para los otros procesos. En esta solución, la
tolerancia a este problema la logramos mediante la
combinación de estabilidad y localización del error.
El problema de los filósofos comensales es definido a
continuación: Un número de procesos están unidos a un
proceso vecino. Los procesos pueden estar en estado
pensando, hambriento o comiendo. Una solución para el
problema satisface las siguientes condiciones: seguridad –
dos filósofos vecinos no pueden estar comiendo al tiempo en
el mismo estado, y vitalidad – Cada proceso en estado
hambriento eventualmente comerá, dado que los procesos en
estado comiendo no comen de forma indefinida.
Choy y Singh probaron que la mínima localización de
errores en para el problema de los filósofos comensales es de
dos, por lo tanto los errores maliciosos para este problema con
𝑚 < 2 no tienen solución. En este algoritmo se soluciona el
problema cuando 𝑚 = 2, el cual es el óptimo.
La solución se basa en un Sistema de prioridades entre los
procesos. Se toman los procesos en forma de Nodos y entre
cada arista se define una dirección. Este grafo de prioridad
define ancestros y descendientes para cada proceso. Un
proceso en estado hambriento es capaz de comer solamente
si sus ancestros directos no están en estado hambriento. Un
bloqueo mutuo no es posible dado que el grafo es acíclico y se
garantiza que un al menos un proceso eventualmente
comerá. Después de comer un proceso cambia su estado para
ser descendiente de sus vecinos. Esta operación mantiene el
grafo acíclico y asegura la vitalidad si todos los procesos
progresan.
El grafo de dependencia puede formar cadenas de espera
muy largas que ponen en peligro la vitalidad si algún proceso
en espera termina inesperadamente. Para asegurar la
localizació
n de errores utiliza el mecanismo dinámico de límites
preferente (Dynamic preemption threshold scheduling) [3],
en el cual, cuando un proceso termina inesperadamente, este
cede a su descendiente directo cuando hay un ancestro directo
en estado hambriento.
La vitalidad también se puede ver comprometida si el grafo
de dependencias contiene algún ciclo. Para garantizar la
estabilización nuestro el programa rompe cualquier ciclo, para
romper el ciclo todos los procesos tienen la distancia entre
ellos y el descendiente más lejano, un ciclo es detectado si esa
distancia excede el diámetro del Sistema y se procede a cortar
el ciclo de forma que el proceso que lo detectó pasa a ser el
descendiente de todos los vecinos [2], [3].
B. Attiya, Kogan y Welch.
En una red de dispositivos móviles ad hoc, es decir,
colecciones de entidades computacionales o nodos que se
comunican inalámbricamente sin la asistencia de una
infraestructura fija, los nodos que se encuentra en la red deben
competir por los recursos compartidos en esta, en la cual
ningún par de nodos de la red pueden estar en su sección
crítica al mismo tiempo, además, el algoritmo debería permitir
que cuando un nodo desee entrar a su sección crítica pueda
hacerlo. Soluciones para este problema han sido propuestas
pero en el caso de redes móviles ad hoc los nodos en la red

pueden cambiar de posición en cualquier momento y además
el recurso puede ser compartido por aquellos nodos que se
encuentren cerca geográficamente y no todos los que se
encuentran en la red.
Este tipo de problema es una extensión al problema de los
filósofos comensales que ha sido estudiado en redes estáticas y
es llamado por Attiya, Kogan y Welch como exclusión local
mutua. La característica deseado para estos algoritmos es que
tengan un tiempo de respuesta y fallos locales independientes
del número de nodos en la red. Dos algoritmos fueron
propuestos, uno que minimiza el tiempo de respuesta y otro
que minimiza el daño causado por los fallos locales, del cual
el primero tiene dos variaciones [4].
El primer algoritmo es una solución modular que asigna
colores a los nodos basados en su localización geográfica, de
forma que los nodos cercanos tengan todos el mismo color, y
resuelve los problemas de compartir recursos de forma local
en cada grupo de color. Se soluciona el problema de movilidad
escogiendo en los colores basados en su estado de
movimiento. Las dos variaciones existen por el algoritmo para
la escogencia de los colores. Una de ellas utiliza un algoritmo
voraz para colorear mientras que la otra utiliza el algoritmo de
Linial para colorear rápidamente. La segunda versión tiene
una menor consecuencia al presentarse fallos locales y, aunque
no es óptima, crece muy lentamente con respecto al tamaño de
la red lo que lo hace rápido en redes dispersas.
El segundo algoritmo es óptimo en respuesta a fallos y el
tiempo de respuesta es cuadrático con respecto al número de
nodos, pero en el caso de nodos estáticos el tiempo de
respuesta se convierte en lineal. Este, en lugar de utilizar
colores, usa prioridades para implementar el algoritmo de
inversión de los enlaces de los nodos para los casos en los que
haya una pérdida de conexión los demás nodos puedan seguir
trabajando [4].
C. Davidrajuh
En este trabajo se propone la implementación de Petri
Nets para dar solución al problema de los filósofos comensales
[5]. Las Petri Nets son una familia de formalismos de
modelado que se utilizan para modelar sistemas de eventos
discretos y que consta de varios tipos. En esta investigación se
introduce el concepto de Petri Nets Orientada a Actividad
(AOPN), la cual consiste en dos fases : (1) en esta fase se
construye el modelo estático Petri Net. Las actividades y sus
precedencias son representadas como transiciones entrelazadas
con lugares como los buffers. Los recursos son ordenados en
dos grupos como recursos focales y recursos útiles, donde sólo
los recursos focales son incluidos en el modelo estático y los
otros en la ejecución del modelo. (2) la segunda fase consiste
en añadir los detalles, que no se pueden codificar en el modelo
estático, en la ejecución del programa [5].
De esta manera, con la implementación de las AOPN junto
con GPenSIM (sistema para implementar Petri Nets), se
verifican las tres soluciones existentes al problema de los
filósofos comensales [5]. La solución de Dijkstra se basa en la
numeración de los palillos, por lo tanto con las AOPN se
satisface la situación cuando dos palillos son reservados al
mismo tiempo. La transición que reserva el palillo con el
mayor número se activa primero que la transición que reserva
el palillo con menor número. La solución basada en la
numeración de los filósofos se satisface con la asignación de
prioridades a las transiciones debido a que cada filósofo
reserva los palillos a través de dos transiciones. Y por último,
la solución basada en un supervisor satisface la inanición.
Por lo tanto, se demuestra que el sistema AOPN sirve como
modelado de sistemas de eventos discretos, especialmente
cuando se involucran recursos.
D. Adamek, Nesterenko, Tixeuil
En este trabajo se propone el análisis de algoritmos de
auto-estabilización como solución al problema de los filósofos
2
comensales [6]. Los algoritmos de auto-estabilización
eventualmente llegan a la correcta operación incluso si
empiezan en un estado arbitrario, debido a su naturaleza que
les permite recuperarse después de la influencia de una falla
[6]. Con la variedad de algoritmos propuestos, resulta
complicado saber cuál es el más adecuado para una
transformación particular. Por lo tanto esta investigación está
basada en el análisis teórico y aspectos prácticos de cinco
algoritmos para determinar qué tan buena es la solución que
proveen.
Los resultados demostraron que los algoritmos de
Transformation [5] , LRA [5] y Fuzzy [5] son incorrectos
porque permiten una computación con un número infinito de
palillos indefinidamente, en cambio Alternator [5] distingue
entre variables públicas y privadas y opera correctamente en
un modelo de baja atomicidad, al igual que el algoritmo
Refinement [5] que también funciona adecuadamente bajo el
mismo modelo.
Después del resultado de ejecución de estos algoritmos, se
propone la implementación de un algoritmo producto de
combinar los dos algoritmos que tuvieron soluciones correctas
(Alternator-Refinement). Entre estos dos algoritmos, los
resultados de la simulación indicaron que no existe un
algoritmo que supere al otro. Para la métrica de rendimiento,
Refinement funciona mejor que Alternator bajo condiciones
de poca carga. Sin embargo, cuando la carga incrementa,
Alternator es más eficiente.
El nuevo algoritmo toma ventaja de las diferencias de
funcionamiento de los algoritmos anteriores para estimar la
carga del sistema e intercambiar funcionalidades entre ellos
para lograr el mayor rendimiento [6].
El nuevo algoritmo combinado utiliza un árbol de
expansión con raíz estática, en el cual la acción de carga para
cada proceso consiste en computar la suma de la carga de sus
hijos y se le añade uno en caso de que el proceso requiera
acceder a la sección crítica [6]. De esta manera, el proceso de
la raíz obtiene un estimado de la carga de todo el sistema. Una
vez obtenida la carga, el proceso de la raíz selecciona qué
algoritmo utilizar, lo que garantiza que el proceso se estabilice
y sirva como solución al problema de los filósofos
comensales.
III. CONCLUSIÓN
En conclusión, en este trabajo pudimos mostrar la
importancia que representa el problema de los filósofos
comensales para representar el problema de la sincronización
en los sistemas operativos y en las redes de computación,
desde distintos campos y aplicaciones, en especial en el
mundo actual en el cual los dispositivos están interconectados.
La variedad de soluciones propuestas nos brindan un
amplio rango de posibilidades para suplir las demandas que
los sistemas operativos actuales e incluso futuros puedan
presentar. De esta manera, dependiendo de las necesidades del
sistema, se podrá escoger la solución que mejor se adapte y
que proporcione un correcto funcionamiento entre los
procesos de un sistema. Por lo tanto, podemos inferir que estas
soluciones nos pueden servir como un punto de partida para la
optimización de la multiprogramación en los computadores,
ya que estas soluciones nos permiten que la gestión de
procesos mejore considerablemente.
REFERENCIAS
[1] C. Laneve, A. Vitale, “The Expressive Power of
Synchronizations”, 2015 25th Annual IEEE Symposium on
Logic in Computer Science, pp. 382-391, 2015.
 3
[2] M. Nesterenko and A. Arora, "Dining philosophers that
tolerate malicious crashes," Distributed Computing Systems,
2002. Proceedings. 22nd International Conference on, pp.
191-198, 2002.

[3] M. Park, H. Jin Yoo, J. Chae, "Integration of Preemption

Threshold and Quantum-Based Scheduling for Schedulability
Enhancement of Fixed Priority Tasks", Embedded and Real-
Time Computing Systems and Applications 2009. RTCSA '09.
15th IEEE International Conference on, pp. 503-510, 2009.

[4] H. Attiya, A. Kogan, J. Welch, “Efficient and Robust

Local Mutual Exclusion in Mobile Ad Hoc Networks”, IEEE
Transactions on Mobile Computing, Vol. 9, No. 3, pp. 361-
375, 2010.

[5] R. Davidrajuh, “Verifying Solutions to the Dining

Philosophers Problem with Activity-Oriented Petri Nets”,
2014 4th International Conference on Artificial Intelligence
with Applications in Engineering and Technology, pp. 163-
168, 2014.

[6] J. Adamek, M. Nesterenko, and S. Tixeuil, “Evaluating

and Optimizing Stabilizing Dining Philosophers”, 2015 11th
European Dependable Computing Conference, pp. 233-244,
2015.