Team Regal

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Software


Participants : Marc Shapiro [ correspondent ] , Lamia Benmouffok, Jean-Michel Busca, Pierre Sutra, Georgios Tsoukalas, Pierpaolo Cincilla.

Developing write-sharing applications is challenging. Developers must deal with difficult problems such as managing distributed state, disconnection, and conflicts. Telex is an application-independent platform to ease development and to provide guarantees. Telex is guided by application-provided parameters: actions (operations) and constraints (concurrency control statements). Telex takes care of replication and persistence, drives application progress, and ensures that replicas eventually agree on a correct, common state. Telex supports partial replication, i.e., sites only receive operations they are interested in. The main data structure of Telex is a large, replicated, highly dynamic graph; we discuss the engineering trade-offs for such a graph and our solutions. Our novel agreement protocol runs Telex ensures, in the background, that replicas converge to a safe state. We conducted an experimental evaluation of the Telex based on a cooperative calendar application and on benchmarks.

This work is published at CFSE 2009 [21] . The code is freely available on under a BSD license.


Logo Inria