Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 - Modelli di fase d’analisi Ernesto Damiani Università degli Studi di Milano Lezione 3 – Specifiche di sincronizzazione non ambigue
Specifiche di sincronizzazione non ambigue (1)
Specifiche di sincronizzazione non ambigue (2) Unbuffered producer-consumer – A produce un dato dopo che B ha consumato quello precedente Non determinismo – C (funzione a 1 valore) riceve un valore di input dopo che A oppure B hanno reso disponibile il loro valore in uscita.
Specifiche di sincronizzazione non ambigue (3)
Specifiche di sincronizzazione non ambigue (4) La funzione C a due ingressi richiede che A e B abbiano reso disponibile il loro valore per eseguire il calcolo A e B restano bloccati finché C non ha eseguito il calcolo FINE