Xv6

Le cours de systèmes d'exploitation du MIT utilisait à l'origine le code source de Unix version 6 pour l'ordinateur PDP-11 avec le commentaire[1] de John Lions rédigé en 1976. En 2006, xv6 a été écrit par Russ Cox, Frans Kaashoek et Robert Morris en langage C ANSI moderne, pour les systèmes basés sur l'architecture Intel x86. En 2019, il a été réécrit pour l'architecture RISC-V.

Xv6 a pour but premier d'être un système d'exploitation pédagogique pouvant être enseigné sur un semestre de cours[2].

Bien qu'inspiré d'une version d'Unix de 1976, il est adapté à des technologies modernes comme le multiprocesseur, l'utilisation d'une unité de gestion mémoire et d'une table des pages, ainsi que d'un système de fichiers journalisé. En revanche, certaines notions sont laissées de côté pour la simplicité comme par exemple la gestion des utilisateurs et les permissions associées ou le réseau.

Xv6 est accompagné d'un livret d'explications et du code source facilitant la compréhension des mécanismes des systèmes d'exploitation réels par les étudiants.

Xv6 est utilisé à CentraleSupélec dans le cours « Système d'exploitation » et à l'Université de Strasbourg dans le cours de « Conception des systèmes d'exploitation[3] » du master SIRIS. Dans ce cadre, une traduction en Français du livret accompagnant la version x86 a été réalisée[4] ainsi qu'une brochure d'exercices complémentaires[5].