SQL Transacciones v5

TRANSACCIONES, AISLAMIENTO Y
CANDADOS
Bases de Datos
Ingeniería de Sistemas
Universidad Nacional de Colombia
2013
Ejemplo de una cuenta corriente
RETIRO CONSIGNACION
Ingrese retiro Ingrese consignación
Lea saldo del cliente A Lea saldo del cliente A
Si saldo >= retiro saldo = saldo +
saldo = saldo – retiro consignación
grabe saldo grabe saldo
suministre dinero
Fin_SI
Operación sin control
Saldo inicial del cliente A = 1000
Retira 800
RETIRO
Ingrese retiro retiro = 800
Lea saldo del cliente A
Si saldo >= retiro
saldo = saldo – retiro
grabe saldo
saldo = 1000
suministre dinero
Fin_SI
saldo = 200
Operación sin control
RETIRO CONSIGNACION
Ingrese retiro Ingrese consigna
Si saldo >= retiro saldo = saldo + consigna
saldo = saldo – retiro grabe saldo
grabe saldo
suministre dinero
Fin_SI
Retira 800 Retira 700 Retira 100 Consigna 300
retiro = 800 retiro = 700 retiro = 100 consigna = 300
saldo = 1000 saldo = 1000 saldo = 1000 saldo = 1000
saldo = 200 saldo = 300 saldo = 900 saldo = 1300

Operación con control
RETIRO CONSIGNACION
Ingrese retiro Ingrese consigna
Si saldo >= retiro saldo = saldo + consigna
saldo = saldo – retiro grabe saldo
grabe saldo
suministre dinero
Fin_SI
Retira 800 Retira 700 Retira 100 Consigna 300
retiro = 800 retiro = 700 retiro = 100 consigna = 300
saldo = 1000 Espere Espere Espere
saldo = 200 Espere Espere Espere
saldo = 200 saldo = 200 Espere
saldo = 100 saldo = 100
saldo = 400
Transacciones
Una transacción es una o más sentencias que se toman como

una unidad (todo termina bien o todo se aborta)
Una transacción es una unidad lógica de trabajo
Definida para las reglas del negocio
Típicamente incluye al menos una modificación de datos
Pasa la base de datos de un estado consistente a otro
Una transacción tiene dos posibles salidas:
Committed
Todas las modificaciones quedan en firme
Rolled back
Las modificaciones retornan a su estado inicial
Bases de Datos - 2013

Rol de las transacciones
Proteger los datos de las fallas del software, hardware, y

potencia eléctrica
Permitir el aislamiento de datos de tal forma que varios
usuarios pueden acceder simultáneamente a los datos sin
interferencia

Cuándo usar transacciones?
Cuando un conjunto de sentencias se deben comportar
como una unidad

Sentencias para transacciones
Cuatro sentencias definen la estructura de una

transacción:
begin tran
commit tran
rollback tran
save

begin tran y commit tran
begin tran
Inicia la transacción
commit tran
Finaliza la transacción
Todas las modificaciones quedan en firme

begin tran y commit tran
Sintaxis:
begin { tran | transaction } [ transaction_name ]
commit [ tran | transaction | work ] [ transaction_name
| savepoint_name ]

rollback tran
rollback tran termina una transacción

Deshace las modificaciones que se hayan hecho
La ejecución continua con la instrucción siguiente a
rollback

Sintaxis para rollback tran
Sintaxis:
rollback [ tran [ transaction_name | savepoint_name ] |
transaction [ transaction_name | savepoint_name ] |
work [ transaction_name | savepoint_name ] ]

save
save crea un nombre de un punto de grabación

Es una extensión SQL que permite rollbacks parciales

Sintaxis para save
Sintaxis:
save { transaction | tran } savepoint_name

Transacciones anidadas
Se pueden tener transacciones anidadas:
El begin y commit más externos comienzan y finalizan las transacciones
Las sentencias begin y commit internos solamente guardan un registro del

nivel de anidamiento

Transacciones y el log de transacciones
El registro de transacciones almacena los efectos de cada insert,

