Bocchi, Laura, Melgratti, Hernán (2014) On the Behaviour of General Purpose Applications on Cloud Storage. Service Oriented Computing and Applications, 9 (3). pp. 213-227. ISSN 1863-2386. E-ISSN 1863-2394. (doi:10.1007/s11761-014-0165-7) (KAR id:43735)
PDF
Language: English |
|
Download this file (PDF/413kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: http://dx.doi.org/10.1007/s11761-014-0165-7 |
Abstract
Managing data over cloud infrastructures raises novel challenges with respect to existing and well studied approaches such as ACID and long running transactions. One of the main requirements is to provide availability and partition tolerance in a scenario with replicas and distributed control. This comes at the price of a weaker consistency, usually called eventual consistency. These weak memory models have proved to be suitable in a number of scenarios, such as the analysis of large data with map-reduce. However, due to the widespread availability of cloud infrastructures, weak storages are used not only by specialised applications but also by general purpose applications. We provide a formal approach, based on process calculi, to reason about the behaviour of programs that rely on cloud stores. For in- stance, it allows to check that the composition of a process with a cloud store ensures ‘strong’ properties through a wise usage of asynchronous message-passing; in this case we say that the process supports the consistency level provided by the cloud store. The proposed approach is compositional: the support of a consistency level is preserved by parallel com- position when the preorder used to compare process-store ensembles is the weak simulation.
Item Type: | Article |
---|---|
DOI/Identification number: | 10.1007/s11761-014-0165-7 |
Uncontrolled keywords: | Cloud; Weak stores; Eventual consistency; Process calculi; |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA299 Analysis, Calculus |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Laura Bocchi |
Date Deposited: | 05 Nov 2014 10:16 UTC |
Last Modified: | 09 Dec 2022 00:44 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/43735 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):