La 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 tenedor a la izquierda de su plato. Pero para comer los fideos son necesarios dos tenedores y cada filósofo puede tomar el tenedor que esté a su izquierda o derecha, uno por vez (o sea, no puede tomar los dos al mismo tiempo, pero puede tomar uno y después el otro). Si cualquier filósofo coge un tenedor y el otro está ocupado, se quedará esperando, con el tenedor en la mano, hasta que pueda coger el otro tenedor, para luego empezar a comer.
Si dos filósofos adyacentes intentan tomar el mismo tenedor a una vez, se produce una condición de carrera: ambos compiten por tomar el mismo tenedor, y uno de ellos se queda sin comer.
Si todos los filósofos cogen el tenedor que está a su derecha al mismo tiempo, entonces todos se quedarán esperando eternamente, porque alguien debe liberar el tenedor que les falta. Nadie lo hará porque todos se encuentran en la misma situación (esperando que alguno deje sus tenedores). Entonces los filósofos se morirán de hambre. Este bloqueo mutuo se denomina deadlock.
El problema consiste en encontrar un algoritmo que permita que los filósofos nunca se mueran de hambre.
Edsger Dijkstra
Como nace un paradigma?
“Los monos mojados”
Un grupo de científicos puso cinco monos en una jaula, en cuyo centro fue colocada una escalera y, sobre ella, un montón de plátanos.
Cuando un mono subió la escalera para agarrar los plátanos, los científicos a cargo del experimento, lanzaban un chorro de agua fría sobre los que quedaban en el suelo. Después de algún tiempo, cuando un mono iba a subir la escalera, los otros lo agarraban a palos.
Pasado algún tiempo, ningún mono subía la escalera, a pesar de la tentación de los plátanos. Entonces los científicos sustituyeron uno de los monos. Y éste lo primero que hizo fue subir la escalera, siendo rápidamente bajado por los otros, quienes le pegaron. Luego de algunas palizas, el nuevo integrante del grupo ya no subió más la escalera. Un segundo mono fue sustituido, y ocurrió lo mismo.
El primer sustituto participó con entusiasmo de la paliza del novato. Un tercero fue cambiado, y se repitió el hecho. El cuarto igual, hasta que el último de los veteranos fue sustituido.
Los científicos quedaron entonces, con un grupo de cinco monos que, aun cuando nunca recibieron un baño de agua fría, continuaban golpeando a aquel que intentase llegar a la pila de plátanos.
Si fuese posible preguntar a algunos de ellos por qué le pegaban a quien intentase subir la escalera, con certeza la respuesta sería:“No sé, las cosas siempre se han hecho así aquí…”
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 tenedor a la izquierda de su plato. Pero para comer los fideos son necesarios dos tenedores y cada filósofo puede tomar el tenedor que esté a su izquierda o derecha, uno por vez (o sea, no puede tomar los dos al mismo tiempo, pero puede tomar uno y después el otro). Si cualquier filósofo coge un tenedor y el otro está ocupado, se quedará esperando, con el tenedor en la mano, hasta que pueda coger el otro tenedor, para luego empezar a comer.
Si dos filósofos adyacentes intentan tomar el mismo tenedor a una vez, se produce una condición de carrera: ambos compiten por tomar el mismo tenedor, y uno de ellos se queda sin comer.
Si todos los filósofos cogen el tenedor que está a su derecha al mismo tiempo, entonces todos se quedarán esperando eternamente, porque alguien debe liberar el tenedor que les falta. Nadie lo hará porque todos se encuentran en la misma situación (esperando que alguno deje sus tenedores). Entonces los filósofos se morirán de hambre. Este bloqueo mutuo se denomina deadlock.
El problema consiste en encontrar un algoritmo que permita que los filósofos nunca se mueran de hambre.
Edsger Dijkstra
Como nace un paradigma?
“Los monos mojados”
Un grupo de científicos puso cinco monos en una jaula, en cuyo centro fue colocada una escalera y, sobre ella, un montón de plátanos.
Cuando un mono subió la escalera para agarrar los plátanos, los científicos a cargo del experimento, lanzaban un chorro de agua fría sobre los que quedaban en el suelo. Después de algún tiempo, cuando un mono iba a subir la escalera, los otros lo agarraban a palos.
Pasado algún tiempo, ningún mono subía la escalera, a pesar de la tentación de los plátanos. Entonces los científicos sustituyeron uno de los monos. Y éste lo primero que hizo fue subir la escalera, siendo rápidamente bajado por los otros, quienes le pegaron. Luego de algunas palizas, el nuevo integrante del grupo ya no subió más la escalera. Un segundo mono fue sustituido, y ocurrió lo mismo.
El primer sustituto participó con entusiasmo de la paliza del novato. Un tercero fue cambiado, y se repitió el hecho. El cuarto igual, hasta que el último de los veteranos fue sustituido.
Los científicos quedaron entonces, con un grupo de cinco monos que, aun cuando nunca recibieron un baño de agua fría, continuaban golpeando a aquel que intentase llegar a la pila de plátanos.
Si fuese posible preguntar a algunos de ellos por qué le pegaban a quien intentase subir la escalera, con certeza la respuesta sería:“No sé, las cosas siempre se han hecho así aquí…”