Filters








94,588 Hits in 5.4 sec

Declarative programming over eventually consistent data stores

KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2015 SIGPLAN notices  
In this paper, we present QUELEA, a declarative programming model for eventually consistent data stores (ECDS), equipped with a contract language, capable of specifying fine-grained applicationlevel consistency  ...  Some commercial distributed data stores and several academic proposals provide a lattice of consistency levels, with stronger consistency guarantees incurring increased latency and throughput costs.  ...  Conclusions This paper presents QUELEA, a shallow Haskell extension for declarative programming over ECDS.  ... 
doi:10.1145/2813885.2737981 fatcat:n2uvbzmxjrhbhbkmmtke6qthmm

Declarative programming over eventually consistent data stores

KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
In this paper, we present QUELEA, a declarative programming model for eventually consistent data stores (ECDS), equipped with a contract language, capable of specifying fine-grained applicationlevel consistency  ...  Some commercial distributed data stores and several academic proposals provide a lattice of consistency levels, with stronger consistency guarantees incurring increased latency and throughput costs.  ...  Conclusions This paper presents QUELEA, a shallow Haskell extension for declarative programming over ECDS.  ... 
doi:10.1145/2737924.2737981 dblp:conf/pldi/Sivaramakrishnan15 fatcat:2qhjwzp2dzgh5bznrbolzutu4y

Inferring Formal Properties of Production Key-Value Stores [article]

Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan
2017 arXiv   pre-print
In this paper, we derive models and properties for two core distributed protocols used in eventually consistent production key-value stores such as Riak and Cassandra.  ...  Specifically, we model the read-repair and hinted-handoff recovery protocols as concurrent C programs, test them for conformance with real systems, and then verify that they guarantee eventual consistency  ...  [24] introduces a declarative programming model for eventually consistent data stores, that includes a contract language that can express fine-grained application level consistency properties.  ... 
arXiv:1712.10056v1 fatcat:7uhz7izpibfxbhphuayej5c5h4

Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation

Christopher Meiklejohn, Peter Van Roy
2015 2015 IEEE 34th Symposium on Reliable Distributed Systems Workshop (SRDSW)  
We present a new programming model for largescale mobile and "Internet of Things" style distributed applications.  ...  The model consists of two layers: a language layer based on the Lasp language with a runtime layer based on epidemic broadcast.  ...  This "single copy" is an abstraction over the consistency protocol used to maintain it; for example, it may be maintained with statemachine replication, quorum-based operations on a weakly consistent store  ... 
doi:10.1109/srdsw.2015.9 dblp:conf/srds/MeiklejohnR15 fatcat:cyw2iwm7xzbjhc7w6ookgeeg3a

Cloud Types for Eventual Consistency [chapter]

Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
2012 Lecture Notes in Computer Science  
Mobile devices commonly access shared data stored on a server.  ...  To make eventual consistency more programmable, we propose the use of specialized cloud data types.  ...  Overall, we make the following contributions: -We present a data model that directly integrates support for eventually consistent data into the programming language.  ... 
doi:10.1007/978-3-642-31057-7_14 fatcat:c47e6ejr2zavnjve3f5etcl6cm

MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems [article]

Tianqi Chen, Mu Li, Yutian Li, Min Lin, Naiyan Wang, Minjie Wang, Tianjun Xiao, Bing Xu, Chiyuan Zhang, Zheng Zhang
2015 arXiv   pre-print
Embedded in the host language, it blends declarative symbolic expression with imperative tensor computation. It offers auto differentiation to derive gradients.  ...  KVStore: Data Synchronization Over Devices The KVStore is a distributed key-value store for data synchronization over multiple devices.  ...  While Theano takes an declarative approach, Imperative Program Declarative Program Execute a = b+1 Eagerly compute and store the results on a as the same type with b.  ... 
arXiv:1512.01274v1 fatcat:fyupbuqit5gonnefjihykllcfq

On the Behaviour of General-Purpose Applications on Cloud Storages [chapter]

Laura Bocchi, Hernán Melgratti
2014 Lecture Notes in Computer Science  
This comes at the price of a weaker consistency, usually called eventual consistency.  ...  We provide a formal approach, based on process calculi, to reason about the behaviour of programs that rely on cloud stores.  ...  [5] proposes data types for ensuring eventually consistency over cloud systems.  ... 
doi:10.1007/978-3-319-08260-8_3 fatcat:duond2sggzbevot6lzzgbjuo6y

On the behaviour of general purpose applications on cloud storages

Laura Bocchi, Hernán Melgratti
2014 Service Oriented Computing and Applications  
This comes at the price of a weaker consistency, usually called eventual consistency.  ...  We provide a formal approach, based on process calculi, to reason about the behaviour of programs that rely on cloud stores.  ...  [5] proposes data types for ensuring eventually consistency over cloud systems.  ... 
doi:10.1007/s11761-014-0165-7 fatcat:dujp2cj2lfazfekxltx2vhz6xy

