Esercizio sulle transazioni e timestamp

[Jamie04]

Considerando il protocollo TimeStamp di gestione delle transazioni in concorrenza, mi dite se ho fatto bene questo esercizio?

Sia dato un oggetto x, su cui opera un controllo della concorrenza basato su TimeStamp, con WTM(x)=4, RTM(x)=5. Dato il seguente schedule di operazioni:

w2(x)
w6(x)
r10(x)
r8(x)
r7(x)
w7(x)
w12(x)
r15(x)
r13(x)
r14(x)
w13(x)

Indicare quali operazioni sono consentite e quali abortite ed il valore finale di WTM(x) e RTM(x).

Questa la mia soluzione:

w2(x) < w4(x) NO, WTM(x)=4
w6(x) > w4(x) SI, WTM(x)=6
r10(x) > w6(x) SI, RTM(x)=10
r8(x) > w6(x) SI, RTM(x)=10
r7(x) > w6(x) SI, RTM(x)=10
w7(x) > w6(x) SI, WTM(x)=7
w12(x) > w7(x) SI, WTM(x)=12
r15(x) > w12(x) SI, RTM(x)=15
r13(x) > w12(x) SI, RTM(x)=15
r14(x) > w12(x) SI, RTM(x)=15
w13(x) > w12(x) SI, WTM(x)=13

Quindi WTM(x)=13 e RTM(x)=15 alla fine delle transazioni e l'unica transazione abortita è la prima.
Che ne dite? Grazie!

[Jamie04]

Mi rispondo da sola... ho sbagliato perché non ho considerato il caso in cui wt(x) < RTM(x). Quindi sarebbe:

w2(x) < w4(x) NO, WTM(x)=4
w6(x) > w4(x) e > r5(x) SI, WTM(x)=6
r10(x) > w6(x) SI, RTM(x)=10
r8(x) > w6(x) SI, RTM(x)=10
r7(x) > w6(x) SI, RTM(x)=10
w7(x) > w6(x) e < r10(x) NO, WTM(x)=6
w12(x) > w6(x) e > r10(x) SI, WTM(x)=12
r15(x) > w12(x) SI, RTM(x)=15
r13(x) > w12(x) SI, RTM(x)=15
r14(x) > w12(x) SI, RTM(x)=15
w13(x) > w12(x) e < r15(x) NO, WTM(x)=12

Quindi i valori finali diventano WTM(x) 12 e RTM(x) 15.