Citation Context

...absence of failure suspicions) and may be committed in a considerably more efficient way, avoiding the costs of ABcast-based synchronization. By introducing the Weak Mutual Exclusion abstraction, see =-=[33]-=-, we have already provided a formal specification of the lease mechanism underlying the proposed approach. At this stage, the challenge is to design and implement pragmatical, highly efficient, Weak M...

Citation Context

...ral specialized programming languages (such as X10 or Fortress) already provide programmatic support for the DTM abstraction. In the context of Cloud computing, several recent NoSQL data-grids platforms expose transactional APIs and rely on in-memory storage of data to achieve higher performance and elasticity. The Distributed Systems Group at INESC-ID has started to perform research on DTMs in 2008. In that year, we have presented at the LADIS workshop a position exposing a number of research directions that we aimed at addressing[18]. Over the last 4 year we have published a number of papers[21], [20], [6], [19], [7], [3], [13], [5], [4], [22], [8], [16] based on prototypes that we have built to explore these research directions, in an attempt to better understand the advantages and limitations of the DTM paradigm. The current paper makes an overview of this research, highlighting the main findings and providing directions for future work. II. RESEARCH DIRECTIONS Our research has started to address the development of fully replicated DTMs offering serializability[2] and opacity[10]. We started by observing that, in DTM systems, transactions are typically must shorter than in other tr...

Citation Context

...08. In that year, we have presented at the LADIS workshop a position exposing a number of research directions that we aimed at addressing[18]. Over the last 4 year we have published a number of papers=-=[21]-=-, [20], [6], [19], [7], [3], [13], [5], [4], [22], [8], [16] based on prototypes that we have built to explore these research directions, in an attempt to better understand the advantages and limitati...