4.6.- Integridad: Control de concurrencia.

4.6.1.- Introduccin
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo (variable cerrojo)
Tipos, protocolos
Problemas. Interbloqueo
Granularidad
4.6.2.2.- Marcas de Tiempo
Protocolos
Marcas de Tiempo Multiversion
- 2 LABDA Tema IV: Administracin y Seguridad
4.6.- Integridad: Control de concurrencia.
4.6.1.- Introduccin (1).
w En sistema multiusuario es imprescindible, un mecanismo de control de
concurrencia para conservar la integridad de la BD.
n Todos los datos deben ser iguales para todos los usuarios.
w Cuando se ejecutan varias transacciones simultneamente pueden
producirse estados inconsistentes en la BD:
n Una transaccin bancaria lee un importe y le resta 100 euros y antes de
actualizar la BBDD otra transaccin lee ese dato.
w ORACLEes una BD multiusuario. Se necesita
Maximizacin de concurrencia maximiza productividad y desarrollo
- Concurrencia
- Consistencia
- 3 LABDA Tema IV: Administracin y Seguridad
4.6.- Integridad: Control de concurrencia.
4.6.1.- Introduccin (2).
w Ejemplo de problema de concurrencia:
read(A);
A:=A-10;
read(A);
write(A);
A:=A-20;
write(A);
OBJETIVO para controlar la concurrencia:
Garantizar que las transacciones sean seriables
as, se garantizar la consistencia de las transacciones.
Estas dos transacciones
simultaneas NO pueden
acceder al mismo dato.
T1 T2
t
- 4 LABDA Tema IV: Administracin y Seguridad
4.6.- Integridad: Control de concurrencia.
4.6.1.- Introduccin (3).
w Problemas clsicos de concurrencia:
n Modificacin perdida
n Modificacin temporal
n Totalizacin incorrecta
n Lectura no repetible
w En ORACLElos fenmenos prevenibles son:
n Lectura sucia
n Lectura no repetible (borrosa)
n Lectura fantasma
- 5 LABDA Tema IV: Administracin y Seguridad
4.6.- Integridad: Control de concurrencia.
4.6.1.- Introduccin (4).
Tcnicas Pesimistas (Prevencin)
Bloqueos, Marcas de Tiempo,...
Tcnicas Optimistas (Correccin)
Tcnicas de Validacin
Para
prevenir
problemas
Tcnicas de Control
de Concurrencia
ORACLE tiene como soluciones:
Varios tipos de bloqueo
Un modelo de consistencia multiversin.
Niveles de AISLAMIENTO:
Aceptacin de lectura (read commited)
Serializable
Modo de solo lectura (read-only mode)
- 6 LABDA Tema IV: Administracin y Seguridad
4.6.- Integridad: Control de concurrencia.
4.6.1.- Introduccin (5).
w ORACLE para prevenir interaccin destructiva de datos
entre usuarios:
n Consistencia: Asegura que los datos que estamos viendo
no cambian (por otros usuarios) hasta que acabemos la
transaccin
n Integridad: Asegura que los datos y estructuras reflejan
los cambios en una secuencia correcta.
- 7 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (1)
w Un bloqueo, asocia una variable (cerrojo) a cada elemento
de datos que describe el estado de dicho elemento, respecto
a las posibles operaciones que sobre l se puede realizar.
Identificador del Elemento bloqueado
Identificador de la Transaccin que lo bloquea
w Una transaccin obtiene un bloqueo solicitndolo al Gestor
de Bloqueos.
w Un bloqueo es una garanta de ciertos derechos de
exclusividad para la Transaccin.
- 8 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (2).
w Tipos:
- Bloqueos exclusivos: Un nico bloqueo por recurso
- Bloqueos Compartidos: Muchos bloqueos por recurso
Un Protocolo de Bloqueo indica cuando una transaccin puede bloquear
y desbloquear elementos. Si los bloqueos se realizaran de manera arbitraria
se podran producir inconsistencias.
Protocolo de Bloqueo en dos Fases (Two-Phase-Locking)
Fase de Crecimiento: Bloquea pero no Libera
Fase de Encogimiento: Libera pero no Bloquea
Asegura la seriabilidad
ORACLE tiene los dos tipos de bloqueo as como control de
consistencia multiversin para asegurar acceso concurrente a los datos.
- 9 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (3).
w Problema de Interbloqueo. DEADLOCK (1)
Dos o ms transacciones se quedan a la espera de que se liberen
elementos que tiene bloqueados otra.
Bloqueo(A) .................
................. Bloqueo(B)
................. .................
Bloqueo(B) .................
<espera> Bloqueo(A)
<espera> <espera>
Puede producirse incluso con protocolos de bloqueo que garantizan la
seriabilidad
T1 T2
t
- 10 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (4).
w Problema de Interbloqueo. DEADLOCK (2)
w Soluciones:
n Prevencin del interbloqueo, obligando a que las transacciones
bloqueen todos los elementos que necesitan por adelantado
n Detectar el interbloqueo, controlando de forma peridica si se ha
producido, para lo que suele construir un grafo de espera:
l Cada nodo representa una transaccin
l Existe un arco entre Ti y Tj si Ti est esperando un recurso que
tiene bloqueado Tj
l Existe interbloqueo si el Grafo tiene un ciclo.
Cada SGBD tiene su propia poltica para escoger las victimas, aunque suelen ser las
transacciones mas recientes.
- 11 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (5).
w Problema de Interbloqueo. DEADLOCK (3)
n Prevencin el interbloqueo:
l Bloquear todo lo necesario por adelantado
l Comprobar por adelantado la posibilidad de Interbloqueo, la
transaccin esperar en el caso en que de atenderse su peticin
se producira Interbloqueo.
l Nuevos protocolos de bloqueo que adems de garantizar la
seriabilidad, eviten el interbloqueo. (ej. Protocolo del rbol).
l Utilizacin de Marcas de Tiempo para cada transaccin MT(Ti):
w Usar expropiacin y retroceso de Transacciones
esperar-morir (Wait Die)
herir-esperar (Wound Wait)
- 12 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (6).
w Problema de Interbloqueo. DEADLOCK (4)
n Deteccin del Interbloqueo y Recuperacin
l Peridicamente se comprueba la existencia de Interbloqueo:
Si se detecta Interbloqueo, se elige una transaccin como
vctima y se la mata.
Se puede producir inanicin si se elige siempre a la misma
vctima.
Cundo usar prevencin y cuando deteccin?
- 13 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.1.- Bloqueo. Variable cerrojo (7).
w GRANULARIDAD del Bloqueo: para mejorar rendimiento
n Son posibles diversos niveles de bloqueo
un campo de un registro - un registro
un fichero - la base de datos
n Granularidad gruesa menor gestin de bloqueos y menor nivel de
concurrencia.
n Granularidad fina mayor gestin de bloqueos y mayor nivel de
concurrencia.
n ORACLE bloquea automticamente:
Objetos de usuario (tablas, filas, etc. (estructuras y datos))
Objetos del sistema invisibles a los usuarios (estructuras de datos
compartidas en memoria, filas de diccionario de datos, etc.)
- 14 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.2.- Marcas de Tiempo (1).
w En lugar de determinar el orden entre las transacciones en
conflicto en funcin del momento del acceso a los
elementos, determinan por adelantado una ordenacin de las
transacciones.
w El interbloqueo es imposible.
w Una marca de tiempo es un identificador nico asociado a
cada transaccin
w Las actualizaciones fsicas se retrasan hasta la confirmacin
de las transacciones. No se puede actualizar ningn
elemento actualizado por otra transaccin ms reciente.
- 15 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.2.- Marcas de Tiempo (2).
w Protocolos:
n Wait-die que fuerza a una transaccin a esperar en caso
de que entre en conflicto con otra transaccin cuya marca
de tiempo sea mas reciente, o a morir (abortar y reiniciar)
si la transaccin que se esta ejecutando es ms antigua.
n Wound-wait, que permite a una transaccin matar a otra
que posea una marca de tiempo ms reciente, o que
fuerza a la transaccin peticionaria a esperar.
- 16 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.2.- Marcas de Tiempo (3).
w Marcas de tiempo multiversin (1)
n Varias transacciones leen y escriben diferentes versiones del mismo
dato siempre que cada transaccin sea un conjunto consistente de
versiones de todos los datos a los que accede.
n ORACLEutiliza un sistema multiversin
n Protocolo:
l Esta basado en marcas de tiempo
l El control de concurrencia es de varias versiones a la vez de un
item de datos.
l Cuando una transaccin requiere acceder a un item, la marca de
tiempo de la transaccin es comparada con las marcas de tiempo
de las diferentes versiones del item.
l Se elige una versin de los items para mantener la serializabilidad
del plan de items que se este ejecutando.
- 17 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.2.- Marcas de Tiempo (4).
w Modelo Multiversin de ORACLE (1):
n Consistencia en lectura:
l Imaginar cada usuario operando con una copia privada de la BD
(modelo consistente multiversin)
l Caractersticas
garantiza que los datos no cambian durante la ejecucin
Los lectores no esperan a los que escriben o a otros lectores
Los que escriben no esperan a los lectores, pero s a otros
escritores de los mismos datos
l Niveles de concurrencia
Sentencia
Transaccin
- 18 LABDA Tema IV: Administracin y Seguridad
4.6.2.- Tcnicas de Bloqueo.
4.6.2.2.- Marcas de Tiempo (5).
w Modelo Multiversin de ORACLE (2):
n Cuando se lee y modifica al mismo tiempo, Oracle crea:
l Conjunto de datos (vistas) consistente en lectura
l Cuando se modifica (antes del COMMIT)
se almacenan los valores antiguos de los datos en Segmentos
de Rollback
Crea la Vista Consistente a partir de:
Informacin actual en el rea Global del Sistema
Informacin antigua en los Segmentos de Rollback
l Al hacer el COMMIT:
Se hacen los cambios permanentes para todas las vistas
posteriores
- 19
Bibliografa
w Fundamentos de Sistemas de Bases de Datos, 3 Edicin,
Elmasri y Navathe, Addison Wesley, 2002. Capitulo 20.
w Database systems : a practical approach to design,
implementation and management. Thomas M. Connolly.
Addison-Wesley. 2005.
w Sistemas de bases de datos : un enfoque prctico para
diseo, implementacin y gestin. Thomas M. Connolly.
Addison-Wesley. 2005.
w Documentacin de Oracle. http://otn.oracle.com
LABDA Tema IV: Administracin y Seguridad