Systèmes d'exploitation2014/15
Cet enseignement explique le fonctionnement des éléments fondamentaux d'un système d'exploitation moderne.
Infos
-
Résultats test écrit de Systèmes d'exploitation du 29 janvier 2016 et calendrier épreuves orales
Les résultats du test écrit de Systèmes d'exploitation du 29/1 et le calendrier des épreuves orales sont disponibles.
-
Lieu et heure du test écrit de Systèmes d'exploitation du 29 janvier 2016
Les test écrit de Systèmes d'exploitation du 29/1 aura lieu dans l'Aula Beta en Via Comelico à partir de 8:30.
-
Résultats test écrit de Systèmes d'exploitation du 24 septembre 2015 et calendrier épreuves orales
Les résultats du test écrit de Systèmes d'exploitation du 24/9 et le calendrier des épreuves orales sont disponibles.
Infos précédentes (21)
-
Lieu et heure du test écrit de Systèmes d'exploitation du 24 septembre 2015
Les test écrit de Systèmes d'exploitation du 24/9 aura lieu dans l'Aula Beta en Via Comelico à partir de 14:30.
-
Résultats test écrit de Systèmes d'exploitation du 9 septembre 2015 et calendrier épreuves orales
Les résultats du test écrit de Systèmes d'exploitation du 9/9 et le calendrier des épreuves orales sont disponibles.
-
Lieu et heure du test écrit de Systèmes d'exploitation du 9 septembre 2015
Les test écrit de Systèmes d'exploitation du 9/9 aura lieu dans l'Aula Beta en Via Comelico à partir de 8:30.
-
Résultats test écrit de Systèmes d'exploitation du 20 juillet 2015 et calendrier épreuves orales
Les résultats du test écrit de Systèmes d'exploitation du 20/7 et le calendrier des épreuves orales sont disponibles.
-
Lieu et heure du test écrit de Systèmes d'exploitation du 20 juillet 2015
Les test écrit de Systèmes d'exploitation du 20/7 aura lieu dans l'Aula Beta en Via Comelico à partir de 8:30.
-
Résultats test écrit de Systèmes d'exploitation du 7 juillet 2015 et calendrier épreuves orales
Les résultats du test écrit de Systèmes d'exploitation du 7/7 et le calendrier des épreuves orales sont disponibles.
-
Lieu et heure du test écrit de Systèmes d'exploitation du 7 juillet 2015
Les test écrit de Systèmes d'exploitation du 7/7 aura lieu dans l'Aula Beta en Via Comelico à partir de 8:30.
-
Calendrier des épreuves orales mis à jour
Le calendrier des épreuves orales a été mis à jour: les examens du 2/7 seront à partir de 9:30.
-
Résultats test écrit de Systèmes d'exploitation du 19 juin 2015 et calendrier épreuves orales
Les résultats du test écrit de Systèmes d'exploitation du 19/6 et le calendrier des épreuves orales sont disponibles.
-
Lieu et heure du test écrit de Systèmes d'exploitation du 19 juin 2015
Les test écrit de Systèmes d'exploitation du 19/6 aura lieu dans l'Aula Beta en Via Comelico à partir de 14:30.
-
Heures de bureau du 28 mai annulées
Les heures de bureau du 28 mai sont annulées. Les étudiants peuvent organiser un rendez-vous via e-mail.
-
Nouveau livre d'exercices de systèmes d'exploitation
Le livre Sistemi operativi – esercizi risolti e commentati. est disponible.
-
Heures de bureau du 2 avril annulées
Les heures de bureau du 2 avril sont annulées. Les étudiants peuvent organiser un rendez-vous via e-mail.
-
Interruption leçon de Systèmes d'exploitation
La leçon de Systèmes d'exploitation du 31 mars est annulée.
-
Heures de bureau du 12/3 modifiées
Les heures de bureau d'aujourd'hui commenceront à 16:00.
-
Heures de bureau pour le deuxième sémestre
Les heures de bureau pour le deuxième sémestre seront le jeudi à 14:30 dans le bureau du professeur, à partir du 5/3.
-
Enregistrements des leçons de Systèmes d'exploitation
L'enregistrement des leçons de systèmes d'exploitation sera disponible au site http://vc.di.unimi.it, en accedant avec les informations de connexion du courriel de l'Université.
-
Changement du calendrier pour l'enseignement de Systèmes d'exploitation
À partir du 3 Mars 2015 il y aura un changement des horaires des leçons de systèmes d'exploitation: lundi 10:30–12:30, aula V3; mardi 12:30–14:30, aula V3.
-
Heures de bureau annulées
Les heures de bureau regulières sont annulées jusqu'au prochaîn semestre. Les étudiants peuvent organiser un rendez-vous via e-mail.
-
Semestre pour l'enseignement de Systèmes d'exploitation
Les leçons de Systèmes d'exploitation commenceront dans le deuxième semestre.
-
Heures de bureau pour le premier sémestre
Les heures de bureau pour le premier sémestre seront le Mardi à 14:30 dans le bureau du professeur, à partir du 9/9.
Horaires du cours
Les cours auront lieu au secteur de Città studi, selon le calendrier suivant:
| Jour | Heure | Lieu |
|---|---|---|
| lundi | 10:30 - 12:30 | aula V3, via Venezian |
| mardi | 12:30 - 14:30 | aula V3, via Venezian |
Tout changement à l'horaire sera annoncé en classe et publié dans la section Infos de cette page. L'enregistrement des leçons est disponible au site http://vc.di.unimi.it, en accedant avec les informations de connexion du courriel de l'Université.
Heures de bureau
Sur rendez-vous, salle 5015 du Département d'Informatique.
Il est possible contacter l'enseignant par e-mail, en prenant soin de lire à l'avance le guide préparé par le professeur Sebastiano Vigna et précisant clairement dans le message le nom du cours et l'année scolaire. En particulier, les étudiants sont encouragés à toujours utiliser leur adresse académique (c'est à dire celui basée sur la domaine studenti.unimi.it) en signant avec nom et numéro d'identification et rappelant que le temps de réponse peut varier en fonction des engagements de l'enseignant.
Materiel bibliographique
L'enseignement fait princiaplement référence au livre: A. Silberschatz, P. B. Galvin, G. Gagne, Operating Systems Concepts, 9th Edition, International Student Version, Wiley, 2013 (ISBN 978-1-118-09375-7).
Les étudiants qui ne connaissent pas bien le language C peuvent faire référence au livre historique: B. W. Kernighan, D. M. Ritchie, The C Programming language, Prentice Hall, 1988 (ISBN 0-13-110362-8). Un livre plus détaillé est K. N. King, C Programming - A Modern Approach, second edition, W. W. Norton (ISBN 978-0-393-97950-3).
La programmation multi procés est explainée dans le livre adopté et dans l'article Delve into UNIX process creation.
Les sockets en language C sont explainées dan le howto Sockets tutorial.
Les étudiants peuvent s'exercer sur les problèmes à fin chaptires du livre conseillé, ou en lisant D. Malchiodi, Sistemi operativi -- esercizi risolti e commentati, 2015 (ISBN 978-88-91091-41-3)
Programme
Le programme fait référence aux arguments détaillés dans le calendrier des leçons, qui correspond au matériel du livre adopté dans les chapitres 1, 2 (en excluant le paragraphe 2.8), 3, 4 (paragraphes 4.1–4.4.1 et 4.6), 5 (paragraphes 5.1–5.7 et 5.9.4) 6 (ex excluant les paragraphes 6.6 et 6.7), 7, 8 (paragraphes 8.1–8.6.3), 9 (en excluant les paragraphes 9.7, 9.8, 9.9.3, 9.9.6 et 9.10), 10 (en excluant les paragraphes 10.6 et 10.8), 11 (en excluant les paragraphe 11.5) e 12 (jusqu'au paragraphe 12.5, inclus), plus le reste des documents indiqués entre le Materiel bibliographique.
Calendrier des leçons
| Leçon | Date | Sujet | Documents |
|---|---|---|---|
| L01 | 02/03/2015 | Éléments d'architecture des ordinateurs | |
| L02 | 03/03/2015 | Introduction au langage C | |
| L03 | 09/03/2015 | Introduction au langage C | |
| L04 | 10/03/2015 | Structures des systèmes d'exploitation | |
| L05 | 16/03/2015 | Processus simultanés | |
| L06 | 17/03/2015 | Processus simultanés | |
| L07 | 23/03/2015 | Processus simultanés | |
| L08 | 24/03/2015 | Mémoire partagée et tubes | |
| L09 | 30/03/2015 | Gestion du processeur | |
| L10 | 13/04/2015 | Gestion du processeur | |
| L11 | 14/04/2015 | Sockets | |
| L12 | 20/04/2015 | Thread | |
| L13 | 21/04/2015 | Synchronization | |
| L14 | 27/04/2015 | Sémaphores | |
| L15 | 28/04/2015 | Détecter et prévenir l'interblocage | |
| L16 | 04/05/2015 | Éviter et éliminer l'interblocage | |
| L17 | 05/05/2015 | Gestion de la mémoire et allocation contiguë de mémoire | |
| L18 | 11/05/2015 | Pagination | |
| L19 | 12/05/2015 | Segmentation. Mémoire virtuelle | |
| L20 | 18/05/2015 | Algorithmes de remplacement des pages | |
| L21 | 19/05/2015 | Mise en œuvre de la mémoire virtuelle | |
| L22 | 25/05/2015 | Systèmes de fichiers. Structure des répertoires et protection | |
| L23 | 26/05/2015 | Mise en œuvre du système de fichiers | |
| L24 | 08/06/2015 | Shell script |