PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Belli T., Bernardeschi C., Bondavalli A., Latella D. Stato dell'arte nel contratto della concorrenza. Internal note CNUCE-B4-87-036, 1987.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
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.
Subject accessi concorrenti


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional