Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concurrency problem
|
| gptkbp:describes |
synchronization problem
|
| gptkbp:example |
classic synchronization problem
|
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dining philosophers problem
|
| gptkbp:introduced |
gptkb:Edsger_Dijkstra
|
| gptkbp:introducedIn |
1965
|
| gptkbp:involves |
philosophers
forks table |
| gptkbp:relatedTo |
operating systems
semaphores resource allocation parallel computing critical section mutex |
| gptkbp:solvedBy |
gptkb:Chandy/Misra_solution
arbitrator solution asymmetric solution randomized solution resource hierarchy solution waiter solution |
| gptkbp:teaches |
problems of concurrency
problems of deadlock problems of starvation |
| gptkbp:usedFor |
illustrating concurrency control
illustrating deadlock illustrating resource contention illustrating starvation |
| gptkbp:bfsParent |
gptkb:Edsger_Wybe_Dijkstra
|
| gptkbp:bfsLayer |
5
|