PROTOCOLOS BASADOS EN MARCAS TEMPORALES

PROTOCOLOS BASADOS EN MARCAS TEMPORALES.

En los protocolos de bloqueo que se han descrito antes se
determina el orden entre dos transacciones conflictivas en
tiempo de ejecución a través del primer bloqueo que soliciten ambas que traiga consigo modos incompatibles. Otro método para determinar el orden de secuencialidad es
seleccionar previamente un orden entre las transacciones.
El métodomás común para hacer esto es utilizar un esquema

16.2.1. Marcas temporales
A toda transacción Ti del sistema se le asocia una única
marca temporal fijada, denotada por MT(Ti). El sistema
de base de datos asigna esta marca temporal antes
de que comience la ejecución de Ti. Si a la transacción
Ti se le ha asignado la marca temporal MT(Ti) y una
nueva transacción Tj entra en el sistema,entonces
MT(Ti) < MT(Tj). Existen dos métodos simples para
implementar este esquema:
1. Usar el valor del reloj del sistema como marca
temporal; es decir, la marca temporal de una transacción
es igual al valor del reloj en el momento
en el que la transacción entra en el sistema.
2. Usar un contador lógico que se incrementa cada
vez que se asigna una nueva marca temporal; es
decir, la marcatemporal de una transacción
es igual al valor del contador en el momento en
el cual la transacción entra en el sistema.
Las marcas temporales de las transacciones determinan
el orden de secuencia. De este modo, si MT(Ti)
< MT(Tj) entonces el sistema debe asegurar que toda
planificación que produzca es equivalente a una planificación
secuencial en la cual la transacción Ti aparece
antes quela transacción Tj.
Para implementar este esquema se asocia a cada elemento
de datos Q dos valores de marca temporal:
• marca_temporal-E(Q) denota la mayor marca
temporal de todas las transacciones que ejecutan
con éxito escribir(Q).
• marca_temporal-L(Q) denota la mayor marca
temporal de todas las transacciones que ejecutan
con éxito leer(Q).
Estas marcas temporales se actualizan cada vezque se
ejecuta una nueva operación leer(Q) o escribir(Q).
16.2.2. Protocolo de ordenación por marcas
temporales
El protocolo de ordenación por marcas temporales
asegura que todas las operaciones leer y escribir conflictivas
se ejecutan en el orden de las marcas temporales.
Este protocolo opera como sigue:
1. Supóngase que la transacción Ti ejecuta leer(Q).
a. Si MT(Ti) necesita leer un valor de Q que ya se ha sobrescrito.
Por tanto se rechaza la operación leer y
Ti se retrocede.
b. Si MT(Ti) ≥ marca_temporal-E(Q) entonces se
ejecuta la operación leer y marca_temporal-
L(Q) se asigna al máximo de marca_temporal-
L(Q) y de MT(Ti).
2. Supóngase que la transacción Ti ejecuta escribir(Q).
a. Si MT(Ti) < marca_temporal-L(Q) entonces el
valorde Q que produce Ti se necesita previamente
y el sistema asume que dicho valor no
se puede producir nunca. Por tanto, se rechaza
la operación escribir y Ti se retrocede.
b. Si MT(Ti) < marca_temporal-E(Q) entonces Ti
está intentando escribir un valor de Q obsoleto.
Por tanto, se rechaza la operación escribir y
Ti se retrocede.
c. En otro caso se ejecuta la operación escribir y
MT(Ti) seasigna a marca_temporal-E(Q).
Auna transacción Ti que el esquema de control de concurrencia
haya retrocedido como resultado de la ejecución
de una operación leer o escribir se le asigna una
nueva marca temporal y se inicia de nuevo.
Para ilustrar este protocolo considérense las transacciones
T14 y T15. La transacción T14 visualiza el contenido
de las cuentas A y B:
T14: leer(B);
leer(A);visualizar(A + B).
La transacción T15 transfiere 50 € de la cuenta A a la B
y muestra después el contenido de ambas:
T15: leer(B);
B := B – 50;
escribir(B);
leer(A);
A := A + 50;
escribir(A);
visualizar(A + B).
En las planificaciones actuales con el protocolo de marcas
temporales se asume que a una transacción se le
asigna una marca temporal inmediatamente antes de su
primera...

Leer documento completo

Regístrate para leer el documento completo.