Algoritmo Dekker

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

ALGORITMO DE DEKKER

El algoritmo de Dekker es un algoritmo de programación concurrente para exclusión


mutua, que permite a dos procesos o hilos de ejecución compartir un recurso sin
conflictos. Fue uno de los primeros algoritmos de exclusión mutua inventados,
implementado por Edsger Dijkstra.
Si ambos procesos intentan acceder a la sección crítica simultáneamente, el
algoritmo elige un proceso según una variable de turno. Si el otro proceso está
ejecutando en su sección crítica, deberá esperar su finalización.
Existen cinco versiones del algoritmo Dekker, teniendo ciertos fallos los primeros
cuatro. La versión 5 es la que trabaja más eficientemente, siendo una combinación
de la 1 y la 4.
Versión 1: Alternancia estricta. Garantiza la exclusión mutua, pero su desventaja es
que acopla los procesos fuertemente, esto significa que los procesos lentos atrasan
a los procesos rápidos.
Versión 2: Problema interbloqueo. No existe la alternancia, aunque ambos procesos
caen a un mismo estado y nunca salen de ahí.
Versión 3: Colisión región crítica no garantiza la exclusión mutua. Este algoritmo no
evita que dos procesos puedan acceder al mismo tiempo a la región crítica.
Versión 4: Postergación indefinida. Aunque los procesos no están en interbloqueo,
un proceso o varios se quedan esperando a que suceda un evento que tal vez nunca
suceda.
Temas de concurrencia 749

boolean estado[2];
int turno;
void P0( )
{
while (true)
{
estado[0] = true;
while (estado [1]
if (turno == 1)
{
estado[0] = false;
while (turno == 1)
/* no hacer nada */;
estado[0] = true;
}
/* sección crítica */;
turno = 1;
estado[0] = false;
/* resto */;
}
}
void P1( )
{
while (true)
{
estado[1] = true;
while (estado[0])
if (turno == 0)
{
estado[1] = false;
while (turno == 0)
/* no hacer nada */;
estado[1] = true;
}
/* sección crítica */;
turno = 0;
estado[1] = false;
/* remainder */;
}
}
void main ( )
{
estado[0] = false;
estado[1] = false;
turno = 1;
paralelos (P0, P1);
}

Figura A2. Algoritmo de Dekker.





También podría gustarte