• TD1 - Ordonnancement des processus
• TD2 - Sommeil et réveil des processus
• TD3 - Mémoire virtuelle
• TD4 - Systèmes de fichiers et les fichiers pour la 1ère partie
• TD5 - Module noyau et fichiers spéciaux et les fichiers associés

Transparents du cours

Les transparents sont disponibles:

• en pleine page (pour visualiser sur ordinateur);
• en 4 par page avec de la marge (pour imprimer et prendre des notes);
• en 8 par page (pour imprimer sans prendre de notes).

Attention, il s'agit uniquement de notes de cours, pas d'un polycopié complet.

Programme du cours

• Introduction
• Disgression: le boot d'une machine
• Concepts généraux des OS
• Processus et exécution
• Gestion mémoire
• Concurrence et synchronisation
• Gestion du temps
• Systèmes des fichiers
• Entrées-sorties
• Virtualisation

Bibliographie

• Livres
  • Systèmes d'exploitation - A. Tanenbaum - Pearson Education
  • Principes des systèmes d'exploitation - A. Silberschatz et P. Gavin - Vuibert
  • Operating Systems - W. Stallings - Prentice Hall
  • Conception de Systèmes d'Exploitation : Le cas Linux - P. Cegielski - Eyrolles
  • Le noyau Linux - D. Bovet et M. Cesati - O'Reilly
  • Linux pilotes de périphériques - J. Corbet et A. Rubini - O'Reilly - Disponible en anglais ici.
• Liens illustrant le cours
  • Les arbres généalogiques des systèmes d'exploitation: les Unix, en version simplifiée ou toutes les versions de tous systèmes.
  • Interactive map of Linux kernel
  • L'histoire de Linux sur Wikipédia, avec l'annonce officielle de Linux 0.01 en 1991.
  • Pour alimenter le troll entre noyau monolithique et micronoyau, un papier de Christoph Lameter à propos de l'(in)applicabilité des idées des micronoyaux aux environnements très haute performance.
  • Les translators de The GNU Hurd
  • Fonctionnement d'un appel-système dans Linux:
    • La fonction interne chown de la glibc 2.2
    • La macro INLINE_SYSCALL qui effectue l'appel-système (pas avec sysenter car le code est imbittable) après que ASMFMT ait mis les paramètres dans les registres
    • le traitant bas-niveau multiplexant les différents appels-système dans Linux 2.4
    • La table des appels-système
    • La routine implémentant l'appel-système demandé
    • Article 1 et Article 2 de LWN avec plein de détails en juillet 2014
    • Article LWN sur les syscalls virtuels
  • Changement de contexte dans Linux:
    • La fonction schedule() de Linux 2.4 qui décide de passer la main à un autre processus
    • switch_mm() qui change le contexte mémoire
    • switch_to() qui change le contexte d'exécution réel
  • Défauts de pages de Linux:
    • La fonction do_page_fault() de Linux 2.4 pour architecture i386
    • La fonction générique handle_pte_fault() de Linux 2.4
  • Entrées-sorties réseau dans Linux:
    • Memory Mapped I/O à l'initialisation du driver myri10ge dans myri10ge_probe()
    • Port I/O à l'initialisation du driver 8139too dans rtl8139_init_board()
    • Démarrage de la carte dans le driver 8139too dans rtl8139_open()
    • Envoi d'un packet dans le driver 8139too dans rtl8139_start_xmit()
    • Traitant d'interruptions du driver 8139too dans rtl8139_interrupt()
    • Réception d'un packet dans le driver 8139too dans rtl8139_rx_interrupt()
• Linux
  • La page noyau des Linux Weekly News
  • Le site Linux Kernel Newbies
  • LXR pour parcourir le code de Linux en hypertexte
  • L'algorithme de remplacement de pages dans les Linux récents