In questo libro viene sviluppato un modello di programmazione che affronta le questioni fondamentali della "programmazione su larga scala", unificando diversi concetti della teoria dei database, della programmazione orientata agli oggetti e della progettazione di sistemi reattivi. Il modello e la teoria associata sono stati battezzati "Seuss". L'obiettivo principale di Seuss è semplificare la multiprogrammazione. A tal fine, separiamo la preoccupazione dell’implementazione concorrente dal problema centrale della progettazione del programma. L'esecuzione di un programma è intesa come un singolo thread di controllo - esecuzioni sequenziali di azioni scelte in base ad alcune politiche di pianificazione - tuttavia l'implementazione del programma consente esecuzioni simultanee di più thread. Di conseguenza, è possibile ragionare sulle proprietà di un programma dal suo singolo thread di esecuzione, mentre un'implementazione può sfruttare la concorrenza intrinseca per un'esecuzione efficiente.
caricamento...
