v2.11.0 (5648)

Programme d'approfondissement - CSC_51071_EP : Structures de données distribuées, avec un focus sur les blockchains

Domaine > Informatique.

Descriptif

Objectifs:

Les systèmes de distributions sont composés de plusieurs unités de calcul, appelées processus, qui s'exécutent de manière simultanée et indépendante, sans aucun contrôle central. Des difficultés supplémentaires sont introduites par l'asynchronisme () et par connaissances locales limitées (). Les algorithmes répartis sont des algorithmes conçus pour s'exécuter dans ce contexte assez difficile. Ils dans un large éventail d'applications, dont les télécommunications, Internet, le système pair à pair, la technologie blockchain...

Ce cours vise à donner une introduction détailée au domaine des algorithmes répartis. Une série d'algorithmes significatifs sera présentée pour des systèmes de réseaux asynchroniques, avec un accent mis sur leurs preuves de correction. Les algorithmes seront analysés selon différentes mesures d'intérêt (par ex. complexités temporelles et spatiales, coûts de communication). Nous présenterons également quelques résultats "négatifs", c'est-à-dire des théorèmes impossibilités et bornes inférieures, car ils jouent un rôle utile pour le concepteur d'un système afin de déterminer quels problèmes peuvent être résolus et à quel coût.

 

 

Langue: Le support du cours est en anglais. Les cours peuvent être donnés en français ou en anglais, à la convenance des étudiants

Evaluation: Cours en laboratoire notés + examen final écrit

Pour les étudiants du diplôme M2 CPS - Système Cyber Physique

Vous devez avoir validé l'équation suivante : UE CSC_42021_EP

Pour les étudiants du diplôme M1 MPRI - Fondements de l'Informatique

Evaluation: Cours en laboratoire notés + examen final écrit

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme M1 CPS - Système Cyber Physique

Vos modalités d'acquisition :

Evaluation: Cours en laboratoire notés + examen final écrit

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 5 ECTS

Pour les étudiants du diplôme Programmes d'échange internationaux

Le rattrapage est autorisé (Note de rattrapage conservée)
    L'UE est acquise si note finale transposée >= C
    • Crédits ECTS acquis : 5 ECTS

    La note obtenue rentre dans le calcul de votre GPA.

    Pour les étudiants du diplôme Titre d’Ingénieur diplômé de l’École polytechnique

    Le rattrapage est autorisé (Note de rattrapage conservée)
      L'UE est acquise si note finale transposée >= C
      • Crédits ECTS acquis : 5 ECTS

      La note obtenue rentre dans le calcul de votre GPA.

      Pour les étudiants du diplôme M2 CPS - Système Cyber Physique

      Le rattrapage est autorisé (Note de rattrapage conservée)
        L'UE est acquise si Note finale >= 10
        • Crédits ECTS acquis : 5 ECTS

        Pour les étudiants du diplôme MScT-Cybersecurity

        Le rattrapage est autorisé (Note de rattrapage conservée)
          L'UE est acquise si note finale transposée >= C
          • Crédits ECTS acquis : 4 ECTS

          Pour les étudiants du diplôme M1 MPRI - Fondements de l'Informatique

          L'UE est acquise si Note finale >= 10
          • Crédits ECTS acquis : 5 ECTS

          Programme détaillé

          • Modélisation de systèmes de réseaux distribués
          • Algorithmes de vagues et de parcours
          • Election du responsable
          • Temps logique et global snapshots
          • Détection de propriétés stables
          • Synchornisateurs
          • Algorithmes de liaison inversée
          Veuillez patienter