Redox (système d'exploitation)
Ne doit pas être confondu avec Réaction d'oxydoréduction.
| Redox | |
| |
| |
| Langues | Anglais |
|---|---|
| Dépôt | gitlab.redox-os.org/redox-os/redox |
| Plates-formes | X86-64 et A64 (en) |
| Licence | Licence MIT |
| Écrit en | Rust |
| Première version | [1] |
| Dernière version stable | 0.8.0 ()[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 plus modernes[4].
Historique[modifier | modifier le code]
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.
Conception[modifier | modifier le code]
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 »
Composants[modifier | modifier le code]
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 :
- 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.
Applications graphiques[modifier | modifier le code]
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.
Notes et références[modifier | modifier le code]
- (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 )
- Jeremy Soller, « Redox OS 0.8.0 », (consulté le )
- (en) « Rust-Written Redox OS 0.8 Released With i686 Support, Audio & Multi-Display Working », (consulté le )
- « Redox: A Rust Operating System »
- Jeremy (jackpot51) Soller, « Initial commit of Rustboot-based OS », sur GitHub, GitHub, Inc., (consulté le )
- « Redox Repository », sur GitHub (consulté le )
- (en) Serdar Yegulalp, « Rust's Redox OS could show Linux a few new tricks », sur InfoWorld, (consulté le )
- (en) « Difference between Microkernel and Monolithic Kernel - javatpoint », sur www.javatpoint.com (consulté le )
Annexes[modifier | modifier le code]
Articles connexes[modifier | modifier le code]
Liens externes[modifier | modifier le code]
- (en) Site officiel
