fr.wikipedia.org

Redox (système d'exploitation) — Wikipédia

  • ️Mon Apr 20 2015

Un article de Wikipédia, l'encyclopédie libre.

Redox
Logo
Image illustrative de l’article Redox (système d'exploitation)

Langues AnglaisVoir et modifier les données sur Wikidata
Dépôt gitlab.redox-os.org/redox-os/redoxVoir et modifier les données sur Wikidata
Plates-formes X86-64 et A64 (en)Voir et modifier les données sur Wikidata
Entreprise /
Développeur
Jeremy Soller (d)Voir et modifier les données sur Wikidata
Licence Licence MITVoir et modifier les données sur Wikidata
Écrit en RustVoir et modifier les données sur Wikidata
Première version 20 avril 2015[1]Voir et modifier les données sur Wikidata
Dernière version stable 0.9.0 (9 septembre 2024)[2],[3]Voir et modifier les données sur Wikidata
Site web www.redox-os.orgVoir et modifier les données sur Wikidata
modifier 

Redox est un système d'exploitation libre de type Unix écrit en Rust. Redox a pour objectifs d’être sûr, facile d’utilisation et libre. Il prend son inspiration de précédents noyaux et systèmes d’exploitations, tels que seL4, MINIX, Plan 9 et BSD. C’est un système au fonctionnement proche des écosystèmes GNU et BSD, mais utilisant un langage assurant une sécurité mémoire et utilisant des technologies considérés comme plus modernes[4].

Redox a été créé par Jeremy Soller et sa première version a été publiée le 20 avril 2015 sur GitHub[5]. Il est depuis en développement actif, avec des apports de plus de 40 développeurs[6]. Après deux ans de développement, la version 0.2.0 a été publiée.

Redox est conçu pour la sécurité, ce qui se reflète dans plusieurs choix de conceptions, notamment [7] :

  • l’utilisation du langage Rust langage récent réputé pour sa sécurité;
  • l’utilisation d’un microkernel en utilisant les techniques modernes pour minimiser les pertes de performances par rapport à un noyau monolithique tout en préservant les avantages de sécurité du microkernel [8].
  • Un jeu d'appel système minimal (en comparaison de Linux)
  • Tout est URL au lieu de la philosophie Unix « tout est fichier »

Redox est un système d’exploitation complet : il dispose de paquets qui, ensemble, constituent un système fonctionnel et utilisable. Redox profite pour cela d’un écosystème de logiciels écrits en Rust par les membres du projet.

On y trouve ainsi :

  • le noyau de Redox, un microkernel largement inspiré de Minix ;
  • Ralloc, un gestionnaire de mémoire ;
  • RedoxFS, un système de fichiers inspiré de ZFS[9] ;
  • Ion, un shell inspiré des shells POSIX, mais largement adapté pour fournir une syntaxe plus simple à utiliser ;
  • pkgutils, le gestionnaire de paquets ;
  • Orbital, chargé du contrôle de l’affichage et des fenêtres ;
  • relibc, qui fournit une base pour l’exécution de programmes développés dans d’autres langages.

Parmi les applications en ligne de commande, on trouve :

Parmi les applications graphiques, on trouve :

  1. « https://github.com/redox-os/redox/commit/0edea108a1d8112b3aa4e8ae7b3d8d41c5d0ed85 » (consulté le 14 octobre 2017)
  2. Ron Williams, « Redox OS 0.9.0 » (consulté le 9 septembre 2024)
  3. (en) « Redox OS 0.9 Brings COSMIC Apps, Better Performance & Improved Linux App Compatibility », 9 septembre 2024 (consulté le 11 septembre 2024)
  4. « Redox: A Rust Operating System »
  5. Jeremy (jackpot51) Soller, « Initial commit of Rustboot-based OS », sur GitHub, GitHub, Inc., 20 avril 2015 (consulté le 17 janvier 2017)
  6. « Redox Repository », sur GitHub (consulté le 26 mars 2016)
  7. (en) Serdar Yegulalp, « Rust's Redox OS could show Linux a few new tricks », sur InfoWorld, 21 mars 2016 (consulté le 3 juin 2022)
  8. (en) « Difference between Microkernel and Monolithic Kernel - javatpoint », sur www.javatpoint.com (consulté le 3 juin 2022)
  9. (en) « RedoxFS », sur redox-os.org (consulté le 20 novembre 2024)