INF 411 A:

Presentation

Parallel activity allows numerous phenomena to be modelled in computer systems.
Concurrent programming allows these activities to be described in a mono processor framework. The different notions linked to concurrence are shown up and resolution tools are proposed.
Distribution enables larger systems to be processed, but adds further problems and requires complementary notions to tackle them and present solutions.
This module proposes to present theoretical notions through demonstrative examples.

Prerequisites

Sequential Programming
Java language

Objectives

This module makes you aware of concurrent programming and distribution. Skills acquired at the end are:
- ability to explain the basic notions of parallelism and concurrent and distributed systems
- ability to program a concurrent application by setting up a method based on the invariants
- ability to propose methods of verification of the properties of concurrent and distributed applications.

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