update y delete
El sistema utiliza el registro de transacciones para rehacer las
transacciones que se reversaron
Se registra el comienzo de una transacción, los commits y rollbacks
Si un servidor falla durante una transacción, no hay registro de un rollback o
commit
Durante la recuperación (recovery), las modificaciones en transacciones sin un
registro de rollback o commit no tendrán efecto. Si las modificaciones fueron
grabadas en disco, se revertirán.

Modo de transacción
Un modo de transacción especifica cómo el servidor

debe definir las transacciones
Dos modos de transacción
Unchained
Chained

Modo unchained
En modo unchained, se requiere explícitamente de una sentencia
begin tran
También se requiere de commit tran o rollback tran explícitos

Sintaxis:
Set chained off

Modo chained
En modo chained, el servidor ejecuta un begin implícito antes de:
Sentencias DML– insert, update, delete, select
Sentencias de Cursor– open, fetch
Se requiere de commit tran o rollback tran explícitos

Este modo es ANSI compliant
Sintaxis:
Set chained on
Necesidad de aislamiento
En ambientes
multiusuario, las
transacciones acceden
a los datos
simultáneamente
Datos que no estén

aislados pueden estar
errados

Bloqueo (locking)
Mecanismo automático
que aisla los datos para
prevenir conflictos de los
datos que se están
modificando

Estructura interna de una tabla

Alcance de los candados
El alcance de un candado determina cuántos datos se aislan
Tres alcances

Tipos de candados
El tipo de candado determina la extensión del aislamiento de

datos de otras transacciones
Tres tipos de candados
Shared
Exclusive
Update

Candados Shared
Usado por sentencias que leen datos (selects)
Otros procesos pueden leer los datos (coloca candado shared), pero
ningún proceso puede cambiar los datos (coloca candado exclusive)

Candados exclusive
Usado por sentencias que cambian datos (inserts, updates, deletes)

Ningún otro proceso puede leer los datos (coloca candado shared) o
cambiar los datos (coloca candado exclusive sobre la página)

Candados update
Usado por operaciones que pueden o no cambiar los datos (updates,
deletes)
Cuando el proceso primero escanea los datos, le aplica un candado update.
Otros procesos pueden colocar candados shared, pero ningún proceso
puede colocar candados exclusive o update

Resúmen de tipos de candados
Statements If Data If Data If Data Scopes for

That Impose Already Already Already Which This
This Lock Has an S Has an X Has a U Lock
Lock Lock Lock Exists
Shared select Place Wait for Place Row, page,
(S) another S lock to be another S table
lock released lock
Exclusive insert, Wait for lock Wait for Wait for Row, page,
(X) update*, to be lock to be lock to be table
delete* released released released
Update update, delete Place the U Wait for Wait for Page
(U) lock lock to be lock to be
released released
*Updates y deletes usan candados exclusive solamente para encontrar

los datos que necesitan modificar
Deadlock

Resolución del deadlock

Esquema de bloqueo
Esquema de bloqueo es un atributo de la tabla que

determina qué datos asociados con la tabla están
bloqueados

bloqueo “allpages”
Se pueden bloquear las páginas de índices
El servidor usa candados de tabla y candados de página, pero no
candados de fila

Bloqueo “datapages”
Las páginas de índices nunca se bloquean
El servidor usa candados de tabla y candados de página, pero no
candados de fila

Bloqueo “datarows”
Las páginas de índices nunca se bloquean
El servidor usa candados de tabla, candados de página y candados
de fila

Fijar el esquema bloqueo
Sintaxis simplificada:
create table table_name (
column_name datatype [ NULL | NOT NULL | IDENTITY ] ,
...
column_name datatype [ NULL | NOT NULL | IDENTITY ] )
[ lock { allpages | datapages | datarows } ]
Si no se especifica un esquema de bloqueo, la tabla usa el esquema
default de bloqueo

Cambiar el esquema de bloqueo
Sintaxis simplificada:
alter table table_name
lock { allpages | datapages |
datarows }

Leer datos no aislados
Hay tres tipos de consultas o “reads”, que pueden retornar datos

que son inadecuados para limitar el aislamiento de datos
Las características de cómo se hacen estos “reads” son propios de
cada DBMS
Hay tres tipo de “reads”:
Dirty reads
Nonrepeatable reads
Phantom reads

