RECUPERACION
Se trata del momento en el cual se instauran medidas que inician el proceso de restablecimiento de las condiciones .
ATOMICIDAD
Se dice que una operación es atómica cuando es imposible para otra parte de un sistema encontrar pasos intermedios. Si esta operación consiste en una serie de pasos, todos ellos ocurren o ninguno. Por ejemplo en el caso de una transacción bancaria o se ejecuta tanto el deposito y la deducción o ninguna acción es realizada. Es una característica de los sistemas transaccionales. El concepto también es relevante cuando se programa con hilos de ejecución.
RECUPERACION Y ATOMICIDAD
3. RECUPERACIÓN Y ATOMICIDAD
Ejemplo: Ti: read(A, a)
a := a - 50
write(A, a)
read(B, b)
b := b + 50
write(B, b)
Inicialmente A = 1000 y B = 2000.
Si se produce un fallo después de output(A) y antes de
output(B) se llega a un estado de inconsistencia (A=950 y
B=2000) aunque Ti se realizó con éxito.
Alternativas
a) Volver a ejecutar Ti (si es posible) (A= 900, B= 2050)
b) No repetir Ti (A= 950, B= 2000)
En cualquiera de los casos la transacción se da por terminada y
el estado es inconsistente.
Se trata del momento en el cual se instauran medidas que inician el proceso de restablecimiento de las condiciones .
ATOMICIDAD
Se dice que una operación es atómica cuando es imposible para otra parte de un sistema encontrar pasos intermedios. Si esta operación consiste en una serie de pasos, todos ellos ocurren o ninguno. Por ejemplo en el caso de una transacción bancaria o se ejecuta tanto el deposito y la deducción o ninguna acción es realizada. Es una característica de los sistemas transaccionales. El concepto también es relevante cuando se programa con hilos de ejecución.
RECUPERACION Y ATOMICIDAD
3. RECUPERACIÓN Y ATOMICIDAD
Ejemplo: Ti: read(A, a)
a := a - 50
write(A, a)
read(B, b)
b := b + 50
write(B, b)
Inicialmente A = 1000 y B = 2000.
Si se produce un fallo después de output(A) y antes de
output(B) se llega a un estado de inconsistencia (A=950 y
B=2000) aunque Ti se realizó con éxito.
Alternativas
a) Volver a ejecutar Ti (si es posible) (A= 900, B= 2050)
b) No repetir Ti (A= 950, B= 2000)
En cualquiera de los casos la transacción se da por terminada y
el estado es inconsistente.
