This HTML5 document contains 182 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
n24	http://www.crockford.com/ec/
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
n52	https://web.archive.org/web/20060108210045/http:/jdl.sun.com/webapps/getjava/BrowserRedirect%3Flocale=en&host=www.java.com:
dbpedia-fi	http://fi.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-et	http://et.dbpedia.org/resource/
n22	https://web.archive.org/web/20120304070702/http:/web.eecs.utk.edu/~plank/plank/classes/cs560/560/notes/CBThread_Dphil/
dbpedia-he	http://he.dbpedia.org/resource/
n39	https://github.com/tlaplus/Examples/blob/master/specifications/DiningPhilosophers/
n21	http://ml.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
n28	http://commons.wikimedia.org/wiki/Special:FilePath/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-cs	http://cs.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n16	http://www.cs.mtu.edu/~shene/NSF-3/e-Book/MUTEX/
n29	http://dbpedia.org/resource/File:
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-uk	http://uk.dbpedia.org/resource/
n54	http://msdn.microsoft.com/en-us/magazine/
dbo	http://dbpedia.org/ontology/
dbpedia-sr	http://sr.dbpedia.org/resource/
dbpedia-sk	http://sk.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
n18	https://web.archive.org/web/20131208203319/http:/web.eecs.utk.edu/~plank/plank/classes/cs560/560/notes/Dphil/
n26	https://www.modernescpp.com/index.php/
dbpedia-de	http://de.dbpedia.org/resource/
n49	http://www.cs.kent.ac.uk/projects/ofa/java-threads/
dbpedia-pl	http://pl.dbpedia.org/resource/
n32	http://mn.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
n57	http://www.doc.ic.ac.uk/~jnm/concurrency/classes/Diners/
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
n53	https://global.dbpedia.org/id/
yago-res	http://yago-knowledge.org/resource/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
n55	https://web.archive.org/web/20070323021108/http:/jason.mchu.com/SDP/
n23	http://www.cs.utexas.edu/users/EWD/ewd03xx/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
n10	http://laser.cs.umass.edu/verification-examples/dp_standard/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-tr	http://tr.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-es	http://es.dbpedia.org/resource/
n11	https://www.cs.purdue.edu/homes/clifton/cs603/
n56	http://java-is-the-new-c.blogspot.de/2014/09/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item

dbr:Dining_philosophers_problem

rdf:type

yago:Research100636921 yago:Creativity105624700 yago:Falsehood106756407 yago:YagoPermanentlyLocatedEntity yago:State100024720 yago:Investigation100633864 yago:Problem114410605 yago:Contradiction107206887 yago:Paradox106724559 yago:WikicatComputationalProblems yago:Condition113920835 yago:WikicatDutchInventions yago:Difficulty114408086 yago:Cognition100023271 yago:Communication100033020 yago:Statement106722453 yago:Abstraction100002137 yago:WikicatParadoxes yago:Attribute100024264 yago:Act100030358 yago:Message106598915 yago:Experiment100639556 yago:ScientificResearch100641820 yago:Activity100407535 dbo:Disease yago:WikicatThoughtExperiments yago:PsychologicalFeature100023100 yago:Work100575741 yago:Event100029378 yago:Invention105633385 yago:Ability105616246

rdfs:label

Problema de la cena de los filósofos Problema dei filosofi a cena Dîner des philosophes Dining philosophers problem Problém obědvajících filozofů Philosophenproblem Problem ucztujących filozofów 식사하는 철학자들 문제 食事する哲学者の問題 Ätande filosofer El sopar de filòsofs Filosofenprobleem Задача об обедающих философах 哲学家就餐问题 Проблема філософів, що обідають

rdfs:comment

