Redox (système d'exploitation) — Wikipédia
- ️Mon Apr 20 2015
Un article de Wikipédia, l'encyclopédie libre.
Redox | |
![]() | |
![]() | |
Langues | Anglais![]() |
---|---|
Dépôt |
gitlab.redox-os.org/redox-os/redox![]() |
Plates-formes | X86-64 et A64 (en)![]() |
Entreprise / Développeur |
Jeremy Soller (d)![]() |
Licence | Licence MIT![]() |
Écrit en | Rust![]() |
Première version | 20 avril 2015[1]![]() |
Dernière version stable | 0.9.0 (9 septembre 2024)[2],[3]![]() |
Site web | www.redox-os.org![]() |
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 :
- Sodium, un éditeur de type vi avec support de la coloration syntaxique ;
- Rusthello, une intelligence artificielle pour l’Othello, qui sert de démonstration des capacités de multithreading de Redox.
Parmi les applications graphiques, on trouve :
- NetSurf, un navigateur Web léger ;
- Calculator, une calculatrice aux fonctionnalités comparables à celle de la calculatrice windows ;
- Editor, un éditeur de texte basique, similaire à Notepad ;
- File browser, un gestionnaire de fichiers ;
- Image Viewer, une visionneuse d’images ;
- Pixelcannon, un moteur de rendu 3D utilisé pour tester les performances d’Orbital ;
- Orbterm, un émulateur de terminal de type ANSI.
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Redox (operating system) » (voir la liste des auteurs).
- ↑ « https://github.com/redox-os/redox/commit/0edea108a1d8112b3aa4e8ae7b3d8d41c5d0ed85 » (consulté le 14 octobre 2017)
- ↑ Ron Williams, « Redox OS 0.9.0 » (consulté le 9 septembre 2024)
- ↑ (en) « Redox OS 0.9 Brings COSMIC Apps, Better Performance & Improved Linux App Compatibility », 9 septembre 2024 (consulté le 11 septembre 2024)
- ↑ « Redox: A Rust Operating System »
- ↑ Jeremy (jackpot51) Soller, « Initial commit of Rustboot-based OS », sur GitHub, GitHub, Inc., 20 avril 2015 (consulté le 17 janvier 2017)
- ↑ « Redox Repository », sur GitHub (consulté le 26 mars 2016)
- ↑ (en) Serdar Yegulalp, « Rust's Redox OS could show Linux a few new tricks », sur InfoWorld, 21 mars 2016 (consulté le 3 juin 2022)
- ↑ (en) « Difference between Microkernel and Monolithic Kernel - javatpoint », sur www.javatpoint.com (consulté le 3 juin 2022)
- ↑ (en) « RedoxFS », sur redox-os.org (consulté le 20 novembre 2024)
- (en) Site officiel