Lectura sucia
La transacción 1 modifica datos

La transacción 2 lee los datos modificados antes de que la
modificación haya terminado
Esta transacción lee datos “uncommitted” o “dirty”

Lectura no repetible
La transacción 1 lee datos

La transacción 2 modifica esos datos antes de que la primera
transacción haya terminado
La primera lectura es ahora “nonrepeatable”

Lectura fantasma
La transacción 1 lee un conjunto de filas que cumplen una condición

La transacción 2 modifica los datos de algunas columnas que no
cumplían esa condición y ahora la cumplen, o al contrario
Las filas que aparecen y desaparecen se denominan “phantoms”

Nivel de aislamiento
Un nivel de aislamiento es un conjunto de candados que permiten o

no una combinación particular de los tres tipos de lectura: sucia, no
repetible o con fantasmas
ANSI define cuatro niveles de aislamiento, cada uno más restrictivo
que el anterior
Dirty Reads Nonrepeatable Phantom

Reads Reads
Level 0 Allowed Allowed Allowed
Level 1 Prevented Allowed Allowed
Level 2 Prevented Prevented Allowed
Level 3 Prevented Prevented Prevented

Nivel 1 de aislamiento
Dirty reads prevented

Nonrepeatable reads allowed
Phantom reads allowed
Nivel 1 - Comportamiento de select:

Se fijan candados Shared hasta que el select termine la lectura
de una fila o página
select espera a que se liberen los candados exclusive


Nonrepeatable reads prevented

Se fijan candados Shared hasta que termine la transacción
Este comportamiento es diferente al del nivel 1
Comportamiento discreto de nivel 2 requiere bloqueo “row-level”
Tables APL (All Pages Lock ) y tables DPL (Data Pages Lock) no tienen bloqueo
“row-level”
Si una consulta con nivel de aislamiento 2 lee una tabla APL o DPL, se forza
comportamiento de aislamiento nivel 3

Nivel 3 – El nivel más restrictivo:

Nonrepeatable reads prevented
Phantom reads prevented

Se fijan candados shared hasta que termine la transacción

Nivel 0 – El nivel menos restrictivo:
Dirty reads allowed
Nonrepeatable reads allowed

Se fijan candados Shared hasta que select termine la lectura
de una fila o página
select ignora los candados exclusive

Rótulos de modo de transacción
Los procedimientos almacenados se rotulan con el modo de

transacción con el cual fueron creados
No se puede ejecutar una transacción en un modo diferente al del rótulo

sp_procxmode
sp_procxmode permite ver y cambiar el modo de transacción de un
procedimiento
Sintaxis:
sp_procxmode [ procedure_name [ , {chained | unchained | anymode} ] ]

Rollbacks no intencionales
• Un rollback no intencional es un rollback anidado que sin
intención deshace el trabajo en transacciones externas
Proc1(Transacción más externa) Proc2(Procedimiento anidado)
begin tran begin tran
<statements...> <statements...>
if <error> if <error>
begin begin
rollback tran
return rollback tran
end return
exec proc2 end
if <error> <statements...>
begin commit tran
rollback tran return
return
end
<statements...>
commit tran
return

Savepoints y Rollbacks anidados
• Usar savepoints para evitar rollbacks no deseados
batch (Tran más externa) proc 1 proc 2
begin tran (1) save tran xyz (3)
<statements...> save tran abc (2)
<statements...> <statements...>
exec proc1
if <error> exec proc2
if <error> if <error>
rollback tran (6)
rollback tran abc (5) rollback tran xyz(4)
else commit tran
else ... else ...
(1) Con begin tran inicia la (2) save tran no incrementa (3) save tran no incrementa
transacción. Nivel el nivel de anidamiento. el nivel de anidamiento.
anidamiento: 1.
(4) rollback regresa al punto
(5) rollback regresa al punto xyz. Entonces se ejecutan
(6) rollback deshace todas abc. Entonces se ejecutan las las subsiguientes sentencias
las sentencias en proc1, subsiguientes sentencias en en proc2.
proc1.
proc2, y batch
-o-
commit hace commit a todo.

