INF 411 A:

Duration: 21h

Organization

Scheduled activities

• C1 (1h30)   Introduction, Processus
• PC1 (1h30)   Exemples, problèmes de partage
• C2 (1h30)   Concurrence, atomicité, exclusion mutuelle
• PC2 (1h30)   Problème de partage de ressources
• STP1 (1h30)   Programmation d'un exemple
• C3 (1h30)   synchronisation, invariants
• STP2 (1h30)   Implantation d'un exemple
• C4 (1h30)   Propriétés : interblocage, sûreté, vivacité ...
• PC3 (1h30)   analyse de spécifications
• C5 (1h30)   Correspondance de modèles et vérification
• STP3 (1h30)   Gestion correspondance modèle - code
• STPP4 (1h30)   Gestion correspondance modèle - code
• C6 (1h30)   Ouverture vers les systèmes distribués
• STP5 (1h30)   Illustration d'un problème de distribution

Team

Educational resource

Transparents du cours
R. Rannou, "Java et le parallélisme", notes de cours, 71p, 1999
R. Rannou, "Parallélisme et concurrence. Outils, langages et mise en oeuvre", notes de cours, 132p, 1999

Recommended reading

Jeff Magee, Jeff Kramer, Concurrency: State Models & Java Programs, 2nd edition, Wiley Publishing 2006
M.L Liu, Distributed Computing -- Concepts and Application, Addison Wesley, 3rd Edition, 2003
Coulouris, Dollimore and Kindberg, Distributed Systems: Concepts and Design, Edition 3, © Addison-Wesley 2001