Systèmes d'exploitation
Minix, un OS Open Source stable désormais financé par l'UE
Edition du 28/04/2009 - par
Olivier Rafal
Pourquoi est-on habitué à ce que les télévisions ou les téléphones fonctionnent sans souci des années durant, et à ce qu'il faille régulièrement réinitialiser des ordinateurs ? C'est avec cette question en tête que le professeur Andy Tanenbaum, qui enseigne au département des sciences informatiques de la Vrije Universiteit d'Amsterdam, a démarré la version 3 de Minix et obtenu pour ce faire une subvention de l'Union européenne de 2,4 M€.
Pour Andy Tanenbaum, tout vient de l'instabilité du système d'exploitation. Windows, bien sûr, mais Linux n'est pas épargné, de par sa conception identique : des dizaines de pilotes logiciels - soit des bouts de code écrits par des centaines de développeurs - pour les périphériques sont chargés au sein du noyau, ce qui ouvre la porte à toutes sortes de problèmes. « C'est l'équivalent électronique de la personne qui accepterait d'emporter la valise d'un parfait inconnu à bord d'un avion », écrit Andy Tanenbaum dans son projet de recherche, R3S3 (Research on really reliable and secure system software).
Le scientifique pointe en outre la complexité due à la taille, en nombre de lignes de code, des systèmes d'exploitation actuels. Non seulement leur taille les rend impossibles à appréhender pour un programmeur, mais en outre, statistiquement, ils accumulent les bugs potentiels. Andy Tanenbaum cite des études d'après lesquelles les logiciels disponibles aujourd'hui présentent des taux de 1 à 20 bugs pour 1 000 lignes de code. Or, Windows XP compte environ 50 millions de lignes de code, Windows Vista 70 millions...
Un micro-noyau de 5 000 lignes de code, beaucoup plus facile à déboguer
Pour éliminer ces deux principaux problèmes, Andy Tanenbaum propose un OS reposant sur un micro-noyau, et exécutant des processus utilisateurs dans un mode sécurisé. Ainsi, ces processus pourraient redémarrer sans impacter la stabilité du système. Et la taille du micro-noyau rendrait la détection de bugs aisée. « Le micro-noyau [de Minix 3] fait environ 5 000 lignes de code, soit moins de 0,1% de la taille du noyau de Windows, ou moins de 0,2% de la taille du noyau de Linux. Statistiquement, cela signifie que le noyau comporte entre 5 et 100 bugs, qui peuvent être détectés. Et puis 5 000 lignes de code, c'est un listing de 100 pages, quelque chose qu'un développeur peut lire et comprendre en l'espace d'une semaine. »
Minix est loin d'être nouveau dans le domaine des systèmes d'exploitation. L'OS a même été au coeur d'une controverse sur le fait que Linux aurait embarqué du code Minix (Linus Torvalds et Andy Tanenbaum ont depuis expliqué qu'il n'en était rien). La version 3 date même de 2005. Mais alors que ce système Unix proposé sous licence BSD avait surtout jusqu'à présent vocation à être un objet pédagogique, il est devenu en novembre dernier un projet de recherche financé par l'Union européenne. Le département des sciences informatiques de la Vrije Universiteit se réunissait aujourd'hui pour célébrer le lancement officiel du projet, d'une durée de 5 ans. En parallèle, Andy Tanenbaum a aussi obtenu que des étudiants de son équipe obtiennent un financement de la part de Google, dans le cadre du Google Summer of Code.
A terme, les concepteurs de Minix 3 aimeraient le voir s'imposer dans les PC à bas prix, et dans tout système électronique dont on attend qu'ils ne tombent jamais en panne. « Le travail sera fini, explique Andy Tanenbaum, quand l'utilisateur moyen n'aura jamais connu aucun plantage dans sa vie, et que les boutons 'reset' des ordinateurs seront tombés dans les oubliettes de l'histoire, comme les disquettes souples 5 pouces un quart. »
L'ACTUALITÉ DU JOUR
Open source
Le Salon Solutions Linux met en avant l'interopérabilité de l'Open Source
(16/03/2010 17:51) - Patiemment, Microsoft tente d'avoir une position plus «ouverte » à destination de (...)
Green IT
La Poste repense son informatique en mode green
(16/03/2010 17:05) - Dans le cadre des rencontres carbones organisées en association avec Deloitte et (...)
Internet
Twitter s'exporte sur des sites partenaires avec @anywhere,
(16/03/2010 16:55) - Comme avec Facebook Connect, @anywhere offrira la possibilité à un site partenaire (...)
Business
22 M$ de bonus pour Tim Cook qui fit l'intérim de Steve Jobs
(16/03/2010 16:43) - Steve Jobs n'a pas oublié la forte implication de son directeur général Tim Cook (...)
Internet
Le.com souffle ses 25 bougies
(16/03/2010 16:11) - Internet célèbre le 25 ème anniversaire du premier nom de domaine avec l'extension (...)
Résultats
Annuels Steria : La société réussit à contenir la baisse de son chiffre d'affaires
(16/03/2010 15:41) - Dans un contexte économique difficile, la SSII Steria est parvenue à maintenir un (...)
LE TOP
- Cisco dévoile son routeur CRS-3 qui laisse sceptique son principal concurrent
- Google rachète DocVerse pour créer un pont vers MS Office
- La sécurité du DNS fâche la gouvernance d'Internet
- Brevets abusifs : Jonathan Schwartz, ex-PDG de Sun, se lâche sur son blog
- Huit coeurs et tolérance aux pannes accrue pour les Intel Xeon Nehalem-EX