« INFO622 : Systèmes de synchronisation et Processus » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 54 : | Ligne 54 : | ||
CM5 : Variables de condition et barrières de synchronisation |
CM5 : Variables de condition et barrières de synchronisation |
||
- Exemple producteur/consommateur implémenté avec des sémaphores. |
|||
[http://lama.univ-savoie.fr/~provencal/INFO622/CM5/prodCons_sem.c Programme ``prodCons_sem.c``.] |
[http://lama.univ-savoie.fr/~provencal/INFO622/CM5/prodCons_sem.c Programme ``prodCons_sem.c``.] |
||
--> |
|||
- Exemple producteur/consommateur implémenté avec des variables de conditions et un mutex. |
- Exemple producteur/consommateur implémenté avec des variables de conditions et un mutex. |
||
[http://lama.univ-savoie.fr/~provencal/INFO622/CM5/prodCons_cnd.c Programme ``prodCons_cnd.c``.] |
[http://lama.univ-savoie.fr/~provencal/INFO622/CM5/prodCons_cnd.c Programme ``prodCons_cnd.c``.] |
||
Version du 13 janvier 2014 à 07:58
- Responsable pour 2012--2013: Xavier Provençal
- Xavier Provençal (CM/TD/TP)
Ouvrage de référence
- 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``.