Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242922013> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4242922013 endingPage "342" @default.
- W4242922013 startingPage "329" @default.
- W4242922013 abstract "Recent advances in verification have made it possible to envision trusted implementations of real-world languages. Java with its type-safety and fully specified semantics would appear to be an ideal candidate; yet, the complexity of the translation steps used in production virtual machines have made it a challenging target for verifying compiler technology. One of Java's key innovations, its memory model, poses significant obstacles to such an endeavor. The Java Memory Model is an ambitious attempt at specifying the behavior of multithreaded programs in a portable, hardware agnostic, way. While experts have an intuitive grasp of the properties that the model should enjoy, the specification is complex and not well-suited for integration within a verifying compiler infrastructure. Moreover, the specification is given in an axiomatic style that is distant from the intuitive reordering-based reasonings traditionally used to justify or rule out behaviors, and ill suited to the kind of operational reasoning one would expect to employ in a compiler. This paper takes a step back, and introduces a Buffered Memory Model (BMM) for Java. We choose a pragmatic point in the design space sacrificing generality in favor of a model that is fully characterized in terms of the reorderings it allows, amenable to formal reasoning, and which can be efficiently applied to a specific hardware family, namely x86 multiprocessors. Although the BMM restricts the reorderings compilers are allowed to perform, it serves as the key enabling device to achieving a verification pathway from bytecode to machine instructions. Despite its restrictions, we show that it is backwards compatible with the Java Memory Model and that it does not cripple performance on TSO architectures." @default.
- W4242922013 created "2022-05-12" @default.
- W4242922013 creator A5002005076 @default.
- W4242922013 creator A5018995578 @default.
- W4242922013 creator A5034957233 @default.
- W4242922013 creator A5046752375 @default.
- W4242922013 creator A5084307280 @default.
- W4242922013 creator A5088318447 @default.
- W4242922013 date "2013-01-23" @default.
- W4242922013 modified "2023-10-17" @default.
- W4242922013 title "Plan B" @default.
- W4242922013 cites W1482397304 @default.
- W4242922013 cites W1498264241 @default.
- W4242922013 cites W1525350307 @default.
- W4242922013 cites W1541537810 @default.
- W4242922013 cites W1595974273 @default.
- W4242922013 cites W1808398105 @default.
- W4242922013 cites W1995825057 @default.
- W4242922013 cites W2029601347 @default.
- W4242922013 cites W2052735108 @default.
- W4242922013 cites W2079610913 @default.
- W4242922013 cites W2085773946 @default.
- W4242922013 cites W2091085450 @default.
- W4242922013 cites W2098643127 @default.
- W4242922013 cites W2104245532 @default.
- W4242922013 cites W2131040110 @default.
- W4242922013 cites W2148662736 @default.
- W4242922013 cites W2165365531 @default.
- W4242922013 cites W2169753096 @default.
- W4242922013 cites W3137220996 @default.
- W4242922013 cites W4229558017 @default.
- W4242922013 cites W4240322740 @default.
- W4242922013 cites W4246957455 @default.
- W4242922013 cites W4247648759 @default.
- W4242922013 cites W4251987281 @default.
- W4242922013 cites W64027241 @default.
- W4242922013 doi "https://doi.org/10.1145/2480359.2429110" @default.
- W4242922013 hasPublicationYear "2013" @default.
- W4242922013 type Work @default.
- W4242922013 citedByCount "4" @default.
- W4242922013 countsByYear W42429220132014 @default.
- W4242922013 countsByYear W42429220132017 @default.
- W4242922013 countsByYear W42429220132018 @default.
- W4242922013 countsByYear W42429220132021 @default.
- W4242922013 crossrefType "journal-article" @default.
- W4242922013 hasAuthorship W4242922013A5002005076 @default.
- W4242922013 hasAuthorship W4242922013A5018995578 @default.
- W4242922013 hasAuthorship W4242922013A5034957233 @default.
- W4242922013 hasAuthorship W4242922013A5046752375 @default.
- W4242922013 hasAuthorship W4242922013A5084307280 @default.
- W4242922013 hasAuthorship W4242922013A5088318447 @default.
- W4242922013 hasConcept C111919701 @default.
- W4242922013 hasConcept C12186640 @default.
- W4242922013 hasConcept C133875982 @default.
- W4242922013 hasConcept C15744967 @default.
- W4242922013 hasConcept C169590947 @default.
- W4242922013 hasConcept C199360897 @default.
- W4242922013 hasConcept C26517878 @default.
- W4242922013 hasConcept C2780767217 @default.
- W4242922013 hasConcept C41008148 @default.
- W4242922013 hasConcept C542102704 @default.
- W4242922013 hasConcept C548217200 @default.
- W4242922013 hasConceptScore W4242922013C111919701 @default.
- W4242922013 hasConceptScore W4242922013C12186640 @default.
- W4242922013 hasConceptScore W4242922013C133875982 @default.
- W4242922013 hasConceptScore W4242922013C15744967 @default.
- W4242922013 hasConceptScore W4242922013C169590947 @default.
- W4242922013 hasConceptScore W4242922013C199360897 @default.
- W4242922013 hasConceptScore W4242922013C26517878 @default.
- W4242922013 hasConceptScore W4242922013C2780767217 @default.
- W4242922013 hasConceptScore W4242922013C41008148 @default.
- W4242922013 hasConceptScore W4242922013C542102704 @default.
- W4242922013 hasConceptScore W4242922013C548217200 @default.
- W4242922013 hasIssue "1" @default.
- W4242922013 hasLocation W42429220131 @default.
- W4242922013 hasOpenAccess W4242922013 @default.
- W4242922013 hasPrimaryLocation W42429220131 @default.
- W4242922013 hasRelatedWork W1497385637 @default.
- W4242922013 hasRelatedWork W1498982577 @default.
- W4242922013 hasRelatedWork W1512248002 @default.
- W4242922013 hasRelatedWork W2004605222 @default.
- W4242922013 hasRelatedWork W2044422526 @default.
- W4242922013 hasRelatedWork W2086733238 @default.
- W4242922013 hasRelatedWork W2192862863 @default.
- W4242922013 hasRelatedWork W2369288331 @default.
- W4242922013 hasRelatedWork W2519339279 @default.
- W4242922013 hasRelatedWork W2467097043 @default.
- W4242922013 hasVolume "48" @default.
- W4242922013 isParatext "false" @default.
- W4242922013 isRetracted "false" @default.
- W4242922013 workType "article" @default.