email Admissions
en
Menu
email

Operating System Kernels

Teaching goals

Les compétences acquises lors de ce cours sont doubles. D’une part, les étudiant seront aptes à comprendre et utiliser les appels systèmes Linux (synchronisation, processus, partage de segments mémoire). D’autre part, ils seront aptes à comprendre et développer le code au niveau des noyaux de système qui les réalisent.

Course description

L’objectif de ce module est d’initier les étudiants à l’utilisation et la réalisation de systèmes d’exploitation. Y sont étudiés les concepts fondamentaux des systèmes d’exploitation (processus lourds et légers, synchronisation, entrées/sorties, adressage virtuel, pagination à la demande, allocation dynamique de mémoire), ainsi que leur mise en œuvre sur machine. Des travaux pratiques permettent d’acquérir des compétences techniques via un projet de développement des morceaux centraux d’un petit système d’exploitation (synchronisation entre processus, pagination à la demande, fichiers mappés).

Course content

  • Introduction aux systèmes d’exploitation
  • Processus et ordonnancement
  • Synchronisation
  • Gestion d’entrées/sorties
  • Gestion mémoire (hiérarchie mémoire, pagination, partage de mémoire)

Keywords

Operating systems, implementation, synchronization, demand paging, security.

Prerequisites

  • Fonctionnement de base des processeurs (instructions, registre, allocation en pile)
  • Utilisation de base des systèmes d’exploitation (commandes, shell, processus, fichiers et répertoire)
  • Programmation dans des langages impératifs (C ou C++)

Bibliography

  • Principes appliqués des systèmes d’exploitation avec Java, by A. Silberschatz, P. Galvin and G. Gagne, 2008
  • Systèmes d’exploitation, 3e edition, by A. Tanenbaum, 2008

Biography

Isabelle Puaut is a researcher professor at the Université de Rennes. Isabelle Puaut’s research focuses on real-time embedded systems: timing analysis of real-time software (WCET estimation), real-time operating systems, security in real-time embedded systems, architectural support for predictability in embedded systems. Isabelle Puaut carries out her research with IRISA.