Forrangsgraf - Precedence graph

En forrang graf , også kaldet konflikt graf og serializability graf , anvendes i forbindelse med concurrency kontrol i databaser .

Forrangsgrafen for en tidsplan S indeholder:

• En knude for hver begået transaktion i S
• En bue fra T _jeg til T _j , hvis en handling af T _I går forud og konflikter med en af T _j 's handlinger. Det vil sige, at handlingerne hører til forskellige transaktioner, mindst en af ​​handlingerne er en skrivehandling, og handlingerne får adgang til det samme objekt (læs eller skriv).

Eksempler på prioritetsgraf

Eksempel 1

Eksempel 2

${\ displaystyle S = {\ begin {bmatrix} T1 & T2 \\ R (A) & R (A) \\ A = A * 5 & R (B) \\ W (A) & B = B + A \\ R (B) & W (B) \\ B = B * 10 & \\ W (B) & \\\ slutning {bmatrix}}}$

Eksempel 2

${\ displaystyle D = R1 (A)}$ ${\ displaystyle R2 (B)}$ ${\ displaystyle W2 (A)}$ ${\ displaystyle Com.2}$ ${\ displaystyle W1 (A)}$ ${\ displaystyle Com.1}$ ${\ displaystyle W3 (A)}$ ${\ displaystyle Com.3}$

En forrangsgraf over tidsplan D med 3 transaktioner. Da der er en cyklus (af længde 2; med to kanter) gennem de forpligtede transaktioner T1 og T2, er denne tidsplan (historik) ikke konfliktserierbar . Bemærk, at forpligtelsen til Transaktion 2 ikke har nogen betydning for oprettelsen af ​​en forrangsgraf.

Afprøvning af serialisering med prioritetsgraf

Test af seriabiliseringseksempel

Algoritme til test af konfliktserialisering af en plan S sammen med et eksempel på en tidsplan.

${\ displaystyle S = {\ begin {bmatrix} T1 & T2 & T3 \\ R (A) && \\ & W (A) & \\ & Com. & \\ W (A) && \\ Com. && \\ && W (A) \ \ && Com. \\\ end {bmatrix}}}$

eller

${\ displaystyle S = R1 (A)}$ ${\ displaystyle W2 (A)}$ ${\ displaystyle Com.2}$ ${\ displaystyle W1 (A)}$ ${\ displaystyle Com.1}$ ${\ displaystyle W3 (A)}$ ${\ displaystyle Com.3}$

1. For hver transaktion _{Tx, der} deltager i tidsplan S, skal du oprette en node mærket Ti _i prioritetsgrafen. Således forrang graf indeholder T ₁ , T ₂ , T ₃ .
2. I hvert tilfælde i S hvor T _j eksekverer en read_item (X) efter T _i udfører en write_item (X), oprette en kant (T _jeg → T _j ) i forrang grafen. Dette forekommer intetsteds i ovenstående eksempel, da der ikke læses efter skrivning.
3. I hvert tilfælde i S hvor T _j eksekverer en write_item (X) efter T _i udfører en read_item (X), oprette en kant (T _jeg → T _j ) i forrang grafen. Dette resulterer i en rettet kant fra T ₁ til T ₂ (som T ₁ har R (A) før T ₂ med W (A) ).
4. I hvert tilfælde i S hvor T _j eksekverer en write_item (X) efter T _i udfører en write_item (X), oprette en kant (T _jeg → T _j ) i forrang grafen. Resulterer dette i rettede kanter fra T ₂ til T ₁ , T ₂ til T ₃ og T ₁ til T ₃ .
5. Tidsplanen S kan serialiseres, hvis og kun hvis forrangsgrafen ikke har nogen cyklusser. Som T ₁ og T ₂ udgør en cyklus, ovenstående eksempel er ikke (konflikt) serializable.

Referencer

eksterne links

• Fundamentals of Database Systems, 5. udgave, brugen af ​​forrangsgrafer, diskuteres i kapitel 17, da de vedrører test for konfliktserialiserbarhed .
• Abraham Silberschatz, Henry Korth og S. Sudarshan. 2005. Databasesystemkoncepter (5 udgaver), PP. 628-630. McGraw-Hill, Inc., New York, NY, USA.