Documente Academic
Documente Profesional
Documente Cultură
3 TRANSACCIONES Y
CONCURRENCIA
AGENDA
Transacción
Definición
Propiedades ACAD/ACID
Estados de transacción
Concurrencia
Definición
Esquema de control
3
TRANSACCIÓN (2/2)
Atomicidad (Atomicity)
Todas las operaciones de la transacción se realizan
adecuadamente en la BD o ninguna se ellas se
realiza. (todo o nada).
Consistencia (Consistency)
La ejecución de la transacción conserva la
consistencia de la BD.
Aislamiento (Isolation)
El SABD garantiza que para cada par de
transacciones, cada una se realiza ignorando el resto
de las transacciones que se ejecuten de manera
7
concurrente en el sistema.
PROPIEDADES (ACAD/ ACID)
Durabilidad (Durability)
Garantiza que los cambios realizados al finalizar una
transacción permanecen, incluso si hay fallos en el
sistema.
8
EJEMPLO: BANCO
Operaciones
Leer (X), Transfiere el dato X de la BD a una memoria
intermedia de la transacción que ejecuta esta operación
(LEER).
Escribir (X), Transfiere el dato X de la memoria
intermedia de la transacción que ejecuta esta operación
(ESCRIBIR) a la BD.
Ti = Leer (A);
A:= A-1500;
Escribir (A);
Leer (B) Operaciones de la
B:= B+1500; transacción (Ti)
9
Escribir (B).
EJEMPLO Ti = Leer (A);
A:= A-1500;
Escribir (A);
Leer (B)
B:= B+1500;
Escribir (B).
Asegurar la atomicidad:
11
EJEMPLO Ti = Leer (A);
A:= A-1500;
Escribir (A);
Leer (B)
B:= B+1500;
Escribir (B).
12
EJEMPLO Ti = Leer (A);
A:= A-1500;
Escribir (A);
Leer (B)
B:= B+1500;
Escribir (B).
Asegurar durabilidad:
Parcialmente
comprometida
Activa
Fallida
15
DIAGRAMA DE ESTADOS DE UNA TRANSACCIÓN
Parcialmente
Comprometida
comprometida
Activa
Fallida
16
DIAGRAMA DE ESTADOS DE UNA TRANSACCIÓN
Parcialmente
Comprometida
comprometida
Activa
Fallida
17
DIAGRAMA DE ESTADOS DE UNA TRANSACCIÓN
Parcialmente
Comprometida
comprometida
Activa
Fallida
18
DIAGRAMA DE ESTADOS DE UNA TRANSACCIÓN
Parcialmente
Comprometida
comprometida
Activa
Fallida Abortada
19
CONCURRENCIA
20
CONCURRENCIA
Protocolo de bloque,
Esquemas de ordenación por marcas temporales,
Técnicas de validación,
Esquemas multiversión.