Matches in SemOpenAlex for { <https://semopenalex.org/work/W2889304261> ?p ?o ?g. }
- W2889304261 abstract "We consider the weak memory model of Total Store Ordering (TSO). In the classical definition of TSO, an unbounded buffer is inserted between each process and the shared memory. The buffers contains pending store operations of the processes. We introduce a new model where we replace the store buffers by load buffers. In contrast to the classical model, the buffers now contain load operations. We show that the models have equivalent behaviors in the sense that the processes reach identical sets of states when the input program is run under the two models." @default.
- W2889304261 created "2018-09-07" @default.
- W2889304261 creator A5002478680 @default.
- W2889304261 creator A5012871556 @default.
- W2889304261 creator A5045477471 @default.
- W2889304261 creator A5047278328 @default.
- W2889304261 date "2018-01-01" @default.
- W2889304261 modified "2023-10-01" @default.
- W2889304261 title "Replacing Store Buffers by Load Buffers in TSO" @default.
- W2889304261 cites W123460966 @default.
- W2889304261 cites W1430872261 @default.
- W2889304261 cites W149053240 @default.
- W2889304261 cites W1525350307 @default.
- W2889304261 cites W1602156367 @default.
- W2889304261 cites W1719093023 @default.
- W2889304261 cites W1850106738 @default.
- W2889304261 cites W1861151562 @default.
- W2889304261 cites W1877513498 @default.
- W2889304261 cites W1967174286 @default.
- W2889304261 cites W196827001 @default.
- W2889304261 cites W1971332773 @default.
- W2889304261 cites W1996009176 @default.
- W2889304261 cites W1999904018 @default.
- W2889304261 cites W2024875714 @default.
- W2889304261 cites W2036316394 @default.
- W2889304261 cites W2050591418 @default.
- W2889304261 cites W2054739713 @default.
- W2889304261 cites W2085773946 @default.
- W2889304261 cites W2091085450 @default.
- W2889304261 cites W2096004601 @default.
- W2889304261 cites W2105980774 @default.
- W2889304261 cites W2121064036 @default.
- W2889304261 cites W2123601779 @default.
- W2889304261 cites W2123910665 @default.
- W2889304261 cites W2127042926 @default.
- W2889304261 cites W2149911648 @default.
- W2889304261 cites W2160781056 @default.
- W2889304261 cites W2163490397 @default.
- W2889304261 cites W2248727051 @default.
- W2889304261 cites W2265897862 @default.
- W2889304261 cites W2353662026 @default.
- W2889304261 cites W2521435176 @default.
- W2889304261 cites W2534587298 @default.
- W2889304261 cites W2550256838 @default.
- W2889304261 cites W2593231357 @default.
- W2889304261 cites W2738891045 @default.
- W2889304261 cites W4235848117 @default.
- W2889304261 cites W4248790694 @default.
- W2889304261 cites W75893787 @default.
- W2889304261 cites W1598893746 @default.
- W2889304261 doi "https://doi.org/10.1007/978-3-030-00359-3_2" @default.
- W2889304261 hasPublicationYear "2018" @default.
- W2889304261 type Work @default.
- W2889304261 sameAs 2889304261 @default.
- W2889304261 citedByCount "0" @default.
- W2889304261 crossrefType "book-chapter" @default.
- W2889304261 hasAuthorship W2889304261A5002478680 @default.
- W2889304261 hasAuthorship W2889304261A5012871556 @default.
- W2889304261 hasAuthorship W2889304261A5045477471 @default.
- W2889304261 hasAuthorship W2889304261A5047278328 @default.
- W2889304261 hasConcept C111919701 @default.
- W2889304261 hasConcept C11413529 @default.
- W2889304261 hasConcept C120314980 @default.
- W2889304261 hasConcept C12186640 @default.
- W2889304261 hasConcept C133875982 @default.
- W2889304261 hasConcept C173608175 @default.
- W2889304261 hasConcept C199360897 @default.
- W2889304261 hasConcept C41008148 @default.
- W2889304261 hasConcept C98045186 @default.
- W2889304261 hasConceptScore W2889304261C111919701 @default.
- W2889304261 hasConceptScore W2889304261C11413529 @default.
- W2889304261 hasConceptScore W2889304261C120314980 @default.
- W2889304261 hasConceptScore W2889304261C12186640 @default.
- W2889304261 hasConceptScore W2889304261C133875982 @default.
- W2889304261 hasConceptScore W2889304261C173608175 @default.
- W2889304261 hasConceptScore W2889304261C199360897 @default.
- W2889304261 hasConceptScore W2889304261C41008148 @default.
- W2889304261 hasConceptScore W2889304261C98045186 @default.
- W2889304261 hasLocation W28893042611 @default.
- W2889304261 hasOpenAccess W2889304261 @default.
- W2889304261 hasPrimaryLocation W28893042611 @default.
- W2889304261 hasRelatedWork W1931014159 @default.
- W2889304261 hasRelatedWork W1971767939 @default.
- W2889304261 hasRelatedWork W1972756936 @default.
- W2889304261 hasRelatedWork W2005005985 @default.
- W2889304261 hasRelatedWork W2017264709 @default.
- W2889304261 hasRelatedWork W202288788 @default.
- W2889304261 hasRelatedWork W2033380306 @default.
- W2889304261 hasRelatedWork W2106828894 @default.
- W2889304261 hasRelatedWork W2163015177 @default.
- W2889304261 hasRelatedWork W2243781513 @default.
- W2889304261 hasRelatedWork W2291535168 @default.
- W2889304261 hasRelatedWork W2551733116 @default.
- W2889304261 hasRelatedWork W2559796330 @default.
- W2889304261 hasRelatedWork W2760331766 @default.
- W2889304261 hasRelatedWork W2893773143 @default.
- W2889304261 hasRelatedWork W2900781544 @default.
- W2889304261 hasRelatedWork W2970250254 @default.
- W2889304261 hasRelatedWork W3159773302 @default.
- W2889304261 hasRelatedWork W3192183823 @default.