Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149179427> ?p ?o ?g. }
- W2149179427 abstract "Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the high availability required for these tasks, it is necessary to incorporate mechanisms for error detection and recovery. Correct operation of the memory system is defined by the memory consistency model. Errors can therefore be detected by checking if the observed memory system behavior deviates from the specified consistency model. Based on recent work, we design a framework for dynamic verification of memory consistency (DVMC). The framework consists of mechanisms to verify three invariants that are proven to guarantee that a specified memory consistency model is obeyed. We describe an implementation of the framework for the SPARCv9 architecture and experimentally evaluate its performance using full-system simulation of commercial workloads" @default.
- W2149179427 created "2016-06-24" @default.
- W2149179427 creator A5047935291 @default.
- W2149179427 creator A5072847774 @default.
- W2149179427 date "2006-07-21" @default.
- W2149179427 modified "2023-10-18" @default.
- W2149179427 title "Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures" @default.
- W2149179427 cites W1523595001 @default.
- W2149179427 cites W1864485850 @default.
- W2149179427 cites W1986463648 @default.
- W2149179427 cites W2018501701 @default.
- W2149179427 cites W2029601347 @default.
- W2149179427 cites W2033263591 @default.
- W2149179427 cites W2054739713 @default.
- W2149179427 cites W2092955140 @default.
- W2149179427 cites W2114658430 @default.
- W2149179427 cites W2118532220 @default.
- W2149179427 cites W2120635877 @default.
- W2149179427 cites W2140702817 @default.
- W2149179427 cites W2149179427 @default.
- W2149179427 cites W2152030873 @default.
- W2149179427 cites W2162109942 @default.
- W2149179427 cites W2163329643 @default.
- W2149179427 cites W2164264749 @default.
- W2149179427 cites W4244566738 @default.
- W2149179427 cites W4246310005 @default.
- W2149179427 cites W4248445118 @default.
- W2149179427 cites W4248492382 @default.
- W2149179427 cites W4250000334 @default.
- W2149179427 cites W4250753400 @default.
- W2149179427 cites W4256083753 @default.
- W2149179427 doi "https://doi.org/10.1109/dsn.2006.29" @default.
- W2149179427 hasPublicationYear "2006" @default.
- W2149179427 type Work @default.
- W2149179427 sameAs 2149179427 @default.
- W2149179427 citedByCount "53" @default.
- W2149179427 countsByYear W21491794272012 @default.
- W2149179427 countsByYear W21491794272013 @default.
- W2149179427 countsByYear W21491794272015 @default.
- W2149179427 countsByYear W21491794272017 @default.
- W2149179427 countsByYear W21491794272018 @default.
- W2149179427 countsByYear W21491794272020 @default.
- W2149179427 countsByYear W21491794272021 @default.
- W2149179427 crossrefType "proceedings-article" @default.
- W2149179427 hasAuthorship W2149179427A5047935291 @default.
- W2149179427 hasAuthorship W2149179427A5072847774 @default.
- W2149179427 hasConcept C105795698 @default.
- W2149179427 hasConcept C111919701 @default.
- W2149179427 hasConcept C115537543 @default.
- W2149179427 hasConcept C120314980 @default.
- W2149179427 hasConcept C12186640 @default.
- W2149179427 hasConcept C122377713 @default.
- W2149179427 hasConcept C133875982 @default.
- W2149179427 hasConcept C136085584 @default.
- W2149179427 hasConcept C141917322 @default.
- W2149179427 hasConcept C154945302 @default.
- W2149179427 hasConcept C173608175 @default.
- W2149179427 hasConcept C176649486 @default.
- W2149179427 hasConcept C185429906 @default.
- W2149179427 hasConcept C189783530 @default.
- W2149179427 hasConcept C2776436953 @default.
- W2149179427 hasConcept C31388003 @default.
- W2149179427 hasConcept C33923547 @default.
- W2149179427 hasConcept C37279795 @default.
- W2149179427 hasConcept C38556500 @default.
- W2149179427 hasConcept C39528615 @default.
- W2149179427 hasConcept C41008148 @default.
- W2149179427 hasConcept C51290061 @default.
- W2149179427 hasConcept C74426580 @default.
- W2149179427 hasConcept C82029504 @default.
- W2149179427 hasConcept C93361087 @default.
- W2149179427 hasConceptScore W2149179427C105795698 @default.
- W2149179427 hasConceptScore W2149179427C111919701 @default.
- W2149179427 hasConceptScore W2149179427C115537543 @default.
- W2149179427 hasConceptScore W2149179427C120314980 @default.
- W2149179427 hasConceptScore W2149179427C12186640 @default.
- W2149179427 hasConceptScore W2149179427C122377713 @default.
- W2149179427 hasConceptScore W2149179427C133875982 @default.
- W2149179427 hasConceptScore W2149179427C136085584 @default.
- W2149179427 hasConceptScore W2149179427C141917322 @default.
- W2149179427 hasConceptScore W2149179427C154945302 @default.
- W2149179427 hasConceptScore W2149179427C173608175 @default.
- W2149179427 hasConceptScore W2149179427C176649486 @default.
- W2149179427 hasConceptScore W2149179427C185429906 @default.
- W2149179427 hasConceptScore W2149179427C189783530 @default.
- W2149179427 hasConceptScore W2149179427C2776436953 @default.
- W2149179427 hasConceptScore W2149179427C31388003 @default.
- W2149179427 hasConceptScore W2149179427C33923547 @default.
- W2149179427 hasConceptScore W2149179427C37279795 @default.
- W2149179427 hasConceptScore W2149179427C38556500 @default.
- W2149179427 hasConceptScore W2149179427C39528615 @default.
- W2149179427 hasConceptScore W2149179427C41008148 @default.
- W2149179427 hasConceptScore W2149179427C51290061 @default.
- W2149179427 hasConceptScore W2149179427C74426580 @default.
- W2149179427 hasConceptScore W2149179427C82029504 @default.
- W2149179427 hasConceptScore W2149179427C93361087 @default.
- W2149179427 hasLocation W21491794271 @default.
- W2149179427 hasOpenAccess W2149179427 @default.
- W2149179427 hasPrimaryLocation W21491794271 @default.
- W2149179427 hasRelatedWork W118795575 @default.