Sökning: id:"swepub:oai:DiVA.org:uu-497498" >
Dynamic Partial Ord...
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
-
- Abdulla, Parosh Aziz, Professor, 1961- (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Atig, Mohamed Faouzi (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Jonsson, Bengt, 1957- (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
visa fler...
-
- Ngo, Tuan-Phong (författare)
- Uppsala universitet,Datorteknik
-
visa färre...
-
(creator_code:org_t)
- 2019-09-14
- 2019
- Engelska.
-
Ingår i: Networked Systems. - Cham : Springer Nature. - 9783030312770 - 9783030312763 ; , s. 3-18
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas