A general lock-free algorithm using compare-and-swap (Q865625)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A general lock-free algorithm using compare-and-swap |
scientific article |
Statements
A general lock-free algorithm using compare-and-swap (English)
0 references
20 February 2007
0 references
lock-free
0 references
refinement mapping
0 references
atomicity
0 references
compare-and-swap
0 references
correctness
0 references