Systèmes d'Exploitation Avancés (Stream O6)

Coordinateur

Stéphane Lavirotte

Intervenants (2006-2007)

• Gérald Garcia (Alcatel Space)
• Alain Giulieri (Université Côte d'Azurli>
• Stéphane Lavirotte (Université Côte d'Azur)
• Patrick Pollet (CSTB)
• Jean-Yves Tigli (Université Côte d'Azur)

Objectif

Ce cours fait suite au cours intitulé "Introduction aux systèmes et réseaux" où l'on s'était attaché à utiliser les différents appels systèmes définis par la norme POSIX.

Le but du cours "Systèmes d'Exploitation Avancés" (Stream O6) est de présenter le fonctionnement interne d'un système d'exploitation de type Unix. Pour rendre les choses plus concrètes et à fin de faire la part belle à l'expérimentation pratique, nous utiliserons principalement le système Linux (une variante d'Unix dont les sources sont libres et très largement diffusés sur Internet). D'autre part, ce cours propose aussi une introduction aux systèmes temps réels avec l'utilisation de RTLinux.

Présentation

Le cours, sur 15 semaines, est divisé en plusieurs parties:

• Architecture des Systèmes d'Exploitation (7 semaines)
  • Stéphane Lavirotte
• Linux Temps Réel
  • Unix et le temps réel (2 semaines)
    • Jean-Yves Tigli
  • RTLinux (5 semaines)
    • Patrick Pollet (CSTB)
  • Temps réel dans le spatial (1 semaine)
    • Gérald Garcia (Alcatel Space)

Programme détaillé

• Architecture des Systèmes d'Exploitation
  • Présentation générale:
    • Rôle du système d'exploitation
    • Structure générale du système Linux
    • Organisation du noyau
  • Processus:
    • Notions de base
    • Ordonnancement
    • Clonage
  • Le système de fichiers
    • Organisation des fichiers
    • I-noeuds
    • Verrouillage de fichiers
    • Système virtuel de fichiers
  • Gestion de la mémoire
    • Allocation mémoire
    • Espace d'adressage des processus
    • Fichier de "swap"
  • Signaux
    • Emission d'un signal
    • Détournement des signaux
    • Implémentation des signaux (envoie / réception / blocage / détournement)
  • Gestion de périphériques
    • Principes
    • Périphériques en mode bloc / Périphériques en mode caractère
  • Modules chargeables
    • Principes
    • Exemples de modules chargeables
• Linux Temps Réel