Protocolos para Control de Concurrencia
Protocolos para Control de Concurrencia
Protocolos para Control de Concurrencia
Control de
Concurrencia
Protocolos para Control de
Concurrencia
La mayoría de los protocolos utilizan técnicas
de bloqueo (locking) de los ítems de datos
para prevenir que múltiples transacciones
accedan a los ítems concurrentemente.
Un bloqueo es una variable asociada con un
ítem utilizada para almacenar el estado de
ese ítem con respecto a posibles
operaciones que le puedan ser aplicadas.
Bloqueo Binario
Tipos de bloqueos:
Bloqueos Binarios.
Bloquear_elemento
B: si CANDADO(X)=0 (el elemento esta
desbloqueado)
entonces CANDADO(X) 1 (bloquear elemento)
de otro modo comenzar
esperar(hasta que CANDADO(X)=0 y
el gestor de bloqueo despierte la transaccion);
ir a B
fin;
Ejemplos-Desbloquear
desbloquear_elemento(X)
CANDADO(X)0 (desbloquear el elemento)
si alguna transacción esta esperando
entonces despertar una de las transacciones
que esperan;