Parallélisme (INFO708_ISC)

Volume horaire

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

• Master Informatique (M1, M2)
• Cursus master en ingénierie : informatique