Stato dell'arte nel contratto della concorrenza

In questo lavoro è illustrato lo stato attuale dell'arte per quanto riguarda le tematiche connesse alla gestione degli accessi concorrenti a risorse condivise in sistemi transazionali. E' presentata una rassegna dettagliata delle principali tecniche di controllo della concorrenza proposte nella letteratura in cui si fa uso del costrutto di transazione. Nel capitolo 1 è condotta una breve analisi dei problemi legati all'introduzione della concorrenza in un sistema di elaborazione; è inoltre presentato il concetto di transazione ed è mostrata la sua utilita' in ambiente concorrente; nel capitolo 2 è introdotto il concetto di serializzabilita', che è stato considerato a lungo il criterido di correttezza di un'esecuzione concorrente di piu' transazioni; nel capitolo 3 sono mostrati due approcci che assumono criteri di correttezza piu deboli della serializzabilita' e fanno rispettivamente uso della semantica dei dati ([SC-SP '84J) e della semantica delle transazioni ([GAR '83J); nel capitolo 4 sono analizzati in dettaglio i meccanismi per il controllo della concorrenza piu' usati: meccanismi di locking e meccanismi che fanno uso di timestamps; nel capitolo 5. infine, e mostrato un approccio al controllo della concorrenza alternativo ai precedenti, noto con il nome di approccio ottimistico.