On the behaviour of general purpose applications on cloud storages

Autores
Bocchi, Laura; Melgratti, Hernan Claudio
Año de publicación
2015
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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 instance, one can check that the composition of a process with a cloud store ensures `strong´ properties through a wise usage of asynchronous message-passing.
Fil: Bocchi, Laura. University Of Kent; Reino Unido
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Concurrencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/15799
Acceder
id CONICETDig_5a7068a94105846ab3f533132bc1a09d
oai_identifier_str oai:ri.conicet.gov.ar:11336/15799
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling On the behaviour of general purpose applications on cloud storagesBocchi, LauraMelgratti, Hernan ClaudioConcurrenciahttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Managing 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 instance, one can check that the composition of a process with a cloud store ensures `strong´ properties through a wise usage of asynchronous message-passing.Fil: Bocchi, Laura. University Of Kent; Reino UnidoFil: Melgratti, Hernan Claudio. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaSpringer London Ltd2015-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/15799Bocchi, Laura; Melgratti, Hernan Claudio; On the behaviour of general purpose applications on cloud storages; Springer London Ltd; Service Oriented Computing and Applications; 9; 3; 9-2015; 213-2271863-23861863-2394enginfo:eu-repo/semantics/altIdentifier/doi/10.1007/s11761-014-0165-7info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11761-014-0165-7info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-10-15T14:35:22Zoai:ri.conicet.gov.ar:11336/15799instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-10-15 14:35:22.494CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv On the behaviour of general purpose applications on cloud storages
title On the behaviour of general purpose applications on cloud storages
spellingShingle On the behaviour of general purpose applications on cloud storages
Bocchi, Laura
Concurrencia
title_short On the behaviour of general purpose applications on cloud storages
title_full On the behaviour of general purpose applications on cloud storages
title_fullStr On the behaviour of general purpose applications on cloud storages
title_full_unstemmed On the behaviour of general purpose applications on cloud storages
title_sort On the behaviour of general purpose applications on cloud storages
dc.creator.none.fl_str_mv Bocchi, Laura
Melgratti, Hernan Claudio
author Bocchi, Laura
author_facet Bocchi, Laura
Melgratti, Hernan Claudio
author_role author
author2 Melgratti, Hernan Claudio
author2_role author
dc.subject.none.fl_str_mv Concurrencia
topic Concurrencia
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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 instance, one can check that the composition of a process with a cloud store ensures `strong´ properties through a wise usage of asynchronous message-passing.
Fil: Bocchi, Laura. University Of Kent; Reino Unido
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description 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 instance, one can check that the composition of a process with a cloud store ensures `strong´ properties through a wise usage of asynchronous message-passing.
publishDate 2015
dc.date.none.fl_str_mv 2015-09
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/15799
Bocchi, Laura; Melgratti, Hernan Claudio; On the behaviour of general purpose applications on cloud storages; Springer London Ltd; Service Oriented Computing and Applications; 9; 3; 9-2015; 213-227
1863-2386
1863-2394
url http://hdl.handle.net/11336/15799
identifier_str_mv Bocchi, Laura; Melgratti, Hernan Claudio; On the behaviour of general purpose applications on cloud storages; Springer London Ltd; Service Oriented Computing and Applications; 9; 3; 9-2015; 213-227
1863-2386
1863-2394
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1007/s11761-014-0165-7
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11761-014-0165-7
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer London Ltd
publisher.none.fl_str_mv Springer London Ltd
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1846082812660154368
score 12.891075

Publicaciones similares