A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions (Q2828301)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions |
scientific article; zbMATH DE number 6642983
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions |
scientific article; zbMATH DE number 6642983 |
Statements
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions (English)
0 references
24 October 2016
0 references
C/C++
0 references
concurrency
0 references
relaxed memory models
0 references
0.89708006
0 references
0.87672573
0 references
0.86731875
0 references
0.8645298
0 references
