Systèmes concurrents

  • Aide
  • Recherche
  • RSS
  • Google +
  • Facebook
  • Twitter
UFR Sciences et techniques de Pau

Départements

Systèmes concurrents

Présentation

On étudie la synchronisation d'activités parallèles dans un modèle centralisé asynchrone. Ce modèle correspond, de manière pratique, aux applications parallèles s'exécutant sur une architecture à mémoire commune mono ou multiprocesseurs.

  • Architecture parallèle (définition, classification, exemples...).
  • Exclusion Mutuelle : Définition et propriétés ; Solutions matérielles : masquage d'interruptions, Instruction TAS ; Solutions logicielles : attente active, attente passive (verrou, sémaphores).
  • Synchronisation des processus : évènements, RDV ADA, Moniteurs de Hoare, objets protégés (ADA) 

Volume horaire

  • CM : 19.5
  • TD : 10.5
  • TP : 9

En bref

Crédits ECTS 4

Lieu(x)

  • Pau