stringtranslate.com

Gráfico de precedencia

Un gráfico de precedencia , también llamado gráfico de conflictos [1] y gráfico de serializabilidad , se utiliza en el contexto del control de concurrencia en bases de datos . [2] Es el gráfico dirigido que representa la precedencia de las transacciones en el cronograma, como se refleja en la precedencia de las operaciones en conflicto en las transacciones. Un cronograma es serializable por conflictos si y solo si su gráfico de precedencia de transacciones confirmadas es acíclico .

El gráfico de precedencia para un cronograma S contiene:

Los ciclos de transacciones comprometidas se pueden evitar abortando una transacción no decidida (ni comprometida ni abortada) en cada ciclo en el gráfico de precedencia de todas las transacciones, que de otra manera puede convertirse en un ciclo de transacciones comprometidas (y una transacción comprometida no se puede abortar). Se requiere y es suficiente abortar una transacción por ciclo para romper y eliminar el ciclo (es posible que haya más abortamiento y esto puede suceder con algunos mecanismos, pero no es necesario para la serialización). La probabilidad de generación de ciclos es típicamente baja, pero, no obstante, tal situación se maneja con cuidado, generalmente con una cantidad considerable de sobrecarga, ya que está involucrada la corrección. Las transacciones abortadas debido a la prevención de violación de serialización se reinician y se ejecutan nuevamente de inmediato.

Ejemplos de gráficos de precedencia

Ejemplo 1

Ejemplo 2

Un gráfico de precedencia del cronograma D, con 3 transacciones. Como hay un ciclo (de longitud 2; con dos aristas) a través de las transacciones confirmadas T1 y T2, este cronograma (historial) no es serializable por conflicto . Nótese que la confirmación de la transacción 2 no tiene ningún significado en cuanto a la creación de un gráfico de precedencia.

Ejemplo 3

Ejemplo de prueba de serialización

Algoritmo para probar la serialización de conflictos de un programa S junto con un programa de ejemplo.

o

  1. Para cada transacción T x que participe en el programa S, cree un nodo etiquetado como T i en el gráfico de precedencia. Por lo tanto, el gráfico de precedencia contiene T 1 , T 2 , T 3 .
  2. Para cada caso en S donde T j ejecuta un read_item (X) después de que T i ejecuta un write_item (X), crea una arista (T i → T j ) en el gráfico de precedencia. Esto no ocurre en ningún lugar del ejemplo anterior, ya que no hay lectura después de escritura.
  3. Para cada caso en S donde T j ejecuta un write_item (X) después de que T i ejecuta un read_item (X), crea una arista (T i → T j ) en el gráfico de precedencia. Esto da como resultado una arista dirigida de T 1 a T 2 (ya que T 1 tiene R(A) antes de que T 2 tenga W(A) ).
  4. Para cada caso en S donde T j ejecuta un write_item (X) después de que T i ejecuta un write_item (X), crea una arista (T i → T j ) en el gráfico de precedencia. Esto da como resultado aristas dirigidas de T 2 a T 1 , de T 2 a T 3 y de T 1 a T 3 .
  5. El programa S es serializable si y solo si el gráfico de precedencia no tiene ciclos. Como T 1 y T 2 constituyen un ciclo, el ejemplo anterior no es serializable (por conflicto).

Referencias

  1. ^ "21-110: Gráficos de conflicto".
  2. ^ "Prueba de gráfico de precedencia para serialización de conflictos".

Enlaces externos