Paper Info
Title
cJoin: Join with communicating transactions.
Abstract
This paper proposes a formal approach to the design and programming of long running transactions (LRTs). We exploit techniques from process calculi to define cJoin, which is an extension of the Join calculus with few well-disciplined primitives for LRT. Transactions in cJoin are intended to describe the transactional interaction of several partners, under the assumption that any partner executing a transaction may communicate only with other transactional partners. In such case, the transactions run by any party are bound to achieve the same outcome (i.e., all succeed or all fail). Hence, a distinguishing feature of cJoin, called dynamic joinability, is that ongoing transactions can be merged to complete their tasks and when this happens either all succeed or all abort. Additionally, cJoin is based on compensations i.e., partial executions of transactions are recovered by executing user-defined programs instead of providing automatic rollback. The expressiveness and generality of cJoin is demonstrated by many examples addressing common programming patterns. The mathematical foundation is accompanied by a prototype language implementation, which is an extension of the JoCaml compiler.
Year
DOI
Venue
2015
10.1017/S0960129512000928
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Field
DocType
Volume
Join-calculus,Discrete mathematics,Serializability,Computer science,Global serializability,Theoretical computer science,JoCaml,Distributed computing
Journal
25
Issue
ISSN
Citations 
3
0960-1295
2
PageRank 
References 
Authors
0.41
23
3
Name
Order
Citations
PageRank
Roberto Bruni1123880.58
Hernán C. Melgratti28213.49
Ugo Montanari362971135.53