vfsvs

La transferencia de fondos entre dos cuentas corrientes de un banco. Si queremos transferir, supongamos 5000€ de la cuenta corriente de A y B y las cuentas tienen, respectivamente, 20000€ y 0€ desaldo los pasos lógicos serían:

Comprobar si en la cuenta A hay dinero suficiente.
Restar 5000€ de la cuenta de A, con lo que su saldo pasa a ser de 15000€.
Sumar 5000€ a la cuenta de B, con lo quelos saldos quedan A= 15000€ y B= 5000€
Ahora bien, si entre el paso 2 y el 3 el sistema sufre una parada o error inesperado las cuentas quedarían como A= 15000 y B= 0 con lo cual se han volatilizado5000€ y presumiblemente ni A ni B estarán contentos, y hubiesen preferido que la transacción nunca hubiese sido iniciada.

Este ejemplo ilustra por qué las transacciones tienen un comportamientodeseado de Todo o nada, o se realiza completamente o no debe tener ningún efecto.Las transacciones deben cumplir cuatro propiedades ACID:

Atomicidad (Atomicity): es la propiedad que asegura que laoperación se ha realizado o no, y por lo tanto ante un fallo del sistema no puede quedar a medias.
Consistencia (Consistency): es la propiedad que asegura que sólo se empieza aquello que se puedeacabar. Por lo tanto, se ejecutan aquellas operaciones que no van a romper la reglas y directrices de integridad de la base de datos.
Aislamiento (Isolation): es la propiedad que asegura que una operaciónno puede afectar a otras. Esto asegura que la realización de dos transacciones sobre la misma información nunca generará ningún tipo de error.
Permanencia (Durability): es la propiedad que aseguraque una vez realizada la operación, ésta persistirá y no se podrá deshacer aunque falle el sistema.
La atomicidad frente a fallos se suele implementar con mecanismos de journaling, y la protecciónfrente a accesos concurrentes mediante bloqueos en las estructuras afectadas. La serialibilidad viene garantizada por la atomicidad. La permanencia se suele implementar forzando a los periféricos...