Please enable JavaScript.
Coggle requires JavaScript to display documents.
SINCRONIZZAZIONE TRA PROCESSI - Coggle Diagram
SINCRONIZZAZIONE TRA PROCESSI
Correttezza temporale
Deterministico
i risultai devono essere sempre uguali
Timing constraint
i risultati devono essere prodotti entro un certo limite di tempo
errori dipendenti dal tempo:
irriproducibili
indeterminati
latenti
difficili da verificare e testare
causati da:
Interleaving
Overlapping
Condizioni di Bernstein
potano alla mutua esclusione
sezione critica
parte di codice in cui i processo accede per modificare le variabili condivise
errori di sincronizzazione:
starvation
un processo
deadlock
più processi rimangono in attesa di un evento
proprietà non funzionali:
Safety
il programma segue tutto in modo corretto
liveness
il risultato è corretto