Escolar Documentos
Profissional Documentos
Cultura Documentos
Robert Espinoza
Transacciones
Transacciones
Transferencia de 100
Condición de idempotencia.
Idempotencia significa la habilidad para realizar una
Propiedades ACID
Atomicidad (Atomicity): una transacción debe ser una
Propiedades ACID
Consistencia (Consistency):
Propiedades ACID
Aislamiento (Isolation):
Propiedades ACID
Durabilidad (Durability):
ROLLBACK
Transacciones
COMMIT
La instrucción COMMIT hace que los cambios
ROLLBACK
Esta instrucción regresa a la instrucción anterior al
ejecución.
Parcialmente Cometida: después de ejecutarse la
última instrucción.
Fallada: luego de descubrir que no puede seguir la
ejecución normal.
Abortada: después de haber retrocedido la
Parcialmente
Cometida
cometida
Activa
Fallada Abortada
Transacciones
Acciones de recuperación
Para asegurar la consistencia en la base de datos y la
Métodos de Recuperación
Basado en Bitácora (log)
Doble Paginación
Recuperación mediante Bitácora
Modificación diferida
Garantiza la atomicidad de la transacción grabando
Modificación diferida
Dada la siguiente transacción
Modificación diferida
Ante un fallo el esquema de recuperación usa la
Modificación inmediata
Las modificaciones en la base de datos se realizan
Modificación inmediata
Ante un fallo el esquema de recuperación usa las
Buffers de Bitácora
Grabar en disco cada registro de bitácora insume gran
Checkpoints: Un ejemplo
Doble Paginación (Paginación en la
Sombra)
La BD se divide en un número determinado de bloques
de longitud fija (páginas)
Las páginas se numeran
Para localizar una página dada en disco, se utiliza una
tabla de paginado
Se mantiene en memoria volátil una tabla actual y en
almacenamiento estable una tabla doble (sombra)
Al inicio de una transacción ambas tablas son iguales
Durante una transacción sólo se modifica la tabla
actual
En caso de falla, se usa la tabla doble para
recuperación
Doble Paginación (Paginación en la
Sombra)
Copias de Seguridad
Ninguna transacción debe estar activa durante el
La Operación Output(B)
Una operación de salida se ejecuta como sigue: