dining philosophers problem

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf computer science problem
gptkbp:describes resource sharing problem
gptkbp:field concurrency
synchronization
gptkbp:hasModel starvation
deadlock
concurrent processes
https://www.w3.org/2000/01/rdf-schema#label dining philosophers problem
gptkbp:involves philosophers
forks
gptkbp:proposedBy gptkb:Edsger_W._Dijkstra
gptkbp:relatedTo gptkb:CSP_(Communicating_Sequential_Processes)
operating systems
semaphores
resource allocation
mutex
gptkbp:solutionRequires mutual exclusion
avoidance of deadlock
avoidance of starvation
gptkbp:usedFor demonstrating deadlock
demonstrating resource contention
teaching synchronization
gptkbp:yearProposed 1965
gptkbp:bfsParent gptkb:Chandy/Misra_solution
gptkb:Producer-consumer_problem
gptkb:Readers-writers_problem
gptkbp:bfsLayer 7