Задача об обедающих философах — классический пример, используемый в информатике для иллюстрации проблем синхронизации при разработке параллельных алгоритмов и техник решения этих проблем. Задача была сформулирована в 1965 году Эдсгером Дейкстрой как экзаменационное упражнение для студентов. В качестве примера был взят конкурирующий доступ к ленточному накопителю. Вскоре задача была сформулирована Энтони Хоаром в том виде, в каком она известна сегодня. 식사하는 철학자들 문제는 전산학에서 동시성과 교착 상태를 설명하는 예시로, 여러 프로세스가 동시에 돌아갈 때 교착 상태가 나타나는 원인을 직관적으로 알 수 있다. 다섯 명의 철학자가 원탁에 앉아 있고, 각자의 앞에는 스파게티가 있고 양옆에 포크가 하나씩 있다. 그리고 각각의 철학자는 다른 철학자에게 말을 할 수 없다. 이때 철학자가 스파게티를 먹기 위해서는 양 옆의 포크를 동시에 들어야 한다. 이때 각각의 철학자가 왼쪽의 포크를 들고 그 다음 오른쪽의 포크를 들어서 스파게티를 먹는 알고리즘을 가지고 있으면, 다섯 철학자는 동시에 왼쪽의 포크를 들 수 있으나 오른쪽의 포크는 이미 가져가진 상태이기 때문에 다섯 명 모두가 무한정 서로를 기다리는 교착 상태에 빠지게 될 수 있다. 또한 어떤 경우에는 동시에 양쪽 포크를 집을 수 없어 식사를 하지 못하는 기아 상태가 발생할 수도 있고, 몇몇 철학자가 다른 철학자보다 식사를 적게 하는 경우가 발생하기도 한다. Problem ucztujących filozofów (znany też jako problem pięciu filozofów) – przykład klasycznego dla informatyki zadania synchronizacji procesów. W 1965 roku E. Dijkstra wymyślił zadanie egzaminacyjne dotyczące sytuacji, w której 5 komputerów próbuje uzyskać dostęp do 5 współdzielonych napędów dysków. Niedługo potem problem został przedstawiony na nowo przez Ch. Hoare’a jako problem ucztujących filozofów.Jest to teoretyczne wyjaśnienie zakleszczenia i uniemożliwienia innym jednostkom korzystania z zasobów poprzez założenie, że każdy z filozofów bierze po jednym widelcu, a dopiero potem próbuje zdobyć drugi. In computer science, the dining philosophers problem is an example problem often used in concurrent algorithm design to illustrate synchronization issues and techniques for resolving them. It was originally formulated in 1965 by Edsger Dijkstra as a student exam exercise, presented in terms of computers competing for access to tape drive peripherals.Soon after, Tony Hoare gave the problem its present form. Ätande filosofer är inom datavetenskap ett tankeexperiment menat att illustrera vissa problem som uppkommer vid parallella aktiviteter eller multikörning, till exempel baklås och resurssvält. Problemet har sitt ursprung i ett problem som användes som tentamensproblem av Edsger Dijkstra 1965, där fem datorer skulle ha åtkomst till fem gemensamma bandspelare. Snart därefter återberättade problemet som de ätande filosoferna. Problemet beskrevs även av Dijkstra i en artikel från 1971. 哲学家就餐问题（英語：Dining philosophers problem）是在计算机科学中的一个经典问题，用来演示在并发计算中多线程同步（Synchronization）时产生的问题。 在1971年，著名的计算机科学家艾兹格·迪科斯彻提出了一个同步问题，即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后，这个问题被托尼·霍尔重新表述为哲学家就餐问题。这个问题可以用来解释死結和资源耗尽。 Проблема філософів що обідають — типова проблема синхронізації процесів, що може виникати при паралельних обчисленнях. Il problema dei filosofi a cena, altrimenti noto come problema dei cinque filosofi, è un esempio che illustra un comune problema di controllo della concorrenza in informatica. Si tratta di un classico problema di sincronizzazione fra processi paralleli. El problema de la cena de los filósofos o problema de los filósofos cenando (dining philosophers problem) es un problema clásico de las ciencias de la computación propuesto por Edsger Dijkstra en 1965 para representar el problema de la sincronización de procesos en un sistema operativo. Cabe aclarar que la interpretación está basada en pensadores chinos, quienes comían con dos palillos, donde es más lógico que se necesite el del comensal que se siente al lado para poder comer. In de informatica is het filosofenprobleem een aansprekend voorbeeld van de problematiek van 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. Problém obědvajících (též večeřících) filozofů je myšlenkový experiment, který se používá k ověření správné činnosti správy procesů. Formuloval jej Edsger Dijkstra v roce 1965. Každý operační systém má správu procesů, což je vlastně algoritmus, který řídí vznik, zánik a plánování procesů (běžících programů) v operačním systému. El sopar dels filòsofs és un exemple de paradoxa que conté una abraçada mortal (o deadlock), proposat i resolt per Edsger Dijkstra el 1965. Cal dir que aquest problema és una adaptació d'un altre en què pensadors xinesos menjaven amb dos bastonets, on és més lògic l'ús del bastonet del filòsof veí per poder menjar. 食事する哲学者の問題（しょくじするてつがくしゃのもんだい、Dining Philosophers Problem）とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期（排他制御）問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。 Beim Philosophenproblem (englisch dining philosophers problem) handelt es sich um ein Fallbeispiel aus dem Bereich der theoretischen Informatik. Damit soll das Problem der Nebenläufigkeit und die Gefahr der Verklemmung von Prozessen veranschaulicht werden. Das Problem wurde von Edsger W. Dijkstra formuliert. Le problème du « dîner des philosophes » est un cas d'école classique sur le partage de ressources en informatique système. Il concerne l'ordonnancement des processus et l'allocation des ressources à ces derniers et a été énoncé par Edsger Dijkstra.

