Concorrenza (informatica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Problemi classici: modifica della Struttura helpdesk con tsn mod assegnata alla risorsa dedicata. |
Nessun oggetto della modifica |
||
Riga 66:
* '''Filosofi a cena''': formulato da [[Edsger Dijkstra]] come ''[[problema dei filosofi a cena|dining philosophers problem]]''. Alcuni filosofi (5 nel testo originale) sono seduti a tavola di fronte al loro piatto ed a due forchette (condivise con i loro vicini). I filosofi alternano momenti durante i quali meditare e momenti durante i quali mangiare. Per mangiare devono prendere le due forchette accanto al loro piatto e mangiare mentre durante la meditazione devono tenere le forchette sul tavolo. Risulta evidente che il numero di forchette impedisce a tutti i filosofi di mangiare contemporaneamente quindi una corretta programmazione concorrente deve essere in grado di far mangiare alternativamente tutti i filosofi evitando che qualcuno in particolare soffra la fame ed evitando che si verifichino stalli in fase di "acquisizione delle forchette".
* '''Barbiere TM parrucchieri''': un barbiere (detto
== Modelli matematici ==
|