Esercizi controllo concorrenza

Da testwiki.
Vai alla navigazione Vai alla ricerca

Template:Risorsa

Esercizi relativi alla lezione Proprietà ACID/Controllo di concorrenza.

Classificazione di scheduling CSR/VSR

Esercizio 1

Si determini se il seguente scheduling è VSR e/o CSR, e in caso negativo si proponga - se esiste - una soluzione:

r3(x) w4(x) r2(z) r1(x) w1(y) w2(y) w2(z) w3(y)

Template:Cassetto

Esercizio 2

Si determini se il seguente scheduling è VSR e/o CSR, e in caso negativo si proponga - se esiste - una soluzione:

r1(x) w2(t) r1(y) w3(y) r4(z) w4(z) w1(t) r4(x) w5(t) w4(x) r6(y) w3(z) w2(z) r6(t) w6(y)

Template:Cassetto

Esercizio 3

Si determini se il seguente scheduling è VSR e/o CSR, e in caso negativo si proponga - se esiste - una soluzione:

r1(x) w4(k) r2(x) w3(y) r4(y) w1(x) w1(z) r2(k) w6(t) w2(t) r6(x) w2(z) w5(t) r6(y) w6(z)

Template:Cassetto

Classificazione di scheduling 2PL e TS

Esercizio 1

Dato il seguente scheduling, stabilire se è 2PL, 2PLStrict o nessuno dei due.

r1(x) w1(z) r2(y) r2(x) w2(z) r1(y) r3(z) r3(y) w2(y) w1(x) w3(x)

Template:Cassetto

Esercizio 2

Stabilire se il seguente scheduling è Mono-TS, Multi-TS o nessuno dei due (il valore a pedice indica il timestamp): r4(x) r2(x) w2(y) w5(x) w4(y) r3(z) r3(y) w3(x) w4(z) r6(z) r9(z) w6(z) w10(z) r5(z) r20(z)

Template:Cassetto

Note