Saison 2016/2017 Département INFormatique

Module CSC4509 : Algorithmique et communications des applications réparties

Informations générales

Prérequis

Les étudiants sont invités à vérifier qu'ils possèdent les compétences suivantes :

Objectifs du module

À l'issue du module, les étudiants seront capables, dans le cadre du développement d’une application répartie de petite taille, mais réaliste, et dont le cahier des charges est fourni, de :

  1. développer entièrement une application répartie avec TCP/IP en utilisant la bibliothèque JAVA NIO avec des communications en modes connecté et déconnecté, et en modes synchrone et asynchrone,
  2. lire, donner une exécution, et expliquer les preuves d'algorithmes répartis de base (élection, diffusion, exclusion mutuelle, interblocage et détection de terminaison),
  3. de mettre en œuvre les algorithmes étudiés par insertion dans l'application répartie développée dans le module et avec écriture de scénarios de tests simples (c.-à-d. sans utilisation de canevas logiciel d'émulation ou de simulation) pour vérifier les propriétés de correction et de progression.

Mode d'évaluation

Séquencement

  • Sujets Contenu
    Notions clés
  •  

     

     

    $Date: 2017-04-10 09:25:47 +0200 (lun. 10 avril 2017) $