INFO622 : Systèmes de synchronisation et Processus

• Responsable pour 2012--2013: Xavier Provençal
• Xavier Provençal (CM/TD/TP)

Ouvrage de référence

1. Andrew Tanenbaum, Systèmes d'exploitation

Documentation remise en classes

- Entêtes de fonctions POSIX (I) :
   fonctions_POSIX_1.pdf.

Déroulement (2012-2013)

CM1 : Introduction

- Banque virtuelle : exemple de condition de concurrence.
   programme ``banqueVirtuelle.c``.

- Exemple producteur/consommateur implémenté avec des variables de conditions et un mutex.
   Programme ``prodCons_cnd.c``.
- Exemple d'utilisation d'une barrière de synchronisation.
   Programme ``barriere.c``.

CM6 : Tubes

- Exemple d'utilisation d'un tube non-nommé entre processus père et fils.
   Programme ``tubeFork.c``.
- Exemnple d'utilisation d'un fifo entre deux processus non-apparentés.
   Programme ``fifoEcriture.c``.
   Programme ``fifoLecture.c``.

CM7 : Interblocages et famine

- Exemple de programme créant un interblocage.
   Programme ``banqueVirtuelle2.c``.

TD :

- TD1.
- TD2.
   - programme ``rsa.c``.
   - exemples de clés RSA valides au format ( n, d, e ) ``exCleRSA.txt``.
   - Solution question 1.
   - Solution question 2.
   - Solution question 3.
- TD3 - Programme ``poste.c``
   - Fichier ``makefile`` pour compiler ``poste.c``
- TD4.
- TD5.
- TD6.
- TD7.

TP :

- TP1 : Tri rapide en parallèle
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/tp1.pdf Énoncé du TP1.]
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/info622-tp1.tgz Archive contenant les sources nécessaires au TP1 ( format tgz ).]
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/info622-tp1.zip Archive contenant les sources nécessaires au TP1 ( format zip ).]
- TP2 : Tubes
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/tp2.tar Archive contenant les sources nécessaires au TP2.]
- TP3 : Simulation de physique
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/tp3.pdf Énonpcé du TP3.]
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/tp3_code.tar Sources nécessaires à la réalisation du TP3.]
  - [ http://lama.univ-savoie.fr/~provencal/INFO622/TP/tp3_donnees.tar Données pour exécuter le programme du TP3.]

-->