Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
1
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
2
Specifiche di sincronizzazione non ambigue (1)
3
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.
4
Specifiche di sincronizzazione non ambigue (3)
5
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
Presentazioni simili
