Programmazione Concorrente

«Programmazione concorrente» significa che …

• … processi distinti eseguono lo stesso programma.

• … più flussi di esecuzione contemporaneamente attivi concorrono per l’uso di risorse condivise.

• … programmatori distinti producono lo stesso codice che viene in seguito comparato e integrato in modo da minimizzare la probabilità dei difetti.

• … è probabile che si verifichi una condizione di deadlock.

L’esatta sequenza temporale delle operazioni effettuate da un programma multithread …

• … è sempre rigorosamente determinata.

• … è di fatto imprevedibile.

• … segue strettamente l’ordine con cui le operazioni sono implementate nel codice sorgente.

• … è definita dai valori forniti in input al programma nel corso dell’esecuzione.

In ambiente Linux …

• … non esistono i thread.

• … le funzioni di gestione dei thread sono definite in una specifica libreria.

• … i thread esistono solo per le distribuzioni compatibili con lo standard POSIX.

• … i thread sono processi.

Che cosa è il modello «produttore-consumatore»?

• La generalizzazione di uno schema di programmazione in cui un thread scrittore e un thread lettore condividono un’area di memoria per i dati prodotti dal primo e consumati dal secondo.

• Una tecnica di programmazione per cui le scritture su file devono sempre seguire le letture da file allo scopo di ottimizzare le prestazioni.

• Un esempio di codice sorgente multithread da adattare alle specifiche esigenze.

• Un algoritmo di accesso mutuamente esclusivo utilizzato prima che i sistemi operativi rendessero disponibili funzioni API specifiche.

Cosa determina la necessità dell’accesso mutuamente esclusivo a un’area di memoria condivisa tra più thread o processi?

• La necessità di tracciare gli accessi per soddisfare le esigenze di sicurezza del sistema operativo.

• Il rischio che l’aggiornamento concorrente del valore delle variabili produca, a causa della non atomicità delle operazioni di lettura/scrittura in memoria, risultati corrotti.

• L’accesso non dovrebbe mai essere di tipo mutuamente esclusivo per mantenere elevate le prestazioni di esecuzione del codice.

• La possibilità di scrivere un codice di accesso più semplice e lineare.

Una «sezione critica» …

• … è una sezione di codice particolarmente impegnativa da scrivere e verificare.

• … è una sezione di codice che deve essere eseguita in modo atomico e mutuamente esclusivo rispetto ad altri thread o processi.

• … è la parte di una risorsa condivisa che deve essere acceduta in modo mutuamente esclusivo.

• … è la sequenza di operazioni effettivamente eseguita nel corso di una specifica esecuzione di un programma multithread.

Un thread …

• … accede liberamente alle variabili memorizzate nell’area privata, ma deve richiedere un accesso mutuamente esclusivo alle variabili memorizzate nell’area condivisa.

• … accede liberamente alle variabili memorizzate nell’area condivisa, ma deve richiedere un accesso mutuamente esclusivo alle variabili memorizzate nell’area privata.

• … deve richiedere un accesso mutuamente esclusivo sia per le variabili memorizzate nell’area condivisa sia per le variabili memorizzate nell’area privata.

• … accede liberamente sia alle variabili memorizzate nell’area privata che a quelle memorizzate nell’area condivisa.

L’attesa dell’avverarsi di una condizione mediante un ciclo di verifica dello stato della condizione stessa …

• … rappresenta un consumo inutile del tempo del processore.

• … è l’unico modo con cui è possibile sincronizzare tra loro più thread o processi.

• … è la soluzione più efficiente per sincronizzare tra loro più thread o processi.

• … è l’unica soluzione possibile in ambiente Linux, ma non in ambiente Windows.

Una condizione di deadlock …

• … non può verificarsi se un thread/processo rilascia l’eventuale risorsa condivisa posseduta prima di attendere per il possesso di un’altra.

• … è sempre possibile se più thread/processi condividono le stesse risorse.

• … può verificarsi con un codice che non regola l’accesso alle risorse condivise in modo mutuamente esclusivo.

• … è sempre gestita dal sistema operativo.

Quale metodologia di gestione del deadlock consiste nel non affrontare il problema?

• Ostrich Algorithm

• L'algoritmo del Banchiere

• Il diagramma di Holt

• Detection & Recovery