Transaction processing: differenze tra le versioni

Versione delle 17:55, 15 nov 2007

Versione delle 18:03, 15 nov 2007

Riga 11:

Se l'addebito si conclude con successo ma non l'accredito (o viceversa), ci sarebbe un errore in uno dei due [[sistema informatico|sistemi informatici]] delle banche coinvolte. E' dunque necessario accertarsi che entrambi i [[processo|processi]] riescano oppure che entrambi vengono a mancare, di modo che non vi sia mai alcuna contraddizione nella base dati della banca o delle banche coinvolte.

La strutturazione teorica del ''transaction processing'' è destinata a fornire la garanzia di coerenza rispetto alle elaborazioni di questo genere; i diversi funzionamenti di ciascuna parte della elaborazione, legata ad una [[funzione]], sono collegati insieme automaticamente come singola transazione indivisibile.

Il sistema d'elaborazione si accerta che tutti i singoli processi in una transazione siano completati senza errore, altrimenti nessuno di loro risulterà completato. Se alcuni processi sono stati infatti completati ma anche uno di essi risulta errato, vi sarà un'operazione di ''[[roll-backrollback]]'' completo per tutti i processi, compresi quelli che erano stati completati con successo, e la transazione risulterà non eseguita. Lo stato del sistema viene ricondotto allo ''stato noto'' precedente, senza memoria delle operazioni tentate o completate all'interno della transazione stessa.

Diversamente, se tutte le operazioni previste per una transazione sono completate con successo, la transazione si definisce "''committed''" e lo ''stato del sistema'' passa a quello successivo. Tutti i cambiamenti delle basi dati coinvolte vengono resi permanenti (definitivi) e non è ora possibile operare ''roll-backrollback'' del sistema.

Un processo di transazione garantisce l'elaborazione rispetto ad errori [[hardware]] o [[software]] che potrebbero bloccare un ''transaction processing'' in una fase intermedia, parziale, lasciando il sistema in uno ''stato non noto'', detto anche ''inconsistente''.

Se infatti un server oppure un computer si blocca (''[[system crash]]'') nel mezzo di una transazione, non appena il sistema sarà di nuovo disponibile tutte le operazioni ''uncommitted'' (non completate in tutte le loro parti) saranno annullate attraverso un ''roll-backrollback'' di ciascuna di esse.

I processi di transazione sono elaborati dal sistema in un ordine strettamente cronologico. Se la tranzazione '''''n+1''''' interessa la stessa porzione di database della transazione '''''n''''', la transazione '''''n+1''''' non inizia finché la transazione '''''n''''' non risulta ''committed''. Più in generale, perché una transazione risulti al sistema ''committed'', tutte le altre transazioni che interessano la stessa parte del sistema devono risultare ''committed''; non ci possono essere "''buchi''" nella sequenza delle transazioni che la precedono.<br/>