Modelo de control de concurrencia basado en bloqueos con nivel de aislamiento lecturas-no-confirmadas para transacciones anidadas

Abstract

Nuestro modelo de control de concurrencia extendido para transacciones anidadas, CCxTA, se basa en el protocolo 2PL (Two-Phase Lock), y las principales ventajas de utilizarlo son: 1) las transacciones concurrentes pueden trabajar con datos no confirmados por otra transacción sin caer en inconsistencias y 2) lograr un número significativo de transacciones anidadas, cerradas y abiertas, terminadas con éxito utilizando el nivel de aislamiento read uncommitted, el más relajado –asimismo, se minimizan los abrazos mortales. Al relajar el nivel de aislamiento de los datos en operaciones de lectura y escritura, al máximo, de manera que sea posible para transacciones concurrentes utilizar datos sin confirmar que están siendo utilizados por otra transacción, pueden ocurrir malas dependencias tales como lecturas sucias, fantasmas, actualizaciones perdidas o lecturas norepetibles, las cuales pueden generar inconsistencias en los datos. Para administrar la concurrencia de transacciones anidadas cerradas/abiertas, se ha implementado un Monitor, el cual vigila la ocurrencia de malas dependencias y opera para neutralizar los efectos de inconsistencia: si ocurre una mala dependencia generando inconsitencias, se envían mensajes a las transacciones involucradas indicándoles las cancelaciones necesarias, parciales la mayoría de las veces, así como las instrucciones para rehacer las operaciones canceladas. Procediendo de esta manera, se obtiene un mayor número de transacciones terminadas con éxito, al no cancelar indiscriminadamente sino solo en función de los tiempos límite asignados a las operaciones involucradas. Por la robustez que proporcionan frente a fallos de consistencia de datos al operar transacciones concurrentes, el modelo CCxTA y el Monitor tiene aplicabilidad en transacciones que se ejecutan sobre redes inalámbricas de dispositivos móviles y en transacciones de larga duración, así como en Flujo de Trabajo (Workflow) transaccional.