Versie van 4 mrt 2016 11:03 bewerken Brimz (overleg \| bijdragen) Arbitragecommissieleden, uitgebreid bevestigde gebruikers, Uitgezonderden van IP-adresblokkades, Terugdraaiers 50.608 bewerkingen nu lijkt het alsof het belangrijk is dat het artikel over deze filosofen gaat en dat is niet zo ← Oudere bewerking		Versie van 4 mrt 2016 14:35 bewerken ongedaan maken Lotje (overleg \| bijdragen) uitgebreid bevestigde gebruikers 32.099 bewerkingen Versie 46231069 van Brimz (overleg) ongedaan gemaakt. Er zijn misschien lezers die geïnteresseerd zijn om te weten wie deze filosofen in dit voorbeeld wel voorstellen Nieuwere bewerking →
Regel 1: [[Afbeelding:Dining philosophers.png\|thumb\|200px\|Illustratie bij het filosofenprobleem. Kloksgewijs: [[Plato]], [[Confucius]], [[Socrates]], [[Voltaire]] en [[René Descartes\|Descartes]]]] In de [[informatica]] is het '''filosofenprobleem''' een aansprekend voorbeeld van de problematiek van [[gedistribueerd programmeren\|synchronisatie]]. Het probleem is in [[1965]] door [[Edsger Dijkstra]] voor het eerst gesteld als tentamenvraag; die ging over vijf computers die toegang willen hebben tot vijf tape-drives. De herformulering waarin computers en tape-drives door filosofen en vorken zijn vervangen is kort daarna bedacht door [[Tony Hoare]]. Regel 33: Stel bijvoorbeeld dat we een denker zelfs geen vork laten pakken als tegelijk een hoger genummerde hetzelfde probeert. Dan zal de hoogstgenummerde altijd eten, terwijl de rest verhongert. Zo'n situatie wordt ''starvation'' genoemd. Men kan dit nog verder aanscherpen, bijvoorbeeld door te eisen dat het systeem ''[[eerlijkheid\|eerlijk]]'' is, in de zin dat de filosofen niet alleen allemaal altijd nog ooit de kans krijgen te eten, maar ze die kans zelfs even vaak krijgen; of door te eisen dat de totale wachttijd zo klein mogelijk is. ==Relevantie==

Filosofenprobleem: verschil tussen versies