v2.11.0 (5648)

Programme d'approfondissement - INF571 : Calcul Distribué

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 Système Cyber Physique

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

Format des notes

Numérique sur 20

Littérale/grade réduit

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

Le rattrapage est autorisé (Note de rattrapage conservée)
    L'UE est acquise si note finale transposée >= C

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

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

      Pour les étudiants du diplôme M1 HPDA - High Performance Data Analytics

      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 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 M1 PDS - Parallel and Distributed Systems

          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 Cyber - 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 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 M2 PDS - Parallel and Distributed Systems

                Le rattrapage est autorisé (Note de rattrapage conservée)
                  L'UE est acquise si note finale transposée >= C

                    Pour les étudiants du diplôme M2 HPDA - High Performance Data Analytics

                    Le rattrapage est autorisé (Note de rattrapage conservée)
                      L'UE est acquise si note finale transposée >= C

                        Pour les étudiants du diplôme MScT-Cybersecurity : Threats and Defenses

                        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

                          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