-
Julien BROCHARD authoredJulien BROCHARD authored
title = "FAQ"Cette page couvre les questions/réponses pour les nouveaux arrivants et les utilisateurs.
- Qu'est-ce que Redox?
- Que veut dire Redox?
- Quelles fonctionnalités a Redox?
- Quelle est l'utilité de Redox?
- Que peut-on faire avec Redox?
- Qu'est-ce qu'un système d'exploitation de type Unix?
- Comment Redox s'inspire d'autres systèmes d'exploitation?
- Qu'est-ce qu'un micro noyau?
- Quels programmes peuvent tourner sur Redox?
- Comment installer des programmes sur Redox?
- Quelles sont les variantes de Redox?
- Quels appareils sont supportés par Redox?
- J'ai un ordinateur bas de gamme, est-ce que Redox fonctionnerait dessus ?
- Avec quelles machines virtuelles Redox s'intègre-t-il?
- Comment compiler Redox?
- Comment lancer QEMU sans interface graphique?
- Comment dépanner un build en cas d'erreur?
- Comment rapporter des bugs de Redox?
- Comment contribuer à Redox?
- J'ai un problème ou des questions pour l'équipe de Redox
Qu'est-ce que Redox?
Redox est un système d'exploitation en micro noyau, il est complet, entièrement fonctionnel, a un usage général et est axé sur la sécurité, la liberté, la fiabilité, l'exactitude et le pragmatisme.
Dans la mesure du possible, les composants du système sont écrits en Rust et exécutés dans l'espace utilisateur.
Statut actuel
Redox est un logiciel de qualité alpha/bêta, car nous implémentons de nouvelles fonctionnalités tout en corrigeant les bugs.
Ainsi, il n'est pas encore prêt pour une utilisation quotidienne, n'hésitez pas à tester le système jusqu'à sa maturité et ne stockez pas vos données sensibles sans une sauvegarde appropriée.
La version 1.0 sera publiée une fois que toutes les API système seront considérées comme stables.
Que veut dire Redox?
Redox est la réaction chimique (réduction-oxydation) qui crée la rouille. Vu que Redox est un système d'exploitation écrit en Rust (rouille en Anglais), cela a du sens.
Cela sonne aussi comme Minix/Linux.
Quelles fonctionnalités a Redox?
Les avantages du micro noyau
Vraie modularité
Vous pouvez modifier/changer de nombreux composants du système sans redémarrage du système, similaire mais plus sûr que le patch en direct.
Isolation des bugs
La plupart des composants système s'exécutent dans l'espace utilisateur sur un système de micro-noyau, un bogue dans un composant non-noyau ne plantera pas le système/noyau.
Conception sans redémarrage
Un micro-noyau mature change très peu (sauf corrections de bugs), vous n'aurez donc pas besoin de redémarrer votre système très souvent pour mettre à jour le système.
Étant donné que la plupart des composants du système se trouvent dans l'espace utilisateur, ils peuvent être remplacés à la volée (ce qui réduit les temps d'arrêt pour les administrateurs de serveur).
Facile à développer et à déboguer
La plupart des composants du système s'exécutent dans l'espace utilisateur, ce qui simplifie les tests/débogages.
Les avantages de Rust
Moins susceptible d'avoir des bugs
La syntaxe restrictive et les suggestions du compilateur réduisent considérablement la probabilité de bugs.
Pas besoin de mesures d'atténuation des exploits de C/C++
La conception du micro-noyau écrite en Rust protège contre les défauts de mémoire que l'on peut croiser dans des programmes en C/C++.
En isolant les composants du système du noyau, la surface d'attaque est très limitée.
Sécurité et fiabilité améliorées sans impact significatif sur les performances
Comme le noyau est petit, il utilise moins de mémoire pour faire son travail et la quantité de code limité du noyau l'aide à rester proche de l'objectif (KISS sans bugs).
La conception de langage sûre et rapide de Rust, combinée à la petite taille du noyau, contribue à garantir un noyau fiable, performant et facile à entretenir.
Sécurité des threads
Le support de la sécurité des threads en C/C++ est assez fragile et il est très facile d'écrire un programme qui semble sûr à exécuter sur plusieurs threads, mais qui introduit des bugs subtils ou des failles de sécurité. Si un thread accède à un état en même temps qu'un autre thread le modifie, l'ensemble du programme peut présenter des bugs vraiment déroutants et bizarres.
Mais en Rust, ce type de bug est facile à éviter, le même système de type qui nous empêche d'écrire des problèmes de sécurité en mémoire nous empêche d'écrire des modèles d'accès simultanés dangereux.
Pilotes écrits en Rust
Les pilotes écrits en Rust sont susceptibles d'avoir moins de bogues et donc une meilleure sécurité.
Système de fichiers inspiré de ZFS
Redox utilise RedoxFS comme système de fichiers par défaut, il prend en charge des fonctionnalités similaires à ZFS avec une implémentation écrite en Rust.
Attendez-vous à des performances élevées et à la sécurité des données (copie sur écriture, intégrité des données, volumes, instantanés, protection contre la perte de données).
Comparaison avec d'autres systèmes d'exploitation
Vous pouvez voir comment Redox est comparé à Linux, FreeBSD et Plan 9 sur cette page.
Quelle est l'utilité de Redox?
L'objectif principal de Redox est d'être un système d'exploitation à usage général, tout en maintenant la sécurité, la fiabilité et l'exactitude.
Redox vise à être une alternative aux systèmes Unix existants (Linux/BSD), avec la possibilité d'exécuter la plupart des programmes Unix avec seulement une recompilation ou des modifications minimales.
Que peut-on faire avec Redox?
En tant que système d'exploitation à usage général, vous pourrez faire presque n'importe quoi sur la plupart des appareils avec des performances/sécurité élevées.
Redox est toujours en cours de développement, donc notre liste d'applications prises en charge est actuellement limitée, mais en croissance.
Qu'est-ce qu'un système d'exploitation de type Unix?
Tout système d'exploitation compatible avec la spécification unique Unix et POSIX, s'attend à un shell, le concept "tout est un fichier", multitâche et multi-utilisateur.
Unix était un système multitâche très influent et a eu un impact sur les choix de conception de la plupart des systèmes modernes.
Comment Redox s'inspire d'autres systèmes d'exploitation?
Plan 9
Ce système d'exploitation Bell Labs amène le concept de "tout est un fichier" au plus haut niveau, en effectuant toutes les communications système à partir du système de fichiers.