CSC 4509 – Algorithmique et communications des applications réparties

Portail informatique

Mise en œuvre des algorithmes répartis
Études des articles de recherche
Bibliographie
Annales
Contenu
- Séance 1
  
  Introduction
  
  Introduction au module et à JAVA NIO
  Mardi 9 mai
  Denis Conan puis Éric Lallet
  - Présentation du module : diapositives
  - Introduction à JAVA NIO : diapositives (version imprimable)
  - Manipulation de fichiers avec JAVA NIO : TP Manipulation de fichiers
  - Installer le devoir maison
  - Commencer la première étape du devoir maison
  - Buffers et channels de JAVA NIO
  - (optionnel) Buffer de type direct
  - (optionnel) Mapping de fichier en mémoire
- Séance 2
  
  JAVA NIO, comm. mode déconnecté
  
  JAVA NIO, communication en mode déconnecté
  Jeudi 11 mai
  Éric Lallet
  - Adressage TCP—UDP/IP et communication avec JAVA NIO : diapositives (version imprimable)
  - Présentation de la bibliothèque Log4j : diapositives (version imprimable)
  - Communication en mode « échange de messages » (datagram) : TP communication en mode datagram
  - Première partie des communications en mode connecté : TP flot de données versus datagram
  - Communication en mode datagram (service d'UDP)
  - Classe DatagramChannel de JAVA NIO
- Séance 3
  
  JAVA NIO, comm. mode connecté
  
  JAVA NIO, communication mode connecté
  Vendredi 12 mai
  Éric Lallet
  - Envoi d'information avec TCP : diapositives (version imprimable)
  - Interface fonctionelle et expression lambda : diapositives (version imprimable)
  - Seconde partie des communications en mode connecté : TP échange d'objets sérialisés en mode connecté
  - Communication en mode connecté (service de TCP)
  - Classes SocketChannel et ServerSocketChannel de JAVA NIO
  - Transmission d'objets sérialisés
- Séance 4
  
  JAVA NIO, asynchronisme
  
  JAVA NIO, sélecteurs, asynchronisme
  Mardi 16 mai
  Éric Lallet
  - Communications asynchrones avec JAVA NIO : diapositives ( version imprimable)
  - Classe Selector de JAVA NIO
  - TP sur la communication en mode asynchrone
  - Communications asynchrones avec la classe Selector de JAVA NIO
- Séance 5
  
  Algo. rép., introduction
  
  Algorithmique répartie, introduction
  Mercredi 17 mai
  Denis Conan
  - Exercices sur les algorithmes de calcul des dépendances causales et de vague Écho (section 1 du polycopié)
  - Modèle de système réparti, machine à états, synchrone versus asynchrone, type de défaillance
  - Convention d'écriture des algorithmes répartis
  - Ordre causal, horloge (scalaire, vectorielle, matricielle)
  - Algorithmes de calcul des dépendances causales
  - Algorithmes de vague et de traversée de graphe
- Séance 6
  
  JAVA NIO, asynchronisme
  
  JAVA NIO, asynchronisme (suite), multiclient, multithreading
  mardi 23 mai
  Éric Lallet
  - Utilisation des threads : diapositives version imprimable
  - TP sur la communication multiclient et multithread
  - Communication multiclient et processus multithreads
- Séance 7.1
  
  Algo. rép. élection
  
  Algorithmique répartie, élection
  Mercredi 24 mai
  Denis Conan
  - Exercice sur l'algorithme d'élection par vague Écho de Segall
  - Spécification de l'élection
  - Élection dans un anneau
  - Élection dans une topologie quelconque
- Séance 7.2
  
  Mise en œuvre
  
  Mise en œuvre des algorithmes réparties
  Mercredi 24 mai
  Denis Conan et Éric Lallet
  - Mise en œuvre — installations, création du projet
  - Mise en œuvre — étude de l'ossature de départ de l'application
  - Types paramétrés, inférence de type (diamond), type Joker
  - Classes anonymes, interfaces avec attributs
  - Idiomes: objets et collections non modifiables/immuables, intercepteur (p.ex. via default method d'interface)
  - Import static, bloc de code static
  - Types énumérés, constructeur, ordinal(), values()
  - Synchronisation, synchronized(ref)
- Séance 8
  
  Mise en œuvre
  
  Mise en œuvre des algorithmes répartis
  Jeudi 25 mai
  Denis Conan et Éric Lallet
  - Mise en œuvre : si ce n'est le cas, terminer l'étude de l'ossature de départ de l'application répartie
  - Mise en œuvre de l'élection
  - Scénarios et tests d'intégration avec retardement de transmissions de messages
- Réunion 1/3
  
  Réunion LA (1/3)
  
  Réunion Lecture Articles (1/3)
  Vendredi 26 mai
  - Première réunion avec les tuteurs
- Séance 9
  
  Mise en œuvre
  
  Mise en œuvre des algorithmes répartis
  Mardi 30 mai
  Denis Conan et Éric Lallet
  - Mise en œuvre de l'élection
  - Scénarios et tests d'intégration avec retardement de transmissions de messages
- Séance 10.1
  
  Algo. rép. diffusion
  
  Algorithmique répartie, diffusion
  Mercredi 31 mai
  Denis Conan
  - Exercice sur l'algorithme de diffusion causale de Birman et Joseph
  - Exercice sur les diffusions FIFO, causale et atomique
  - Spécifications des diffusions fiables, FIFO, causale et totale (atomique)
  - Algorithme de diffusion causale à base d'horloges vectorielles
- Séance 10.2
  
  Mise en œuvre
  
  Mise en œuvre des algorithmes répartis
  Mercredi 31 mai
  Denis Conan
  - Selon avancement,
    - mise en œuvre de l'élection
    - mise en œuvre de la diffusion causale
- TP noté
  
  TP noté
  
  TP noté
  Vendredi 2 juin
  Denis Conan et Éric Lallet
  - TP noté sur la partie programmation réseau
- Séance 11.1
  
  Algo. rép. exclusion mutuelle
  
  Algorithmique répartie, exclusion mutuelle
  Lundi 5 juin
  Denis Conan
  - Exercice sur l'algorithme à base de jeton de Ricart et Agrawala
  - Spécification de l'exclusion mutuelle
  - Algorithmes à base de permissions, structure informationnelle générique
  - Algorithmes à base de jeton
- Séance 11.2
  
  Mise en œuvre
  
  Mise en œuvre des algorithmes répartis
  Lundi 5 juin
  Denis Conan
  - Selon avancement,
    - mise en œuvre de la diffusion causale
    - mise en œuvre de l'exclusion mutuelle
- Séance 12
  
  Algo. rép. interblocage
  
  Algorithmique répartie, interblocage
  Mercredi 7 juin
  Denis Conan
  - Exercice sur la prévention de l'interblocage dans le modèle ET
  - Exercice sur la construction de coupures cohérentes pour la détection d'interblocage
  - Modèles d'interblocage ET, OU—ET
  - Condition de déblocage, définition de l'interblocage
  - Stratégie contre l'interblocage (prévention, évitement, et détection puis résolution)
  - Prévention dans le modèle ET avec les algorithmes de Rosenkrantz, Stearns et Lewis
  - Détection d'interblocage à base de construction de coupures cohérentes, algorithme de Chandy et Lamport
- Réunion 2/3
  
  Réunion LA (2/3)
  
  Réunion Lecture Articles (2/3)
  Jeudi 08 juin
  - Deuxième réunion avec les tuteurs
- Séance 13.1
  
  Algo. rép. terminaison
  
  Algorithmique répartie, détection de terminaison
  Vendredi 9 juin
  Denis Conan
  - Exercice sur l'algorithme de Dijkstra et Scholten
  - Spécification de la détection de terminaison, modèle d'interblocage OU, configuration terminale et finale, états actif et passif, algorithme de contrôle
  - Détection de terminaison par construction de coupure cohérente
  - Détection de terminaison par calcul du graphe d'exécution, algorithme de Dijkstra et Scholten pour un arbre d'exécution, de Shavit et Francez pour un graphe quelconque d'exécution, de Safra dans une topologie des processus en anneau
- Séance 13.2
  
  Mise en œuvre
  
  Mise en œuvre des algorithmes répartis
  Vendredi 9 juin
  Denis Conan
  - Selon avancement,
    - mise en œuvre de l'exclusion mutuelle
    - mise en œuvre de la détection de terminaison
- Réunion 3/3
  
  Réunion LA (3/3)
  
  Réunion Lecture Articles (3/3)
  Jeudi 15 juin
  - Troisième réunion avec les tuteurs
- Séances 14 et 15
  
  Séances 14 et 15
  
  Exposés — Articles de recherche
  Mardi 20 juin
  matin et après-midi
  Denis Conan
```
Agenda :
- 9h—9h45 : article 5, Total Order Broadcast and Multicast Algorithms: Taxonomy and Survey,
- 9h45—10h30 : article 1, Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments,
- 10h30—10h45 : pause
- 10h45—11h30 : article 2, The Failure Detector Abstraction,
- 11h30—12h15 : article 3, A Survey of Rollback-Recovery Protocols in Message-Passing Systems,
- 12h15—14h : pause
- 14h—14h45 : article 4, Group Communication Specifications: A Comprehensive Study,
- 14h45—15h30 : article 6, Consensus on Transaction Commit.
```
- HP
  
  Rendu final
  
  Rendu final
  Vendredi 23 juin
  - Rappel des consignes pour le rendu de la série des TP (code et rapport)
  - Déposer dans le dépôt Git de GitLab la mise en œuvre de la détection de terminaison avant le vendredi 23 juin à 23h55
Aide
- GitLab
- Git
- JAVA et Eclipse
- Maven

Trucs & astuces — Maven

Comment compiler et exécuter une (seule) classe de test ?

Pour compiler, mvn clean compile test-compile.
Pour exécuter mvn test -Dtest=paquetage.MaClasseDeTest.

Comment générer les fichiers `.project` et `.classpath` pour Eclipse ?

Avec la command mvn eclipse:clean eclipse:eclipse : greffon Eclipse de Maven, goals clean et eclipse.

Quelles sont les dépendances de mon projet ?

Les dépendances sont affichées par la commande mvn dependency:tree.

Où sont les informations/détails sur les tests en erreur ?

Tout d'abord, nous avons ajouté le greffon Surefire dans le fichier pom.xml pour exécuter les tests avec Junit. Ce greffon génère un rapport pour chaque exécution d'une classe de tests. Nous trouvons les informations sur l'exécution des tests dans le répertoire target/surefire-reports.

Sur ma distribution, maven ne trouve pas la commande javadoc. Comment corriger ce problème ?

Vérifiez que javadoc est bien présent sur votre machine avec la commande which javadoc. Notez la réponse à cette commande, qui est utilisée plus loin. Si la commande javadoc est bien présente, il faut changer la configuration de maven. Dans le fichier pom.xml dans la section <plugins> trouvez les lignes de configuration pour maven-surefire-plugin. Ajoutez entre les balises <congiration> la ligne suivante, en remplaçant « le chemin de javadoc » par le résultat de la commande which javadoc:
<javadocexecutable> le chemin de javadoc </javadocexecutable>

$Date: 2019-04-18 14:55:07 +0200 (jeu. 18 avril 2019) $