foaf:depiction

n28:An_illustration_of_the_dining_philosophers_problem.png

dcterms:subject

dbc:1965_introductions dbc:Computational_problems dbc:Dutch_inventions dbc:Concurrency_(computer_science) dbc:Problems_in_computer_science dbc:Edsger_W._Dijkstra dbc:Thought_experiments

dbo:wikiPageID

285344

dbo:wikiPageRevisionID

1120886101

dbo:wikiPageWikiLink

dbc:Thought_experiments dbr:Tape_drive dbr:Directed_acyclic_graph dbr:Philosopher dbr:Readers-writers_problem dbr:K._Mani_Chandy dbr:Mutex dbr:Synchronization_(computer_science) dbc:Computational_problems dbr:Cigarette_smokers_problem dbr:Producers-consumers_problem dbc:Dutch_inventions dbr:Jayadev_Misra dbr:Edsger_W._Dijkstra n29:Deadlocks_and_the_Dining_Philosophers_Problem.webm n29:An_illustration_of_the_dining_philosophers_problem.png dbr:Peter_H._Welch dbr:POPL dbc:Concurrency_(computer_science) dbr:Spaghetti dbr:Semaphore_(programming) dbr:Concurrency_(computer_science) dbr:Resource_starvation dbr:State_variable dbr:Tony_Hoare dbr:Partially_ordered_set dbr:Resource_contention dbr:Computer_science dbc:Edsger_W._Dijkstra dbc:Problems_in_computer_science dbr:Mutual_exclusion dbr:Deadlock dbr:Incomplete_information dbc:1965_introductions dbr:William_Stallings dbr:Sleeping_barber_problem

dbo:wikiPageExternalLink

n10:dp.html n11:Philosophers.ppt n16:TM-example-philos-1.html n18:lecture.html n22: n23:EWD310.PDF n24:dining.html n26:dining-philiosophers-problem-iii n26:dining-philiosophers-problem-i n26:dining-philiosophers-problem-ii n39:DiningPhilosophers.tla n49:0.html n52:80 n54:dd882512.aspx n55:index.html n56:breaking-habit-solving-dining.html n57:Diners.html

owl:sameAs

