Parallélisme (INFO708_ISC)

Volume horaire

CM : 7,5h / TD : 10,5h / TP : 16h

Plan du cours

  • CM : Introduction : objectifs du parallélisme. Modèles précurseurs. Modèles à base de mémoire partagée : granularité, atomicité et indéterminisme. Modèles à base de mémoire répartie : topologie et propriétés temporelles des interactions, indéterminisme. Sémantique opérationnelle à base de système de transitions étiquetées. Introduction aux algèbres de processus. CCS et le pi-calcul : syntaxe, sémantique par systèmes de règles de réécriture conditionnelle.
  • TD & TP : Approfondissement des modèles sémantiques de CCS et du pi-calcul. Utilisation des deux algèbres dans la conception d’applications parallèles. Programmation avec des langages tels que Scala Pilib, JR ou Promela

Diplômes intégrant ce cours

En bref

Crédits ECTS : 3

Langue d'enseignement
Français

Contact(s)

UFR, Écoles, Instituts

Lieu(x)

  • Le Bourget-du-Lac (73)