SCADS: Scale-Independent Storage for Social Computing Applications [article]

Michael Armbrust, David Patterson, Beth Trushkowsky (UC Berkeley), Jesse Trutna
2009 arXiv   pre-print
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data.  ...  We propose a new architecture, SCADS, that allows the developer to declaratively state application specific consistency requirements, takes advantage of utility computing to provide cost effective scale-up  ...  part by gifts from Sun Microsystems, Google, Microsoft, Cisco Systems, Hewlett-Packard, IBM, Network Appliance, Oracle, Siemens AB, and VMWare, and by matching funds from the State of California's MICRO program  ... 
arXiv:0909.1775v1 fatcat:hn6psupmofgjhi473qzqberxwu

Logic and lattices for distributed programming

Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, David Maier
2012 Proceedings of the Third ACM Symposium on Cloud Computing - SoCC '12  
Another approach was recently captured by the CALM theorem, which proves that logically monotonic programs are guaranteed to be eventually consistent.  ...  Finally, we use Bloom L to develop several practical distributed programs, including a key-value store similar to Amazon Dynamo, and show how Bloom L encourages the safe composition of small, easy-to-analyze  ...  Principled eventual consistency: Shapiro et al. recently proposed Conflict-free Replicated Data Types (CRDTs), a framework for designing eventually consistent data values [36, 37] .  ... 
doi:10.1145/2391229.2391230 dblp:conf/cloud/ConwayMAHM12 fatcat:4cjawmlrirbpnlitfh2mom4rqa

Consistency without borders

Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein
2013 Proceedings of the 4th annual Symposium on Cloud Computing - SOCC '13  
For practitioners, strong I/O consistency is often impractical at scale, while looser forms of I/O consistency are difficult to map to application-level concerns.  ...  Distributed consistency is a perennial research topic; in recent years it has become an urgent practical matter as well.  ...  For example, the CALM Theorem allows Blazes to prove that certain programs will be consistent over an eventually consistent I/O layer.  ... 
doi:10.1145/2523616.2523632 dblp:conf/cloud/AlvaroBCH13 fatcat:23p5mk46pzdw3l6tsiogcxzd54

Declarative Networking

Tom J. Ameloot
2014 SIGMOD record  
We discuss recent theoretical results on declarative networking, in particular regarding the topics of coordination, correctness, and declarative semantics.  ...  Another approach to eventual consistency consists of so-called commutative replicated data types, where messages represent commutative operations, that are thus resilient to unpredictable reorderings  ...  A Datalog program over a database schema is a set of rules over this schema.  ... 
doi:10.1145/2694413.2694415 fatcat:r72f5oqytfb7xnbaml4rzgrr7u

Edelweiss

Neil Conway, Peter Alvaro, Emily Andrews, Joseph M. Hellerstein
2014 Proceedings of the VLDB Endowment  
ELE sidesteps traditional challenges in distributed consistency, at the expense of introducing new challenges in designing space reclamation protocols to avoid consuming unbounded storage.  ...  Event Log Exchange (ELE) is a common programming pattern based on immutable state and messaging.  ...  Moreover, the clear data dependencies in a declarative language made our analysis code easy to write.  ... 
doi:10.14778/2732279.2732285 fatcat:r3iypge3kfa4jaomirspdyea2q

Towards an Effective Decision Procedure for LTL formulas with Constraints [article]

Marco Comini, Laura Titolo, Alicia Villanueva
2013 arXiv   pre-print
This paper presents an ongoing work that is part of a more wide-ranging project whose final scope is to define a method to validate LTL formulas w.r.t. a program written in the timed concurrent constraint  ...  Assume we need to check that the program in Example 1 satisfies that the constraint y = 1 is eventually entailed by the store.  ...  As the other languages of the ccp paradigm [17] , it is parametric w.r.t. a cylindric constraint system which handles the data information of the program in terms of constraints.  ... 
arXiv:1308.4171v1 fatcat:6felt3h6urbqzmfdnrc7ph3u6m

A Review of Data Synchronization and Consistency Frameworks for Mobile Cloud Applications

Yunus Parvej Faniband, Iskandar Ishak, Fatimah Sidi, Marzanah A.
2018 International Journal of Advanced Computer Science and Applications  
The paper is focused on client-centric data consistency and the offline data synchronization feature of various frameworks.  ...  The review paper has produced interesting results from the selected studies in areas such as data consistency, handling offline data, data replication, synchronization strategy.  ...  Banking systems require that data is always consistent over time and some social networks may tolerate stale data. C.  ... 
doi:10.14569/ijacsa.2018.091284 fatcat:lafgvg2v55fjvifd4ywkngt4ii
« Previous Showing results 1 — 15 out of 94,588 results