Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mutual_exclusion_algorithm
|
| gptkbp:category |
distributed computing
concurrency control |
| gptkbp:compatibleWith |
hardware support
atomic operations |
| gptkbp:describedBy |
gptkb:Communications_of_the_ACM
paper: 'A New Solution of Dijkstra's Concurrent Programming Problem' |
| gptkbp:guarantees |
progress
mutual exclusion bounded waiting |
| gptkbp:inspiredBy |
real-world bakery ticket system
|
| gptkbp:inventedBy |
gptkb:Leslie_Lamport
|
| gptkbp:usedFor |
solving the critical section problem
|
| gptkbp:usedIn |
distributed systems
|
| gptkbp:yearProposed |
1974
|
| gptkbp:bfsParent |
gptkb:Gafni's_algorithm
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lamport's bakery algorithm
|