Informatica Medica Prof. Mauro Giacomini Anno Accademico 2013-2014

Informatica Medica
Prof. Mauro Giacomini
Anno Accademico 2013-2014

Sommario
• Importanza a proprietà della transazioni
• Transazioni in ADO.NET
• Concorrenza
• Livelli di isolamento e anomalie
• Locking
• Transazioni annidate
• Savepoint

Importanza delle transazioni
• Transazione: sequenza di operazioni elementari che
hanno un effetto globale su DB
• Una transazione termina con successo se tutte le
operazioni che la compongono terminano con
successo
• Fallimento di una operazione? fallisce tutta la
transazione (stato del DB invariato – sempre coerente)
• comitt: chiusura positiva di tutte le operazioni
• rollback: annullamento di tutte le operazioni

Proprietà delle transazioni
• Atomicità: entità indivisibile di esecuzione (impossibile
lasciare la base di dati in uno stato intermedio)
• Consistenza: non deve violare i vincoli di integrità del DB
(se una operazione causa questo fallisce tutto)
• Isolamento: indipendenza da tutte le altre transazioni, in
modo che la loro esecuzione concorrente porti lo stato del
DB allo stesso punto che una loro esecuzione sequenziale
(serializzazione delle transazioni)
• Persistenza: l’effetto di una transazione chiusa
positivamente (commit) non deve andare perso.

Transazioni in ADO.NET
• Oggetto Transaction: dipende dal provider
(SqlTransaction)
• Metodi:
• BeginTransaction (crea un oggetto Transaction
attivo)
• Commit (conclusione positiva)
• Rollback (conclusione negativa)
• Vedi esempio nel file listati10.txt
• La transazione “avvolge” le normali operazioni di
lavoro sul DB

Transazioni concorrenti (1)
• In ambienti multiutente ci possono essere più transazioni
concorrenti.
• Anomali possibili:
• Letture sporche (dirty read):
Start T1
w(x)
Rollback
Start T2
r(x)
Commit

Transazioni concorrenti (2)
• Letture ripetibili (repeatable read):
Start T1
r(x)
r(x)
Commit
Start T2
w(x)
Commit
• Letture fantasma (phantom read): T1 e T2 concorrenti,
T1 legge delle righe che soddisfano una condizione, T2
aggiunge righe che soddisfano la stessa condizione.
Impossibile la serializzazione.

Livelli di isolamento (1)
• Definisce la “visibilità” che una transazione ha sulle
altre.
• Quattro livelli di isolamento
• Read uncommited: letture sporche, ripetibili e
fantasma, consentite, nessun vincolo sulla visibilità,
nessuna protezione, ma più prestazioni più alte
• Read commited: letture sporche non consentite,
ripetibili e fantasma sì, proibisce la lettura di righe
modificate da transazioni non ancora terminate
(comportamento di default)

Livelli di isolamento (2)
• Repeatable read: letture sporche e ripetibili non
consentite ma fantasma consentite, oltre alle limitazioni
del livello precedente non consente di rileggere righe già
lette e nel frattempo modificate da altre transazioni
concluse con commit
• Serializable: livello di isolamento totale per rendere il
tutto perfettamente serializzabile
• Livello di isolamento (IsolationLevel) passabile
come parametro di inizializzazione del metodo
BeginTransaction.

Locking
• Meccanismo per preservare l’integrità e la consistenza
dei dati
• Lock di lettura (condivisibile)
• Lock di scrittura (esclusivo)
• Politica di bloccaggio dipende dal DBMS
• Individuare che tipo di blocco usare in dipendenza
dell’applicazione scelta (metodo pessimistico e metodo
ottimistico)

Perdita di aggiornamento
• Anomalia write - write
Start T1
r(x)
w(x)
Commit
Start T2
r(x)
w(x)
Commit

Savepoint
• Approccio usato da SQL Server per poter utilizzare le
transazione annidate
• Uso del metodo Save: impostazione di un punto di
salvataggio il cui nome viene passato come parametro
• Il metodo Rollback, nel caso di un suo uso annullerà
tutte le operazioni successive al punto di salvataggio
(che sarà passato anche qui come parametro)