dbpedia-ko:식사하는_철학자들_문제 freebase:m.01pyfm wikidata:Q865867 dbpedia-sr:Проблем_филозофа_за_ручком dbpedia-es:Problema_de_la_cena_de_los_filósofos dbpedia-tr:Makarna_yiyen_düşünürler_sorunu n21:തത്ത്വചിന്തകരും_ഊണുമേശയും_(ഡൈനിംഗ്_തത്ത്വചിന്തകരുടെ_പ്രശ്നം) dbpedia-ru:Задача_об_обедающих_философах dbpedia-cs:Problém_obědvajících_filozofů dbpedia-uk:Проблема_філософів,_що_обідають n32:Хооллож_байгаа_философичдын_асуудал dbpedia-et:Einestavad_filosoofid yago-res:Dining_philosophers_problem dbpedia-de:Philosophenproblem dbpedia-it:Problema_dei_filosofi_a_cena dbpedia-pl:Problem_ucztujących_filozofów dbpedia-fi:Aterioivat_filosofit dbpedia-he:בעיית_הפילוסופים_הסועדים dbpedia-ca:El_sopar_de_filòsofs dbpedia-ja:食事する哲学者の問題 dbpedia-sk:Problém_obedujúcich_filozofov dbpedia-fa:مسئله_غذا_خوردن_فیلسوف‌ها dbpedia-fr:Dîner_des_philosophes dbpedia-sv:Ätande_filosofer dbpedia-zh:哲学家就餐问题 n53:51or1 dbpedia-nl:Filosofenprobleem

dbp:wikiPageUsesTemplate

dbt:Reflist dbt:Short_description dbt:Concurrent_computing dbt:Webarchive dbt:Cite_book

dbo:thumbnail

n28:An_illustration_of_the_dining_philosophers_problem.png?width=300

dbp:date

2012-03-04 2013-12-08

dbp:title

Discussion of various solutions Discussion of a solution using continuation based threads

dbp:url

n22: n18:lecture.html

dbo:abstract

