Search: onr:"swepub:oai:DiVA.org:uu-497498" >
Dynamic Partial Ord...
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
-
- Abdulla, Parosh Aziz, Professor, 1961- (author)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Atig, Mohamed Faouzi (author)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Jonsson, Bengt, 1957- (author)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
show more...
-
- Ngo, Tuan-Phong (author)
- Uppsala universitet,Datorteknik
-
show less...
-
(creator_code:org_t)
- 2019-09-14
- 2019
- English.
-
In: Networked Systems. - Cham : Springer Nature. - 9783030312770 - 9783030312763 ; , s. 3-18
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- We describe at a high-level the main concepts in the Release-Acquire (RA) semantics that is part of the C11 language. Furthermore, we describe the ideas behind an optimal dynamic partial order reduction technique that can be used for systematic analysis of concurrent programs running under RA. This tutorial is based on the material presented in [5], which also contains the formal definitions of all the models, concepts, and algorithms.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database