Xv6
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Xv6 est un système d’exploitation de type Unix à vocation pédagogique. Inspiré de Unix version 6 (développé par les laboratoires Bell pour PDP-11), il a été développé au MIT. C'est un logiciel libre sous licence MIT.
| Type | |
|---|---|
| Sites web |
Historique modifier
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.
Objectif modifier
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.
Utilisation dans le monde francophone modifier
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].
Annexes modifier
Notes et références modifier
- (en) « Commentaire de John Lions sur la sixième édition du système d'exploitation Unix », (consulté le )
- (en) « Xv6, a simple Unix-like teaching operating system », sur MIT.edu
- Pierre David, « Cours de Conception des systèmes d'exploitation » [PDF]
- Timothée Zerbib et Pierre David, « Traduction du livret xv6 » [PDF], (consulté le )
- Pierre David, « Livret d'exercices complémentaires » [PDF] (consulté le )
Liens externes modifier
Version pour x86 (non maintenue depuis 2018) :
- xv6 source code
- xv6 book source code
- xv6: a simple, Unix-like teaching operating system, xv6 book rev11.
- Printable version of the xv6 source code, rev11.
Version pour RISC-V (depuis 2019) :
