Protocolos Para Control De Concurrencia

Protocolos para 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.



Bloqueos de modo Múltiple.

Bloqueo Binario 

Un bloqueo puede tener estados o valores: bloqueado, desbloqueado (0 y 1).



Si el bloqueo sobre X es 1, ninguna operación de la base de datos que solicite el elemento podrá tener acceso si es 0, se podrá tener acceso al elemento cuando se solicite.

Bloqueo Binario 

Se debe incluir en las transacciones dos operaciones, bloquear_elemento y desbloquear_elemento.



Se deben implementar como unidades indivisibles (conocidas como secciones críticas en los sistemas operativos)



Impone una exclusión mutua sobre el elemento de datos.

Bloqueo Binario 

En la forma más simple cada bloqueo puede ser un registro con tres campos: nombre de elemento de datos, bloqueo, transacción que bloquea además de una cola para las transacciones que están esperando acceder al elemento.

Bloqueo Binario Reglas: 1. Una transacción T debe realizar una operación Bloquear_ítem(X) antes que un Leer_Ítem(X) o Escribir_ítem(X). 

2. Una transacción T debe realizar una operación Desbloquear_ítem(X) después de que todos los Leer_ítem(X) y Escribir_ítem(X) en T se han completado.

Bloqueo Binario 3. Una transacción T no realizará un Bloquear_ítem(X) si ya posee el bloqueo de X. 4. Una transacción T no realizará un Desbloquear_ítem(X) salvo que posea el bloqueo de X.

Bloqueos de modo Múltiple 

Son una ampliación de los bloqueos binarios.



Tres operaciones de bloqueo diferentes: Bloquear_para_lectura(X) Bloquear_para_escritura(X) Desbloquear_ítem(X).

  

Bloqueos de modo Múltiple    

Tres estados posibles: 'bloqueado para lectura' 'bloqueado para escritura‘ 'desbloqueado'.

Alcance de los candados 





Exclusivo: prohíbe el compartir un recurso. La primera transacción que asigna esta llave puede accederlo, mientras que la segunda debe esperar hasta que este sea liberado. Compartidos: dependiendo de las operaciones involucradas permite que los recursos sean compartidos por varios usuarios. Detección de situaciones de abrazo mortal (deadlock).

Ejemplos-Bloquear 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;