A modular drinking philosophers algorithm (Q1261112): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:27, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A modular drinking philosophers algorithm |
scientific article |
Statements
A modular drinking philosophers algorithm (English)
0 references
16 September 1993
0 references
A variant of the drinking philosophers algorithm of Chandy and Misra is described and proved correct in a modular way. The algorithm uses an arbitrary dining philosophers algorithm as a subroutine. For \(O(1)\) time subroutine, the worst-case waiting time of the presented algorithms is shown to be \(O(1)\). Definitions that distinguish the drinking and dining philosophers problem and that specify varying degrees of concurrency are provided.
0 references
allocation
0 references
drinking philosophers
0 references
dining philosophers
0 references
concurrency
0 references