Matches in SemOpenAlex for { <https://semopenalex.org/work/W588020183> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W588020183 abstract "The open world assumption makes the design of a type-and-effect system challenging, especially in concurrent object-oriented languages. The main problem is in the computation of the effects of a dynamically dispatched method invocation, because all possible dynamic types of its receiver are not known statically. Previous work proposes effect annotations that provide a static upper bound on the effects of a dynamically dispatched method, conservative enough to cover the effects of all methods which could possibly be executed upon its invocation. For two dynamically dispatched methods, a typical type-and-effect system may disallow concurrent execution of their invocations because their conservatively specified static effects conflict. However, such a conflict may not actually happen at runtime, depending on the dynamic types of their receivers. This work proposes open effects, a sound trust-but-verify type-and-effect system, to better enable concurrent execution of dynamically dispatched method invocations. If a programmer annotates the receiver of a certain method invocation as open, then the type system trusts the programmer and assigns an open effect to the method. The open effect is supposed, optimistically, not to conflict with other effects. Such optimistic assumptions are verified statically, if possible, or at runtime otherwise. Open effects is complementary to previously proposed static and dynamic effect analyses and combines them such that the accuracy of static analysis could help decrease the overhead of the dynamic analysis. Performance evaluations of an implementation of open effects, on various benchmarks, show that: open effects incurs negligible annotation and runtime overheads such that code with open effects does almost as well as its manually tuned concurrent version." @default.
- W588020183 created "2016-06-24" @default.
- W588020183 creator A5037785740 @default.
- W588020183 creator A5059626072 @default.
- W588020183 creator A5081524300 @default.
- W588020183 date "2013-01-01" @default.
- W588020183 modified "2023-09-27" @default.
- W588020183 title "Open Effects: Programmer-guided Effects for Open World Concurrent Programs" @default.
- W588020183 cites W1500987966 @default.
- W588020183 cites W1526771983 @default.
- W588020183 cites W1568983194 @default.
- W588020183 cites W1995288535 @default.
- W588020183 cites W2046137117 @default.
- W588020183 cites W2048921878 @default.
- W588020183 cites W2064556673 @default.
- W588020183 cites W2072162091 @default.
- W588020183 cites W2075871133 @default.
- W588020183 cites W2078197548 @default.
- W588020183 cites W2091089602 @default.
- W588020183 cites W2092911542 @default.
- W588020183 cites W2096403564 @default.
- W588020183 cites W2097304805 @default.
- W588020183 cites W2097717378 @default.
- W588020183 cites W2105486835 @default.
- W588020183 cites W2108153924 @default.
- W588020183 cites W2109875364 @default.
- W588020183 cites W2111946621 @default.
- W588020183 cites W2112281233 @default.
- W588020183 cites W2113401164 @default.
- W588020183 cites W2113751407 @default.
- W588020183 cites W2115313734 @default.
- W588020183 cites W2118002698 @default.
- W588020183 cites W2118134218 @default.
- W588020183 cites W2118373501 @default.
- W588020183 cites W2120476011 @default.
- W588020183 cites W2121696621 @default.
- W588020183 cites W2123930226 @default.
- W588020183 cites W2132500556 @default.
- W588020183 cites W2138527110 @default.
- W588020183 cites W2144160229 @default.
- W588020183 cites W2145087641 @default.
- W588020183 cites W2153174073 @default.
- W588020183 cites W2156428492 @default.
- W588020183 cites W2158308706 @default.
- W588020183 cites W2164726441 @default.
- W588020183 cites W2166615267 @default.
- W588020183 cites W2166822586 @default.
- W588020183 cites W2172064476 @default.
- W588020183 cites W2295118110 @default.
- W588020183 hasPublicationYear "2013" @default.
- W588020183 type Work @default.
- W588020183 sameAs 588020183 @default.
- W588020183 citedByCount "1" @default.
- W588020183 countsByYear W5880201832014 @default.
- W588020183 crossrefType "journal-article" @default.
- W588020183 hasAuthorship W588020183A5037785740 @default.
- W588020183 hasAuthorship W588020183A5059626072 @default.
- W588020183 hasAuthorship W588020183A5081524300 @default.
- W588020183 hasConcept C120314980 @default.
- W588020183 hasConcept C168065819 @default.
- W588020183 hasConcept C199360897 @default.
- W588020183 hasConcept C2778514511 @default.
- W588020183 hasConcept C2779960059 @default.
- W588020183 hasConcept C41008148 @default.
- W588020183 hasConcept C97686452 @default.
- W588020183 hasConceptScore W588020183C120314980 @default.
- W588020183 hasConceptScore W588020183C168065819 @default.
- W588020183 hasConceptScore W588020183C199360897 @default.
- W588020183 hasConceptScore W588020183C2778514511 @default.
- W588020183 hasConceptScore W588020183C2779960059 @default.
- W588020183 hasConceptScore W588020183C41008148 @default.
- W588020183 hasConceptScore W588020183C97686452 @default.
- W588020183 hasLocation W5880201831 @default.
- W588020183 hasOpenAccess W588020183 @default.
- W588020183 hasPrimaryLocation W5880201831 @default.
- W588020183 hasRelatedWork W104429650 @default.
- W588020183 hasRelatedWork W111437419 @default.
- W588020183 hasRelatedWork W188663888 @default.
- W588020183 hasRelatedWork W2149679016 @default.
- W588020183 hasRelatedWork W2157942139 @default.
- W588020183 hasRelatedWork W2165842861 @default.
- W588020183 hasRelatedWork W23699637 @default.
- W588020183 hasRelatedWork W2422465781 @default.
- W588020183 hasRelatedWork W2516440292 @default.
- W588020183 hasRelatedWork W2620782151 @default.
- W588020183 hasRelatedWork W2735309446 @default.
- W588020183 hasRelatedWork W3015614502 @default.
- W588020183 hasRelatedWork W3070996749 @default.
- W588020183 hasRelatedWork W3085024073 @default.
- W588020183 hasRelatedWork W3162587676 @default.
- W588020183 hasRelatedWork W2126925101 @default.
- W588020183 hasRelatedWork W2144457545 @default.
- W588020183 hasRelatedWork W2888713079 @default.
- W588020183 isParatext "false" @default.
- W588020183 isRetracted "false" @default.
- W588020183 magId "588020183" @default.
- W588020183 workType "article" @default.