Matches in SemOpenAlex for { <https://semopenalex.org/work/W149053240> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W149053240 endingPage "553" @default.
- W149053240 startingPage "533" @default.
- W149053240 abstract "We present algorithms for checking and enforcing robustness of concurrent programs against the Total Store Ordering (TSO) memory model. A program is robust if all its TSO computations correspond to computations under the Sequential Consistency (SC) semantics.We provide a complete characterization of non-robustness in terms of so-called attacks: a restricted form of (harmful) out-of-program-order executions. Then, we show that detecting attacks can be parallelized, and can be solved using state reachability queries under the SC semantics in a suitably instrumented program obtained by a linear size source-to-source translation. Importantly, the construction is valid for an unbounded number of memory addresses and an arbitrary number of parallel threads. It is independent from the data domain and from the size of store buffers in the TSO semantics. In particular, when the data domain is finite and the number of addresses is fixed, we obtain decidability and complexity results for robustness, even for a parametric number of threads.As a second contribution, we provide an algorithm for computing an optimal set of fences that enforce robustness. We consider two criteria of optimality: minimization of program size and maximization of its performance. The algorithms we define are implemented, and we successfully applied them to analyzing and correcting several concurrent algorithms." @default.
- W149053240 created "2016-06-24" @default.
- W149053240 creator A5045477471 @default.
- W149053240 creator A5051341243 @default.
- W149053240 creator A5085643838 @default.
- W149053240 date "2013-01-01" @default.
- W149053240 modified "2023-10-10" @default.
- W149053240 title "Checking and Enforcing Robustness against TSO" @default.
- W149053240 cites W1483960654 @default.
- W149053240 cites W1525350307 @default.
- W149053240 cites W1594825470 @default.
- W149053240 cites W1847252379 @default.
- W149053240 cites W1913137593 @default.
- W149053240 cites W1981959925 @default.
- W149053240 cites W1984439088 @default.
- W149053240 cites W1986463648 @default.
- W149053240 cites W2036526834 @default.
- W149053240 cites W2039509099 @default.
- W149053240 cites W2054739713 @default.
- W149053240 cites W2055081868 @default.
- W149053240 cites W2085773946 @default.
- W149053240 cites W2105980774 @default.
- W149053240 cites W2115309705 @default.
- W149053240 cites W2121064036 @default.
- W149053240 cites W2165365531 @default.
- W149053240 cites W2166071597 @default.
- W149053240 cites W2583970767 @default.
- W149053240 cites W4234858060 @default.
- W149053240 cites W4246094892 @default.
- W149053240 cites W4251305355 @default.
- W149053240 doi "https://doi.org/10.1007/978-3-642-37036-6_29" @default.
- W149053240 hasPublicationYear "2013" @default.
- W149053240 type Work @default.
- W149053240 sameAs 149053240 @default.
- W149053240 citedByCount "107" @default.
- W149053240 countsByYear W1490532402013 @default.
- W149053240 countsByYear W1490532402014 @default.
- W149053240 countsByYear W1490532402015 @default.
- W149053240 countsByYear W1490532402016 @default.
- W149053240 countsByYear W1490532402017 @default.
- W149053240 countsByYear W1490532402018 @default.
- W149053240 countsByYear W1490532402019 @default.
- W149053240 countsByYear W1490532402020 @default.
- W149053240 countsByYear W1490532402021 @default.
- W149053240 countsByYear W1490532402022 @default.
- W149053240 countsByYear W1490532402023 @default.
- W149053240 crossrefType "book-chapter" @default.
- W149053240 hasAuthorship W149053240A5045477471 @default.
- W149053240 hasAuthorship W149053240A5051341243 @default.
- W149053240 hasAuthorship W149053240A5085643838 @default.
- W149053240 hasBestOaLocation W1490532401 @default.
- W149053240 hasConcept C104317684 @default.
- W149053240 hasConcept C185592680 @default.
- W149053240 hasConcept C199360897 @default.
- W149053240 hasConcept C41008148 @default.
- W149053240 hasConcept C55493867 @default.
- W149053240 hasConcept C63479239 @default.
- W149053240 hasConceptScore W149053240C104317684 @default.
- W149053240 hasConceptScore W149053240C185592680 @default.
- W149053240 hasConceptScore W149053240C199360897 @default.
- W149053240 hasConceptScore W149053240C41008148 @default.
- W149053240 hasConceptScore W149053240C55493867 @default.
- W149053240 hasConceptScore W149053240C63479239 @default.
- W149053240 hasLocation W1490532401 @default.
- W149053240 hasLocation W1490532402 @default.
- W149053240 hasOpenAccess W149053240 @default.
- W149053240 hasPrimaryLocation W1490532401 @default.
- W149053240 hasRelatedWork W1491366424 @default.
- W149053240 hasRelatedWork W1527862632 @default.
- W149053240 hasRelatedWork W2109507516 @default.
- W149053240 hasRelatedWork W2112962394 @default.
- W149053240 hasRelatedWork W2118300983 @default.
- W149053240 hasRelatedWork W2135396778 @default.
- W149053240 hasRelatedWork W2740990710 @default.
- W149053240 hasRelatedWork W3137189469 @default.
- W149053240 hasRelatedWork W4235530921 @default.
- W149053240 hasRelatedWork W4243252198 @default.
- W149053240 isParatext "false" @default.
- W149053240 isRetracted "false" @default.
- W149053240 magId "149053240" @default.
- W149053240 workType "book-chapter" @default.