Triggers y rollbacks
Tres tipos de rollbacks:

Deshacer el trigger
Deshacer el trigger y la sentencia que lo
disparó
Deshacer toda la transacción

Deshacer un trigger
Para deshacer un trigger, declarar un punto de grabación y luego
hacer el rollback
Un rollback sin punto de grabación deshace toda la transacción
Procedimiento almacenado Trigger

Caso A begin tran
... save tran s1
insert ... ....
print "in sp" rollback tran s1
... print “tr done”
commit tran return
print "sp done"
Procedimiento almacenado
Caso B begin tran
... Trigger
(este caso insert ... begin tran s2
ocasiona un print "in sp" ....
error) ... rollback tran s2
commit tran print “tr done”
print "sp done" return

Deshacer un trigger
rollback trigger deshace el trigger y la sentencia que lo

disparó
Sintaxis:
rollback trigger [with raiserror error_number
[error_statement] ]

Deshacer un trigger
Procedimiento
almacenado Trigger
Caso C begin tran ....
... ....
insert ... rollback trigger
print "in sp" print “tr done”
... return
commit tran
print "sp done"

Deshacer una transacción
• Para deshacer toda la transacción donde está inmerso el trigger,
ejecutar un rollback sin un punto de grabación
Procedimiento almacenado
Caso D begin tran
Trigger
... begin tran
insert ... ...
print "in sp" rollback tran
... print "tr done”
commit tran return
print "sp done"
Procedimiento Almacenado
Caso E begin tran Trigger
....
...
....
insert ...
Rollback tran
print "in sp"
print “tr done”
...
return
commit tran
print "sp done"
Preguntas
Gracias por su Atención

SQL Transacciones v5

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

SQL Transacciones v5

Transféré par

Droits d'auteur :

Formats disponibles

TRANSACCIONES, AISLAMIENTO Y

Saldo inicial del cliente A = 1000

Saldo inicial del cliente A = 1000

Retira 800 Retira 700 Retira 100 Consigna 300

retiro = 800 retiro = 700 retiro = 100 consigna = 300

saldo = 1000 saldo = 1000 saldo = 1000 saldo = 1000

saldo = 200 saldo = 300 saldo = 900 saldo = 1300

retiro = 800 retiro = 700 retiro = 100 consigna = 300

saldo = 1000 Espere Espere Espere

saldo = 200 Espere Espere Espere

saldo = 200 saldo = 200 Espere

saldo = 100 saldo = 100

Una transacción es una o más sentencias que se toman como

Bases de Datos - 2013

Proteger los datos de las fallas del software, hardware, y

Bases de Datos - 2013

Bases de Datos - 2013

Cuatro sentencias definen la estructura de una

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

rollback tran termina una transacción

Bases de Datos - 2013

Bases de Datos - 2013

save crea un nombre de un punto de grabación

Bases de Datos - 2013

Bases de Datos - 2013

Se pueden tener transacciones anidadas:

El begin y commit más externos comienzan y finalizan las transacciones

Las sentencias begin y commit internos solamente guardan un registro del

Bases de Datos - 2013

El registro de transacciones almacena los efectos de cada insert,

Bases de Datos - 2013

Un modo de transacción especifica cómo el servidor

Bases de Datos - 2013

También se requiere de commit tran o rollback tran explícitos

Bases de Datos - 2013

Se requiere de commit tran o rollback tran explícitos

Datos que no estén

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

El tipo de candado determina la extensión del aislamiento de

Bases de Datos - 2013

Usado por sentencias que leen datos (selects)

Bases de Datos - 2013

Usado por sentencias que cambian datos (inserts, updates, deletes)

Bases de Datos - 2013

Bases de Datos - 2013

Statements If Data If Data If Data Scopes for

*Updates y deletes usan candados exclusive solamente para encontrar

Bases de Datos - 2013

Bases de Datos - 2013

Esquema de bloqueo es un atributo de la tabla que

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

Bases de Datos - 2013

Hay tres tipos de consultas o “reads”, que pueden retornar datos

Bases de Datos - 2013