« 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 72 : Ligne 72 :
- Exemple de programme créant un interblocage.
- Exemple de programme créant un interblocage.
[http://lama.univ-savoie.fr/~provencal/INFO622/CM7/banqueVirtuelle2.c Programme ``banqueVirtuelle2.c``.]
[http://lama.univ-savoie.fr/~provencal/INFO622/CM7/banqueVirtuelle2.c Programme ``banqueVirtuelle2.c``.]
-->



TD :
TD :
- [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/TD2.pdf TD2.]
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD2.pdf TD2.]
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/rsa.c programme ``rsa.c``.]
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/rsa.c programme ``rsa.c``.]

Version du 14 janvier 2014 à 08:34

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``.


TD :

- TD1.