Programmazione concorrente AXO Matteo Guarnerio
1
Programmazione concorrente
Riferimento alla slide: AXO -‐ 03 -‐ Programmazione concorrente.pdf
Per l’implementazione delle funzioni utilizzate si fa riferimento alla libreria:
pthread.h
Processi e thread possono usare entrambi sia i mutex sia i semafori, poiché queste variabili sono associate a degli handle di sistema operativo, ed ogni processo o thread ne possiede gli indirizzi.
Questa è la ragione per cui nelle funzioni riguardanti mutex e semafori, le variabili vengono sempre passate per indirizzo.
Differenze tra processi e thread
Processi:• La porzione di dati viene copiata da padre in figlio.
• Un processo è indipendente (può crashare uno e non termina l’altro)
• Non possono scambiare dati, a meno che non si sfruttino pagine di memoria condivise.
Thread:
• I dati sono condivisi.
• Non sono indipendenti l’uno dall’altro (se crasha il processo che li ha generati, terminano tutti).
• Possono scambiare dati tra di loro (dati condivisi).
Sequenze critiche e mutex
Il mutex è un costrutto specializzato per la mutua esclusione.
E’ una variabile di tipo: pthread_mutex_t
Per utilizzarlo è necessario inizializzarlo con la funzione apposita:
pthread_mutex_init(&mutex)
Le funzioni per utilizzare un mutex sono:
Funzione Azione
pthread_mutex_lock(&mutex) Acquisisce un lock sul mutex, se possibile.
Altrimenti si mette ad attendere che venga liberato il mutex.
pthread_mutex_unlock(&mutex) Sblocca il mutex.
Se più thread effettuano un lock sullo stesso mutex, viene assegnato al primo thread arrivato, tutti gli altri si metteranno in attesa che venga liberato il mutex.
Se lo stesso thread effettua due lock sullo stesso mutex, senza prima aver fatto un unlock, andrà in deadlock e quindi in sleep_on, attendendo che lo stesso mutex venga rilasciato da lui (programma impallato).
Programmazione concorrente AXO Matteo Guarnerio
2
Sincronizzazione e semafori
Il semaforo è una variabile di tipo: sem_t
Per utilizzarlo è necessario inizializzarlo con la funzione apposita:
sem_init(&semaforo, 0, valore) dove zero è lo standard, le opzioni.
Il valore al quale è inizializzato il semaforo indica il numero di thread che possono accedere alla sezione critica.
Il semaforo assume quindi dei valori, che indicano il numero di risorse disponibili, dai quali possiamo capire se un thread può proseguire nell’elaborazione o si deve fermare:
Valore del semaforo Significato
> 0 Ci sono risorse disponibili.
= 0 Non ci sono risorse disponibili.
< 0 Non ci sono risorse disponibili.
Indica quanti thread sono in attesa che una risorsa si liberi.
Per incrementare e decrementare il valore di un semaforo si usano le seguenti funzioni:
Funzione Azione
sem_wait(&semaforo) Decrementa il valore del semaforo di 1 sem_post(&semaforo) Incrementa il valore del semaforo di 1
