Direction de recherche : Marc SHAPIRO

Exploration de l'espace des solutions pour des transactions distribuées à haute disponibilité

Les services Cloud se doivent de fournir des réponses rapides et d’être toujours disponible. Chaque échec entraîne une diminution de l’engagement des utilisateurs, ce qui impacte les revenus. Le stockage du Cloud réplique les données à travers le monde. Une utilisatrice se connecte au réplica le plus proche et en cas de défaillance bascule vers un réplica opérationnel. Chaque site distribue les données sur un grand nombre de serveurs afin de gérer des charges au delà des capacités d’une seule machine. L’isolation transactionnelle cache la difficulté de cette répartition à la logique applicative, réduisant ainsi la complexité du développement. Cependant, appliquer l’isolation requiert des mécanismes qui affectent la latence et la disponibilité. Notre première contribution est Cure, un protocole transactionnel, qui assure des sémantiques de haut niveau compatibles avec la disponibilité: la cohérence causale transactionnelle (TCC) et des types de données convergents (CRDTs). Malgré des sémantiques plus fortes, Cure a prouvé être capable de monter autant en charge que des protocoles à cohérence faible. Notre seconde contribution est une étude des mécanismes d’isolation sans délais supplémentaires, comparé à un système non transactionnel. Dans cette partie, nous démontrons un compromis entre l’isolation, les latences, et la fraîcheur des lectures. Justifiés par les résultats de ce compromis, nous proposons deux propriétés d’isolation: TCC- et PSI-, et trois protocoles qui présentent une latence minimale et dont l’évaluation expérimentale valide les résultats théoriques.

Publications 2015-2018

• 2018
  • A. Tomsic : “Exploring the design space of highly-available transactions”, soutenance de thèse, soutenance 20/04/2018, direction de recherche Shapiro, Marc (2018)
  • Alejandro Z. Tomsic, M. Bravo, M. Shapiro : “Distributed transactional reads: the strong, the quick, the fresh & the impossible”, 2018 ACM/IFIP/USENIX International Middleware Conference, Proceedings of 2018 ACM/IFIP/USENIX International Middleware Conference, Rennes, France, pp. 14, (ACM) (2018)
• 2017
  • I. Toumlilt, A. Tomsic, M. Shapiro : “Vers une cohérence causale évolutive sans chaînes de ralentissements”, Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Nice Sophia-Antipolis, France (2017)
• 2016
  • D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, Int. Conf. on Distributed Computing Systems (ICDCS), Nara, Japan, pp. 405-414, (IEEE) (2016)
  • A. Tomsic, T. Crain, M. Shapiro : “PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation”, PaPoC 2016 - 2^nd Workshop on the Principles and Practice of Consistency for Distributed Data, London, United Kingdom, pp. 4, (ACM) (2016)
  • D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, (2016)
• 2015
  • Alejandro Z. Tomsic, P. Sens, J. Coelho Garcia, L. Arantes, J. Sopena : “2W-FD: A Failure Detector Algorithm with QoS”, IPDPS 2015 - The 29^th IEEE International Parallel and Distributed Processing Symposium, Hyderabad, India, pp. 885-893, (IEEE) (2015)
  • A. Tomsic, T. Crain, M. Shapiro : “An empirical perspective on causal consistency”, W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Bordeaux, France, pp. 2:1-2:3, (ACM) (2015)
  • Alejandro Z. Tomsic, T. Crain, M. Shapiro : “Scaling geo-replicated databases to the MEC environment”, W. on Planetary-Scale Distributed Systems, Montréal, Canada, pp. 74-79, (IEEE) (2015)