« INFO622 : Systèmes de synchronisation et Processus » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
Ligne 23 : Ligne 23 :
== Déroulement (2012-2013) ==
== Déroulement (2012-2013) ==


CM1 : Introduction à la multiprogrammation, condition de concurrence et section critique.
CM1 : Introduction
- Banque virtuelle : exemple de condition de concurrence.
- Banque virtuelle : exemple de condition de concurrence.
[http://lama.univ-savoie.fr/~provencal/INFO622/CM1/banqueVirtuelle.c programme ``banqueVirtuelle.c``.]
[http://lama.univ-savoie.fr/~provencal/INFO622/CM1/banqueVirtuelle.c programme ``banqueVirtuelle.c``.]



<!--
<!--
Ligne 74 : Ligne 75 :
-->
-->


TD :
TD1 :
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1.pdf TD1.]
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1.pdf TD1.]
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1-sol/q1a.c Solution question 1a)]
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1-sol/q1a.c Solution question 1a)]

Version du 17 janvier 2014 à 12:39

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 à la multiprogrammation, condition de concurrence et section critique.

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


TD1 :

- TD1.
   - Solution question 1a)
   - Solution question 2a)
   - Solution question 2b)
   - Solution question 3a)
   - Solution question 3d)
   - Solution question 3e)