Systèmes Distribués

 

  1.  Introduction à la répartition, aux systèmes répartis et à la programmation d'applications réparties
  2. Expression des activités parallèles : processus et threads
  3. Modèles de parallélisme : synchrone, asynchrone
  4. Mécanismes de communication et de synchronisation
  5. variables partagées, envoi de messages
  6. verrou, sémaphore, moniteur, rendez-vous
  7. Exclusion mutuelle
  8. Allocation de ressources
  9. Schéma producteur-consommateur, lecteur-rédacteur, ...
  10. Eléments de spécification et de vérification
  11. Mise en oeuvre (UNIX et Java)