Concorrenza (informatica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Annullate le modifiche di 80.183.224.200 (discussione), riportata alla versione precedente di Xqbot |
|||
Riga 64:
* '''Filosofi a cena''': formulato da [[Edsger Dijkstra]] come ''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
== Modelli matematici ==
|