Nonatomic dual bakery algorithm with bounded tokens (Q766163)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonatomic dual bakery algorithm with bounded tokens |
scientific article |
Statements
Nonatomic dual bakery algorithm with bounded tokens (English)
0 references
23 March 2012
0 references
Recent systems such as smart-phones, network processors, graphic chips use memories which allow nonatomic accesses. This paper presents (for the first time) and proves (by using PVS) a mutual exclusion algorithm that only uses nonatomic shared variables. Furthermore, these shared variables are of bounded size.
0 references
mutual exclusion
0 references
nonatomic shared variables
0 references
bounded size
0 references
first-come-first-serve
0 references
0 references
