Please enable JavaScript.
Coggle requires JavaScript to display documents.
Parallelismo tra processi - Coggle Diagram
Parallelismo tra processi
IPC
I processi possono essere
Interagenti
Cooperanti
Condivisione
Scambio di Informazioni
I processi per comunicare hanno bisogno di meccanismi di
Sincronizzazione
comunicazione Inter Process Communication
Memoria condivisa
Ambiente globale
Numerose informazioni
A scambio di messaggi
Ambiente locale
Poche informazioni
Comunicazione
Diretta
Indiretta
Lo scambio di messaggi può essere
Bloccante
Invio
RANDEZVOUS
Stretto
Esteso
Ricezione
Non Bloccante
Invio
Ricezione
Errori nei programmi concorrenti
Dipendenti dal tempo e dalla schedulazione
Correttezza Temporale
Sincronizzazione delle risorse condivise
Ritardi come soluzione non accettabile
Metodi di parallelismo
Reale
(Overlapping)
Apparente
(Interliving)
Combinazione di Interliving & Overlapping
Condizioni di Bernstein
Dominio
Range
Mutua Esclusione e Sezione Critica
Mutua Esclusione
Esclusività
Indipendenza nel tempo
Nessuna interferenza esterna
Nessuna Attesa Infinita
Sezione Critica
Starvation e Deadlock
Starvation
(Blocco individuale)
Deadlock
(Blocco Multiplo o Stallo)
Safety e Liveness
Safety
Definizione
Obiettivo
Cause di Violazione
Liveness
Definizione
Obiettivo
Cause di Violazione
Conseguenze
Fairness