FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2616014804> ?p ?o ?g. }

• W2616014804 abstract "There has been great progress recently in formally specifying the memory model of microprocessors like ARM and POWER. These specifications are, however, too complicated for reasoning about program behaviors, verifying compilers etc., because they involve microarchitectural details like the reorder buffer (ROB), partial and speculative execution, instruction replay on speculation failure, etc. In this paper we present a new Instantaneous Instruction Execution (I2E) framework which allows us to specify weak memory models in the same style as SC and TSO. Each instruction in I2E is executed instantaneously and in-order such that the state of the processor is always correct. The effect of instruction reordering is captured by the way data is moved between the processors and the memory non-deterministically, using three conceptual devices: invalidation buffers, timestamps and dynamic store buffers. We prove that I2E models capture the behaviors of modern microarchitectures and cache-coherent memory systems accurately, thus eliminating the need to think about microarchitectural details." @default.
• W2616014804 created "2017-05-26" @default.
• W2616014804 creator A5017975873 @default.
• W2616014804 creator A5060692552 @default.
• W2616014804 creator A5080480437 @default.
• W2616014804 date "2017-05-16" @default.
• W2616014804 modified "2023-10-01" @default.
• W2616014804 title "An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution." @default.
• W2616014804 cites W1525350307 @default.
• W2616014804 cites W1589643726 @default.
• W2616014804 cites W1885534640 @default.
• W2616014804 cites W1945229733 @default.
• W2616014804 cites W1966151719 @default.
• W2616014804 cites W1981959925 @default.
• W2616014804 cites W1995825057 @default.
• W2616014804 cites W1998263113 @default.
• W2616014804 cites W2005574148 @default.
• W2616014804 cites W2016012949 @default.
• W2616014804 cites W2029601347 @default.
• W2616014804 cites W2053496002 @default.
• W2616014804 cites W2054739713 @default.
• W2616014804 cites W2058943117 @default.
• W2616014804 cites W2066615989 @default.
• W2616014804 cites W2082036516 @default.
• W2616014804 cites W2085773946 @default.
• W2616014804 cites W2090249619 @default.
• W2616014804 cites W2090532555 @default.
• W2616014804 cites W2092002125 @default.
• W2616014804 cites W2095872092 @default.
• W2616014804 cites W2097465082 @default.
• W2616014804 cites W2097931542 @default.
• W2616014804 cites W2099706037 @default.
• W2616014804 cites W2101309537 @default.
• W2616014804 cites W2104245532 @default.
• W2616014804 cites W2104932676 @default.
• W2616014804 cites W2105900173 @default.
• W2616014804 cites W2108014707 @default.
• W2616014804 cites W2110879934 @default.
• W2616014804 cites W2111858071 @default.
• W2616014804 cites W2116454140 @default.
• W2616014804 cites W2117502039 @default.
• W2616014804 cites W2132117132 @default.
• W2616014804 cites W2134184428 @default.
• W2616014804 cites W2138074470 @default.
• W2616014804 cites W2142101409 @default.
• W2616014804 cites W2157980128 @default.
• W2616014804 cites W2163490397 @default.
• W2616014804 cites W2176864362 @default.
• W2616014804 cites W2280574045 @default.
• W2616014804 cites W2293319505 @default.
• W2616014804 cites W2738891045 @default.
• W2616014804 cites W3145847625 @default.
• W2616014804 cites W3149658335 @default.
• W2616014804 hasPublicationYear "2017" @default.
• W2616014804 type Work @default.
• W2616014804 sameAs 2616014804 @default.
• W2616014804 citedByCount "0" @default.
• W2616014804 crossrefType "posted-content" @default.
• W2616014804 hasAuthorship W2616014804A5017975873 @default.
• W2616014804 hasAuthorship W2616014804A5060692552 @default.
• W2616014804 hasAuthorship W2616014804A5080480437 @default.
• W2616014804 hasConcept C107598950 @default.
• W2616014804 hasConcept C113954288 @default.
• W2616014804 hasConcept C115537543 @default.
• W2616014804 hasConcept C118524514 @default.
• W2616014804 hasConcept C141331961 @default.
• W2616014804 hasConcept C169590947 @default.
• W2616014804 hasConcept C173608175 @default.
• W2616014804 hasConcept C1793878 @default.
• W2616014804 hasConcept C199360897 @default.
• W2616014804 hasConcept C200130814 @default.
• W2616014804 hasConcept C2776834041 @default.
• W2616014804 hasConcept C2989134064 @default.
• W2616014804 hasConcept C41008148 @default.
• W2616014804 hasConcept C48103436 @default.
• W2616014804 hasConcept C79403827 @default.
• W2616014804 hasConceptScore W2616014804C107598950 @default.
• W2616014804 hasConceptScore W2616014804C113954288 @default.
• W2616014804 hasConceptScore W2616014804C115537543 @default.
• W2616014804 hasConceptScore W2616014804C118524514 @default.
• W2616014804 hasConceptScore W2616014804C141331961 @default.
• W2616014804 hasConceptScore W2616014804C169590947 @default.
• W2616014804 hasConceptScore W2616014804C173608175 @default.
• W2616014804 hasConceptScore W2616014804C1793878 @default.
• W2616014804 hasConceptScore W2616014804C199360897 @default.
• W2616014804 hasConceptScore W2616014804C200130814 @default.
• W2616014804 hasConceptScore W2616014804C2776834041 @default.
• W2616014804 hasConceptScore W2616014804C2989134064 @default.
• W2616014804 hasConceptScore W2616014804C41008148 @default.
• W2616014804 hasConceptScore W2616014804C48103436 @default.
• W2616014804 hasConceptScore W2616014804C79403827 @default.
• W2616014804 hasLocation W26160148041 @default.
• W2616014804 hasOpenAccess W2616014804 @default.
• W2616014804 hasPrimaryLocation W26160148041 @default.
• W2616014804 hasRelatedWork W1480331025 @default.
• W2616014804 hasRelatedWork W166616756 @default.
• W2616014804 hasRelatedWork W1856675398 @default.
• W2616014804 hasRelatedWork W1986519572 @default.
• W2616014804 hasRelatedWork W2114800225 @default.
• W2616014804 hasRelatedWork W2132412204 @default.

• next