Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135355961> ?p ?o ?g. }
- W2135355961 abstract "The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new natural partial order: time order. In multiprocessor systems with store atomicity, a time order restriction exists between two operations whose pending periods are disjoint: the former operation in time order must be observed by the latter operation. Based on the time order restriction, memory consistency verification is localized: for any operation, both inferring related orders and checking related cycles need to take into account only a bounded number of operations. Our method has been implemented in a memory consistency verification tool for CMP (chip multi processor), named LCHECK. The time complexity of the algorithm in LCHECK is O(C <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>p</sup> p <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sup> n <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sup> ) (where C is a constant, p is the number of processors and n is the number of operations) for soundly and completely checking, and O(p <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> n) for soundly but incompletely checking. LCHECK has been integrated into both pre and post silicon verification platforms of the Godson-3 microprocessor, and many bugs of memory consistency and cache coherence were found with the help of LCHECK." @default.
- W2135355961 created "2016-06-24" @default.
- W2135355961 creator A5000146423 @default.
- W2135355961 creator A5007464765 @default.
- W2135355961 creator A5020019844 @default.
- W2135355961 creator A5036492388 @default.
- W2135355961 creator A5078506027 @default.
- W2135355961 creator A5080211059 @default.
- W2135355961 date "2009-02-01" @default.
- W2135355961 modified "2023-09-26" @default.
- W2135355961 title "Fast complete memory consistency verification" @default.
- W2135355961 cites W1606518252 @default.
- W2135355961 cites W1694765325 @default.
- W2135355961 cites W1823635467 @default.
- W2135355961 cites W1975840504 @default.
- W2135355961 cites W1982125317 @default.
- W2135355961 cites W1986463648 @default.
- W2135355961 cites W2024255419 @default.
- W2135355961 cites W2034531215 @default.
- W2135355961 cites W2036306661 @default.
- W2135355961 cites W2051789131 @default.
- W2135355961 cites W2072547867 @default.
- W2135355961 cites W2072590314 @default.
- W2135355961 cites W2101939036 @default.
- W2135355961 cites W2105945277 @default.
- W2135355961 cites W2123239012 @default.
- W2135355961 cites W2128551356 @default.
- W2135355961 cites W2149179427 @default.
- W2135355961 cites W2151051752 @default.
- W2135355961 cites W2166422778 @default.
- W2135355961 cites W3137220996 @default.
- W2135355961 cites W3149658335 @default.
- W2135355961 cites W4230333905 @default.
- W2135355961 cites W4250000334 @default.
- W2135355961 doi "https://doi.org/10.1109/hpca.2009.4798276" @default.
- W2135355961 hasPublicationYear "2009" @default.
- W2135355961 type Work @default.
- W2135355961 sameAs 2135355961 @default.
- W2135355961 citedByCount "32" @default.
- W2135355961 countsByYear W21353559612012 @default.
- W2135355961 countsByYear W21353559612013 @default.
- W2135355961 countsByYear W21353559612014 @default.
- W2135355961 countsByYear W21353559612015 @default.
- W2135355961 countsByYear W21353559612016 @default.
- W2135355961 countsByYear W21353559612018 @default.
- W2135355961 countsByYear W21353559612019 @default.
- W2135355961 countsByYear W21353559612020 @default.
- W2135355961 countsByYear W21353559612021 @default.
- W2135355961 countsByYear W21353559612023 @default.
- W2135355961 crossrefType "proceedings-article" @default.
- W2135355961 hasAuthorship W2135355961A5000146423 @default.
- W2135355961 hasAuthorship W2135355961A5007464765 @default.
- W2135355961 hasAuthorship W2135355961A5020019844 @default.
- W2135355961 hasAuthorship W2135355961A5036492388 @default.
- W2135355961 hasAuthorship W2135355961A5078506027 @default.
- W2135355961 hasAuthorship W2135355961A5080211059 @default.
- W2135355961 hasConcept C10138342 @default.
- W2135355961 hasConcept C11413529 @default.
- W2135355961 hasConcept C115537543 @default.
- W2135355961 hasConcept C118615104 @default.
- W2135355961 hasConcept C141917322 @default.
- W2135355961 hasConcept C154945302 @default.
- W2135355961 hasConcept C162324750 @default.
- W2135355961 hasConcept C173608175 @default.
- W2135355961 hasConcept C182306322 @default.
- W2135355961 hasConcept C189783530 @default.
- W2135355961 hasConcept C199360897 @default.
- W2135355961 hasConcept C2776436953 @default.
- W2135355961 hasConcept C33923547 @default.
- W2135355961 hasConcept C37279795 @default.
- W2135355961 hasConcept C38556500 @default.
- W2135355961 hasConcept C41008148 @default.
- W2135355961 hasConcept C45340560 @default.
- W2135355961 hasConcept C77088390 @default.
- W2135355961 hasConcept C80444323 @default.
- W2135355961 hasConcept C82029504 @default.
- W2135355961 hasConcept C93361087 @default.
- W2135355961 hasConceptScore W2135355961C10138342 @default.
- W2135355961 hasConceptScore W2135355961C11413529 @default.
- W2135355961 hasConceptScore W2135355961C115537543 @default.
- W2135355961 hasConceptScore W2135355961C118615104 @default.
- W2135355961 hasConceptScore W2135355961C141917322 @default.
- W2135355961 hasConceptScore W2135355961C154945302 @default.
- W2135355961 hasConceptScore W2135355961C162324750 @default.
- W2135355961 hasConceptScore W2135355961C173608175 @default.
- W2135355961 hasConceptScore W2135355961C182306322 @default.
- W2135355961 hasConceptScore W2135355961C189783530 @default.
- W2135355961 hasConceptScore W2135355961C199360897 @default.
- W2135355961 hasConceptScore W2135355961C2776436953 @default.
- W2135355961 hasConceptScore W2135355961C33923547 @default.
- W2135355961 hasConceptScore W2135355961C37279795 @default.
- W2135355961 hasConceptScore W2135355961C38556500 @default.
- W2135355961 hasConceptScore W2135355961C41008148 @default.
- W2135355961 hasConceptScore W2135355961C45340560 @default.
- W2135355961 hasConceptScore W2135355961C77088390 @default.
- W2135355961 hasConceptScore W2135355961C80444323 @default.
- W2135355961 hasConceptScore W2135355961C82029504 @default.
- W2135355961 hasConceptScore W2135355961C93361087 @default.
- W2135355961 hasLocation W21353559611 @default.
- W2135355961 hasOpenAccess W2135355961 @default.