eprintid: 2664
rev_number: 12
eprint_status: archive
userid: 67
dir: disk0/00/00/26/64
datestamp: 2015-05-04 15:19:39
lastmod: 2015-05-04 15:36:21
status_changed: 2015-05-04 15:19:39
type: conference_item
metadata_visibility: show
creators_name: Giachino, Elena
creators_name: Lanese, Ivan
creators_name: Mezzina, Claudio Antares
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: claudio.mezzina@imtlucca.it
creators_id: 
title: Causal-Consistent Reversibility in a Tuple-Based Language
ispublished: pub
subjects: QA75
subjects: T1
divisions: CSA
full_text_status: public
pres_type: paper
keywords: Reversebility; cloning; operational semantics; tuple spaces.
abstract: Causal-consistent reversibility is a natural way of undoing concurrent computations. We study causal-consistent reversibility in the context of µKlaim, a formal coordination language based on distributed tuple spaces. We consider both uncontrolled reversibility, suitable to study the basic properties of the reversibility mechanism, and controlled reversibility based on a rollback operator, more suitable for programming applications. The causality structure of the language, and thus the definition of its reversible semantics, differs from all the reversible languages in the literature because of its generative communication paradigm. In particular, the reversible behavior of µKlaim read primitive, reading a tuple without consuming it, cannot be matched using channel-based communication. We illustrate the reversible extensions of µKlaim on a simple, but realistic, application scenario.
date: 2015
date_type: published
publisher: IEEE
pagerange: 467-475
event_title: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015
event_location: Turku, Finland
event_dates: 4-6 March, 2015
event_type: conference
id_number: 10.1109/PDP.2015.98
refereed: TRUE
isbn: 978-1-4799-8491-6
book_title: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, {PDP} 2015
official_url: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7092671
citation:   Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco  Causal-Consistent Reversibility in a Tuple-Based Language.  In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475.  ISBN 978-1-4799-8491-6.      (2015)  
document_url: http://eprints.imtlucca.it/2664/1/pdp.pdf