Problém obedujúcich filozofov

Päť filozofov () sedí pri obede okolo okrúhleho stola. Život takého filozofa pozostáva (pre jednoduchosť) z dvoch fáz. V jednej fáze rozmýšľa (veľmi tuho: ), keď mu to dôjde (), zistí, že je hladný a začne sa ohliadať po vidličkách (). Problém je, že na špageti potrebuje vidličky dve a spolu majú iba päť vidličiek. Filozof je jednoduché stvorenie a tak sa načiahne najprv za jednou, potom za druhou vidličkou (nevie schmatnúť obe naraz). Ak sa mu podarí ukoristiť obe (susedné) vidličky, môže jesť (). Keď sa dosýtosti naje (), vidličky zase vráti. Naopak, ak vidličku, po ktorú sa načiahol schmatol už iný filozof, čaká na ňu (). Problém, ktorý môže nastať je, že každý filozof zoberie ľavú vidličku a žiadny sa nedostane ku pravej (nastane tzv. uviaznutie). Druhý problém, ktorý môže nastať je tzv. vyhladovanie.

Zdrojáky: