Aller au contenu

Redox (système d'exploitation)

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 [1]Voir et modifier les données sur Wikidata
Dernière version stable 0.9.0 ()[2],[3]Voir et modifier les données sur Wikidata
Site web www.redox-os.orgVoir et modifier les données sur Wikidata

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 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 ;
  • TFS, un système de fichiers inspiré de ZFS ;
  • 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.

Applications en ligne de commande

[modifier | modifier le code]

Parmi les applications en ligne de commande, on trouve :

Applications graphiques

[modifier | modifier le code]

Parmi les applications graphiques, on trouve :

Notes et références

[modifier | modifier le code]
  1. « https://github.com/redox-os/redox/commit/0edea108a1d8112b3aa4e8ae7b3d8d41c5d0ed85 » (consulté le )
  2. Ron Williams, « Redox OS 0.9.0 » (consulté le )
  3. (en) « Redox OS 0.9 Brings COSMIC Apps, Better Performance & Improved Linux App Compatibility », (consulté le )
  4. « Redox: A Rust Operating System »
  5. Jeremy (jackpot51) Soller, « Initial commit of Rustboot-based OS », sur GitHub, GitHub, Inc., (consulté le )
  6. « Redox Repository », sur GitHub (consulté le )
  7. (en) Serdar Yegulalp, « Rust's Redox OS could show Linux a few new tricks », sur InfoWorld, (consulté le )
  8. (en) « Difference between Microkernel and Monolithic Kernel - javatpoint », sur www.javatpoint.com (consulté le )

Articles connexes

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]