Matches in SemOpenAlex for { <https://semopenalex.org/work/W2250656952> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2250656952 abstract "A functional programming discipline, combined with abstractions like Concurrent ML (CML)'s first-class synchronous events, offers an attractive programming model for concurrency. In high-latency distributed environments, like the cloud, however, the high communication latencies incurred by synchronous communication can compromise performance. While switching to an explicitly asynchronous communication model may reclaim some of these costs, program structure and understanding also becomes more complex. To ease the challenge of migrating concurrent applications to distributed cloud environments, we have built an extension of the MultiMLton compiler and runtime that implements CML communication asynchronously, but guarantees that the resulting execution is faithful to the synchronous semantics of CML. We formalize the conditions under which this equivalence holds, and present an implementation that builds a decentralized dependence graph whose structure can be used to check the integrity of an execution with respect to this equivalence. We integrate a notion of speculation to allow ill-formed executions to be rolled-back and re-executed, replacing offending asynchronous actions with safe synchronous ones. Several realistic case studies deployed on the Amazon EC2 cloud infrastructure demonstrate the utility of our approach." @default.
- W2250656952 created "2016-06-24" @default.
- W2250656952 creator A5010633349 @default.
- W2250656952 creator A5027309456 @default.
- W2250656952 creator A5034957233 @default.
- W2250656952 date "2014-01-01" @default.
- W2250656952 modified "2023-10-17" @default.
- W2250656952 title "℞CML: A Prescription for Safely Relaxing Synchrony" @default.
- W2250656952 cites W1880046686 @default.
- W2250656952 cites W1989814541 @default.
- W2250656952 cites W1998104598 @default.
- W2250656952 cites W1999202438 @default.
- W2250656952 cites W2023074252 @default.
- W2250656952 cites W2039852615 @default.
- W2250656952 cites W2083089270 @default.
- W2250656952 cites W2085773946 @default.
- W2250656952 cites W2100970777 @default.
- W2250656952 cites W2118153508 @default.
- W2250656952 cites W2121178808 @default.
- W2250656952 cites W2129991479 @default.
- W2250656952 cites W2148481016 @default.
- W2250656952 cites W3211945272 @default.
- W2250656952 cites W4229558017 @default.
- W2250656952 cites W4240975960 @default.
- W2250656952 cites W4242922013 @default.
- W2250656952 cites W4250303599 @default.
- W2250656952 cites W4252906490 @default.
- W2250656952 doi "https://doi.org/10.1007/978-3-319-04132-2_1" @default.
- W2250656952 hasPublicationYear "2014" @default.
- W2250656952 type Work @default.
- W2250656952 sameAs 2250656952 @default.
- W2250656952 citedByCount "0" @default.
- W2250656952 crossrefType "book-chapter" @default.
- W2250656952 hasAuthorship W2250656952A5010633349 @default.
- W2250656952 hasAuthorship W2250656952A5027309456 @default.
- W2250656952 hasAuthorship W2250656952A5034957233 @default.
- W2250656952 hasConcept C111919701 @default.
- W2250656952 hasConcept C120314980 @default.
- W2250656952 hasConcept C151319957 @default.
- W2250656952 hasConcept C169590947 @default.
- W2250656952 hasConcept C193702766 @default.
- W2250656952 hasConcept C199360897 @default.
- W2250656952 hasConcept C31258907 @default.
- W2250656952 hasConcept C41008148 @default.
- W2250656952 hasConcept C79974875 @default.
- W2250656952 hasConceptScore W2250656952C111919701 @default.
- W2250656952 hasConceptScore W2250656952C120314980 @default.
- W2250656952 hasConceptScore W2250656952C151319957 @default.
- W2250656952 hasConceptScore W2250656952C169590947 @default.
- W2250656952 hasConceptScore W2250656952C193702766 @default.
- W2250656952 hasConceptScore W2250656952C199360897 @default.
- W2250656952 hasConceptScore W2250656952C31258907 @default.
- W2250656952 hasConceptScore W2250656952C41008148 @default.
- W2250656952 hasConceptScore W2250656952C79974875 @default.
- W2250656952 hasLocation W22506569521 @default.
- W2250656952 hasOpenAccess W2250656952 @default.
- W2250656952 hasPrimaryLocation W22506569521 @default.
- W2250656952 hasRelatedWork W106799128 @default.
- W2250656952 hasRelatedWork W121848901 @default.
- W2250656952 hasRelatedWork W1523975487 @default.
- W2250656952 hasRelatedWork W1527777102 @default.
- W2250656952 hasRelatedWork W1963506672 @default.
- W2250656952 hasRelatedWork W1998104598 @default.
- W2250656952 hasRelatedWork W2067448188 @default.
- W2250656952 hasRelatedWork W2108204150 @default.
- W2250656952 hasRelatedWork W2118134218 @default.
- W2250656952 hasRelatedWork W2136449057 @default.
- W2250656952 hasRelatedWork W2162257946 @default.
- W2250656952 hasRelatedWork W2242006796 @default.
- W2250656952 hasRelatedWork W2622972989 @default.
- W2250656952 hasRelatedWork W2883438257 @default.
- W2250656952 hasRelatedWork W2930947422 @default.
- W2250656952 hasRelatedWork W2955144968 @default.
- W2250656952 hasRelatedWork W2993664651 @default.
- W2250656952 hasRelatedWork W3007366395 @default.
- W2250656952 hasRelatedWork W3047465835 @default.
- W2250656952 hasRelatedWork W3182482637 @default.
- W2250656952 isParatext "false" @default.
- W2250656952 isRetracted "false" @default.
- W2250656952 magId "2250656952" @default.
- W2250656952 workType "book-chapter" @default.