Présentation SCILLE 21/06/2023

JOLY Amaury (Laboratoire d’Informatique et Système, Scille)

Encadrants: Emmanuel GODARD, Corentin TRAVERS

Rappel des objectifs

Pour Scille

Lot 2 : Ajout à Parsec d’un outil d’édition collaborative.

Dans approche visant à maximiser les performances (latence et interactivité) et la résilience.

Pour le LIS

Produire de la recherche sur la cohérence faible en milieu byzantin.

La synthèse des deux

  1. Faire un état de l’art des solutions existantes.
    • Prendre des décisions sur les choix techniques à adopter.
  2. Produire de la recherche autour de ses solutions.
  3. Réaliser un produit innovant dans sa gestion de la cohérence.
    • Chercher une valeur ajoutée pour l’utilisateur.

Mon travail depuis avril

Quelques définitions

Quelques définitions

Systèmes répartis :
Système composé d’un ensemble d’acteur interconnecté réalisant une tâche commune.

Quelques définitions

Cohérence dans un système reparti:
Étude du comportement des données dans un système reparti d’un point de vue observateur.

Cohérence forte :
Comportement attendu dans le cas d’une exécution à un seul acteur.

Mon travail depuis avril

État de l’art

État de l’art

  • Cohérence dans les systèmes répartis.
    • Lamports (1970)
    • Perrin : Concurrence et Cohérence des Systèmes répartis (2017)

couverture \'Consistence et Cohérence des Systèmes réparties' M. Perrin

État de l’art

Un (très) rapide résumé

cartographie des critères de cohérences
  • Les critères de cohérences s’articulent autour de 3 propriétés élémentaires.
  • La conjonction des 3 représente le comportement d’un programme séquentiel.
  • Nous cherchons un compromis pour maximiser l’interactivité du produit

État de l’art

Un (très) rapide résumé

  • Inventaire des différentes solutions existantes.

    • Peu de littérature.
    • Pas de taxonomie consensuelle, travail de classification
  • Peu de réflexions sur les potentiels fautes byzantines induites par la (les ?) cohérences faibles.

La suite

La liste des tâches

Pour les mois à venir

Je vous propose une réunion en distanciel (~2h) pour :

  1. Vous présenter l’état de l’art.
  2. Placer le produit suivant ces contraintes.

Merci !