« 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 1 : | Ligne 1 : | ||
* Responsable pour |
* Responsable pour 2014--2015: [http://www.lama.univ-savoie.fr/~provencal Xavier Provençal] |
||
* Xavier Provençal (CM/TD/TP) |
* Intervenants : Xavier Provençal (CM/TD/TP), Afef Denguir-Draoui (TD/TP) |
||
| Ligne 12 : | Ligne 12 : | ||
- Entêtes de fonctions POSIX (I) : |
- Entêtes de fonctions POSIX (I) : |
||
[http://lama.univ-savoie.fr/~provencal/INFO622/fct_posix/fonctions_POSIX_1.pdf fonctions_POSIX_1.pdf.] |
[http://lama.univ-savoie.fr/~provencal/INFO622/fct_posix/fonctions_POSIX_1.pdf fonctions_POSIX_1.pdf.] |
||
<!-- - Entêtes de fonctions POSIX (II) : |
|||
[http://lama.univ-savoie.fr/~provencal/INFO622/fct_posix/fonctions_POSIX_2.pdf fonctions_POSIX_2.pdf.] |
[http://lama.univ-savoie.fr/~provencal/INFO622/fct_posix/fonctions_POSIX_2.pdf fonctions_POSIX_2.pdf.] |
||
- Entêtes de fonctions POSIX (III) : |
- Entêtes de fonctions POSIX (III) : |
||
| Ligne 35 : | Ligne 35 : | ||
[http://lama.univ-savoie.fr/~provencal/INFO622/TP/info622-tp3.tgz Fichiers sources du simulateur.] |
[http://lama.univ-savoie.fr/~provencal/INFO622/TP/info622-tp3.tgz Fichiers sources du simulateur.] |
||
--> |
|||
| ⚫ | |||
| ⚫ | |||
CM1 : Introduction à la multiprogrammation, condition de concurrence et section critique. |
CM1 : Introduction à la multiprogrammation, condition de concurrence et section critique. |
||
- 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``.] |
||
TD1 : |
TD1 : |
||
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1.pdf Énoncé du TD1 (effectuée en salle machine).] |
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1.pdf Énoncé du TD1 (effectuée en salle machine).] |
||
<!-- |
|||
- [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)] |
||
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1-sol/q2a.c Solution question 2a)] |
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD1-sol/q2a.c Solution question 2a)] |
||
| Ligne 121 : | Ligne 124 : | ||
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD6.pdf Énoncé du TD6.] |
- [http://lama.univ-savoie.fr/~provencal/INFO622/TD/TD6.pdf Énoncé du TD6.] |
||
--> |
|||
<!-- |
<!-- |
||
Version du 12 janvier 2015 à 09:30
- Responsable pour 2014--2015: Xavier Provençal
- Intervenants : Xavier Provençal (CM/TD/TP), Afef Denguir-Draoui (TD/TP)
Ouvrage de référence
- Andrew Tanenbaum, Systèmes d'exploitation. Principalement les chapitres 2 et 6.
Documentation remise en classes
- Entêtes de fonctions POSIX (I) : fonctions_POSIX_1.pdf.
Déroulement (2014-2015)
CM1 : Introduction à la multiprogrammation, condition de concurrence et section critique.
- Banque virtuelle : exemple de condition de concurrence. programme ``banqueVirtuelle.c``.
TD1 :
- Énoncé du TD1 (effectuée en salle machine).
Matériel supplémentaire
Notes de cours prises pas des étudiants :
Notes de cours d'étudiants