In computer science, the dining philosophers problem is an example problem often used in concurrent algorithm design to illustrate synchronization issues and techniques for resolving them. It was originally formulated in 1965 by Edsger Dijkstra as a student exam exercise, presented in terms of computers competing for access to tape drive peripherals.Soon after, Tony Hoare gave the problem its present form. Le problème du « dîner des philosophes » est un cas d'école classique sur le partage de ressources en informatique système. Il concerne l'ordonnancement des processus et l'allocation des ressources à ces derniers et a été énoncé par Edsger Dijkstra. Problem ucztujących filozofów (znany też jako problem pięciu filozofów) – przykład klasycznego dla informatyki zadania synchronizacji procesów. W 1965 roku E. Dijkstra wymyślił zadanie egzaminacyjne dotyczące sytuacji, w której 5 komputerów próbuje uzyskać dostęp do 5 współdzielonych napędów dysków. Niedługo potem problem został przedstawiony na nowo przez Ch. Hoare’a jako problem ucztujących filozofów.Jest to teoretyczne wyjaśnienie zakleszczenia i uniemożliwienia innym jednostkom korzystania z zasobów poprzez założenie, że każdy z filozofów bierze po jednym widelcu, a dopiero potem próbuje zdobyć drugi. Problem ucztujących filozofów jest prezentacją problemu synchronizacji pracujących współbieżnie procesów. Istnieje kilka możliwych rozwiązań tego problemu, między innymi wykorzystujące lub grupy semaforów. Il problema dei filosofi a cena, altrimenti noto come problema dei cinque filosofi, è un esempio che illustra un comune problema di controllo della concorrenza in informatica. Si tratta di un classico problema di sincronizzazione fra processi paralleli. El problema de la cena de los filósofos o problema de los filósofos cenando (dining philosophers problem) es un problema clásico de las ciencias de la computación propuesto por Edsger Dijkstra en 1965 para representar el problema de la sincronización de procesos en un sistema operativo. Cabe aclarar que la interpretación está basada en pensadores chinos, quienes comían con dos palillos, donde es más lógico que se necesite el del comensal que se siente al lado para poder comer. Beim Philosophenproblem (englisch dining philosophers problem) handelt es sich um ein Fallbeispiel aus dem Bereich der theoretischen Informatik. Damit soll das Problem der Nebenläufigkeit und die Gefahr der Verklemmung von Prozessen veranschaulicht werden. Das Problem wurde von Edsger W. Dijkstra formuliert. Проблема філософів що обідають — типова проблема синхронізації процесів, що може виникати при паралельних обчисленнях. In de informatica is het filosofenprobleem een aansprekend voorbeeld van de problematiek van 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. 哲学家就餐问题（英語：Dining philosophers problem）是在计算机科学中的一个经典问题，用来演示在并发计算中多线程同步（Synchronization）时产生的问题。 在1971年，著名的计算机科学家艾兹格·迪科斯彻提出了一个同步问题，即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后，这个问题被托尼·霍尔重新表述为哲学家就餐问题。这个问题可以用来解释死結和资源耗尽。 식사하는 철학자들 문제는 전산학에서 동시성과 교착 상태를 설명하는 예시로, 여러 프로세스가 동시에 돌아갈 때 교착 상태가 나타나는 원인을 직관적으로 알 수 있다. 다섯 명의 철학자가 원탁에 앉아 있고, 각자의 앞에는 스파게티가 있고 양옆에 포크가 하나씩 있다. 그리고 각각의 철학자는 다른 철학자에게 말을 할 수 없다. 이때 철학자가 스파게티를 먹기 위해서는 양 옆의 포크를 동시에 들어야 한다. 이때 각각의 철학자가 왼쪽의 포크를 들고 그 다음 오른쪽의 포크를 들어서 스파게티를 먹는 알고리즘을 가지고 있으면, 다섯 철학자는 동시에 왼쪽의 포크를 들 수 있으나 오른쪽의 포크는 이미 가져가진 상태이기 때문에 다섯 명 모두가 무한정 서로를 기다리는 교착 상태에 빠지게 될 수 있다. 또한 어떤 경우에는 동시에 양쪽 포크를 집을 수 없어 식사를 하지 못하는 기아 상태가 발생할 수도 있고, 몇몇 철학자가 다른 철학자보다 식사를 적게 하는 경우가 발생하기도 한다. El sopar dels filòsofs és un exemple de paradoxa que conté una abraçada mortal (o deadlock), proposat i resolt per Edsger Dijkstra el 1965. Cal dir que aquest problema és una adaptació d'un altre en què pensadors xinesos menjaven amb dos bastonets, on és més lògic l'ús del bastonet del filòsof veí per poder menjar. 食事する哲学者の問題（しょくじするてつがくしゃのもんだい、Dining Philosophers Problem）とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期（排他制御）問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。 Problém obědvajících (též večeřících) filozofů je myšlenkový experiment, který se používá k ověření správné činnosti správy procesů. Formuloval jej Edsger Dijkstra v roce 1965. Každý operační systém má správu procesů, což je vlastně algoritmus, který řídí vznik, zánik a plánování procesů (běžících programů) v operačním systému. Задача об обедающих философах — классический пример, используемый в информатике для иллюстрации проблем синхронизации при разработке параллельных алгоритмов и техник решения этих проблем. Задача была сформулирована в 1965 году Эдсгером Дейкстрой как экзаменационное упражнение для студентов. В качестве примера был взят конкурирующий доступ к ленточному накопителю. Вскоре задача была сформулирована Энтони Хоаром в том виде, в каком она известна сегодня. Ätande filosofer är inom datavetenskap ett tankeexperiment menat att illustrera vissa problem som uppkommer vid parallella aktiviteter eller multikörning, till exempel baklås och resurssvält. Problemet har sitt ursprung i ett problem som användes som tentamensproblem av Edsger Dijkstra 1965, där fem datorer skulle ha åtkomst till fem gemensamma bandspelare. Snart därefter återberättade problemet som de ätande filosoferna. Problemet beskrevs även av Dijkstra i en artikel från 1971.

gold:hypernym

dbr:Problem

prov:wasDerivedFrom

wikipedia-en:Dining_philosophers_problem?oldid=1120886101&ns=0

dbo:wikiPageLength

19567

foaf:isPrimaryTopicOf

wikipedia-en:Dining_philosophers_problem