|
|
|
|
Modelo de control de concurrencia basado en bloqueos para transacciones anidadas con nivel de aislamiento read uncommitted
Dr. José Matías Alvarado Mentado
|
Texto completo de la Conferencia 
Resumen
En este trabajo se presenta un modelo de control de concurrencia extendido basado en el protocolo 2PL (Two-Phase Lock) mediante el cual se aumenta el número de transacciones anidadas, cerradas y abiertas, terminadas con éxito -y disminuyendo abrazos mortales. La extensión del mecanismo de bloqueo para operaciones de lectura y escritura se logra relajando el nivel de aislamiento, de manera que es posible para una transacción concurrente Ti, acceder a objetos que están siendo utilizados por otra transacción Tj aún sin confirmar. Al relajar el nivel de aislamiento pueden ocurrir malas dependencias tales como lecturas sucias, fantasmas, actualizaciones perdidas o lecturas no-repetibles. Para eliminar los efectos de estas malas dependencias, se llevan a cabo abortos parciales de aquellas transacciones que han obtenido objetos inconsistentes; con el uso de savepoints es posible delimitar una transacción en piezas lógicas las cuales pueden ser canceladas, y corresponden a los abortos parciales de la transacción. El modelo de control de concurrencia extendido se implementa en un monitor para resolver los efectos de las malas dependecias y obtener más transacciones terminadas con éxito. La aplicabilidad es en Workflow transaccional y transacciones en ambientes de cómputo móvil y ubicuo.
Palabras claves: control de concurrencia, transacciones anidadas, relajar nivel de aislamiento, incremento de transacciones terminadas con éxito.
|
|
|
|
|
|
