Code : Nouvelle avancée du port du Hurd sur L4
Posté par Victor STINNER (page perso, ). Modéré le 19 mai 2005.
Pour rappel, GNU/Hurd est en train de subir une grosse mutation : l'ancien micronoyau GNU Mach va être à terme remplacé par L4, un micro-noyau plus moderne. L4 relègue notamment toute la gestion de la mémoire virtuelle (partiellement fournie par Mach) et les pilotes de périphériques à l'espace utilisateur : il faut donc les implémenter. Neal H. Walfield avait déjà réalisé le premier pas en janvier, en écrivant un serveur, `physmem', permettant l'allocation (et la déallocation), le partage et le mappage de mémoire physique.
Depuis, il n'a pas chômé car il vient de rajouter la pièce manquante à `physmem' : la copie logique de mémoire physique (copy-on-write et mémoire partagée). Comme ce sont les applications elles-mêmes qui s'occupent de la gestion de leur mémoire virtuelle (décider quelles parties vont en 'swap' et où), il a également amélioré la bibliothèque de gestion de mémoire par défaut, `libhurd-mm' pour permettre aux applications de spécifier de façon simple quelles parties doivent aller dans tel forme de swap (partitions de swap, réseau, mémoire externe dédiée, ...).
Ces avancées concluent le travail initial sur la gestion de la mémoire. Cela permet d'envisager le développement de pilotes de périphériques, qui utilisent intensivement la copie de mémoire : dans un premier temps, un pilote IDE d'un autre système pourrait être porté pour permettre d'avoir un système de fichiers, et dans un second il faudra se concentrer sur Fabrica, le framework de pilotes de périphérique.
Par ailleurs, la version K9 des CDs de Debian GNU/Hurd vient de sortir. Au programme, principalement des paquets mis à jour et quelques bugs embêtants corrigés (une résolution de noms défectueuse dans certains cas, par exemple). Debian GNU/Hurd remplit maintenant 9 CDs, mais seules les quatre premières ISOs sont proposées au téléchargement. Une image DVD sera disponible prochainement.
Toujours sur le front Debian GNU/Hurd, Michael Banck a réussi à faire fonctionner Gnome presque entièrement, témoignant du grand travail mené par l'équipe de Debian GNU/Hurd ces derniers temps.
NdM : Merci à Sebastien Binet d'avoir également proposé une dépêche sur le sujet.
Depuis, il n'a pas chômé car il vient de rajouter la pièce manquante à `physmem' : la copie logique de mémoire physique (copy-on-write et mémoire partagée). Comme ce sont les applications elles-mêmes qui s'occupent de la gestion de leur mémoire virtuelle (décider quelles parties vont en 'swap' et où), il a également amélioré la bibliothèque de gestion de mémoire par défaut, `libhurd-mm' pour permettre aux applications de spécifier de façon simple quelles parties doivent aller dans tel forme de swap (partitions de swap, réseau, mémoire externe dédiée, ...).
Ces avancées concluent le travail initial sur la gestion de la mémoire. Cela permet d'envisager le développement de pilotes de périphériques, qui utilisent intensivement la copie de mémoire : dans un premier temps, un pilote IDE d'un autre système pourrait être porté pour permettre d'avoir un système de fichiers, et dans un second il faudra se concentrer sur Fabrica, le framework de pilotes de périphérique.
Par ailleurs, la version K9 des CDs de Debian GNU/Hurd vient de sortir. Au programme, principalement des paquets mis à jour et quelques bugs embêtants corrigés (une résolution de noms défectueuse dans certains cas, par exemple). Debian GNU/Hurd remplit maintenant 9 CDs, mais seules les quatre premières ISOs sont proposées au téléchargement. Une image DVD sera disponible prochainement.
Toujours sur le front Debian GNU/Hurd, Michael Banck a réussi à faire fonctionner Gnome presque entièrement, témoignant du grand travail mené par l'équipe de Debian GNU/Hurd ces derniers temps.
NdM : Merci à Sebastien Binet d'avoir également proposé une dépêche sur le sujet.
KernelTrap : Next Stage of Hurd/L4 VMM Framework Completed (585 hits)
KernelTrap : Device Driver Framework (412 hits)
Journal LinuxFR sur le sujet (609 hits)
DLFP : Interview de Marcus Brinkmann (394 hits)
HurdFR (977 hits)
L4Ka (418 hits)
> Lire la dépêche (54 commentaires, moyenne: 3,8).
Vous avez demandé le commentaire #576850.




[+] La montre qui fait tout mais ne donne pas l'heure
Enfin, ça c'est pour dans quelques mois. Quand Hurd supporteras l'IDE.Question de priorité je suppose -_^.
Au passage, vous avez déjà réussi à faire planter le pilote IDE vous ?
Respect à RMS.
[^]Re: La montre qui fait tout mais ne donne pas l'heure
Est-ce que tu penses qu'on fait fonctionner Gnome sans pilote IDE (ni SCSI, chipottez pas !) ? :-) GNU/Hurd, lorsqu'il utilise GNU Mach, supporte très bien IDE et SCSI, et toute une variété d'HBA (bon, aucun U160 ou U320, mais je suis en train de backporter un driver).
Et oui, un pilote IDE, ça tombe. En fait, ça m'est arrivé y a encore quelques semaines, et c'est arrivé à une assoce de mon entourage aussi. Lorsqu'une machine dispose de pas mal de disques, et que le disque qui s'occupe d'une partition de données pas vitale au système (celle qui contient le pr0^W^Wles vieux logs) crashe, tu aimerais fortement qu'il n'y ait pas d'interruption totale de service. Or il est extrêmement rare que ton noyau résiste à ça : soit tu te prends des Oops et une machine qui lagge tellement qu'elle est inutilisable (cas le plus rare dans mon expérience), soit la machine panic()e vite. C'est quelque chose de très désagréable sous GNU/Linux (vécu sous NetBSD aussi).
Et pour les autres types de pilotes, c'est encore plus courant. Disons, au hasard : les pilotes complètement instables non officiels ou fournis par votre constructeur mais pas intégrés à Linux. Je me souviens par exemple d'un portable où le noyau panic() ait dès qu'on utilisait en même temps le modem et le son. J'aurais apprécié perdre soit la connexion, soit le son, mais pas devoir attendre le reboot à -chaque- fois. Je pense pas que ce soit un avantage si négligeable, donc, en particulier en production.
[^]Re: La montre qui fait tout mais ne donne pas l'heure
En fait, c'était de l'humour... mais j'aurais dû être plus explicite.Reconnaît qu'entendre parler d'un OS dont la branche actuelle envisage le support de l'IDE peut faire sourire, même si ça ne reflète pas forcément le travail qui est accomplit.
Respect à RMS.
[^]Re: La montre qui fait tout mais ne donne pas l'heure
La branche actuelle ? Non, la branche actuelle utilise GNU Mach. GNU Mach est le seul noyau supporté par le Hurd actuellement, et le module 'hurd' dans le CVS ne contient que le support pour GNU Mach.
Il y a en plus une branche expérimentale qui consiste à porter le Hurd sur un nouveau micro-noyau, qui est dans un module à part ('hurd-l4') et qui en est au début de son développement. Si demain MacOS X décide de remplacer xnu (leur Mach++) par autre chose, il faudra sans aucun doute réécrire une grande partie de leur système de pilotes de périphériques, IOKit. Donc quand ils auront fini d'écrire leur noyau, ils penseront au support IDE. Et pourtant, je pense que ça te fera moins sourire.
Donc, c'est de l'humour gratuit uniquement lié au Hurd et à ce qu'il t'évoque, pas à son état... sois en conscient, au moins :-P
Note que je joue pas le rôle du censeur, je supporte même l'humour. Mais je tiens à remettre au clair ce que ce genre d'ironie laisse souvent penser aux lecteurs. Je me ramasse trop souvent l'ironie de gens qui ont entendu et répètent ce genre de blagues, en la prenant pour argent comptant. (Ah oui, et au fait, j'avais compris que c'était de l'humour, sinon j'aurai pas mis de smiley dès la première phrase. J'aurai peut-être dû être plus explicite, moi aussi).
(Sinon, tu me files le fauve quand ? Tu as une cage pour le transporter ? :-P)
[^]Re: La montre qui fait tout mais ne donne pas l'heure
Pauvre Mmenal, contraint par sa nature à répondre un pavé à chaque blague débile... occupe-toi du driver IDE et laisse causer les gens. Moi, j'attends une Ubuntu sur L4 avec impatience. Malheureusement, je crois qu'il faudra attendre encore au moins 5 ans, mais ça devrait valoir le coup :)
PS : j'ai à nouveau changé d'avis concernant une certaine question très à la mode actuellement ;)
[^]Re: La montre qui fait tout mais ne donne pas l'heure
j'ai deja eu a faire un hotswap d'un dd (oui je sais dangereux) qui n'etait pas mis au bios ; et c'etait plutot complique a faire.
J'ai deja eu des "resets" sur mes disques secondaires; dont certains entrainaient un gel de tout le systeme (depuis j'ai change le dd :-D)
donc oui, meme si c'est pas forcement le pilote ide en soi qui se chie dessus, pouvoir faire un kill -hup dessus serait sympas ;)
Subete ga wakatta toki…watashi ga anta wo korosu.
[^]Re: La montre qui fait tout mais ne donne pas l'heure
Tu l'avais préparé avec hdparm ton disque dur ? Si oui, c'est probablement un bug du chipset, recharger le pilote n'y aurais rien fait.
Respect à RMS.
[^]Re: La montre qui fait tout mais ne donne pas l'heure
j'avais fait a peu pres tout ce qui etait possible. C'etait un dd qui provoquait des erreurs a cause d'un autre dd sur la nappe.
et il faisait des resets du disque ; le hic c'est que quelquefois lors du reset ; il geller le systeme. Recharger le pilote aurait peut etre servis a rien ; mais si ca travaillait en user space j'aurais pu essayer de le desactiver sans pour autant avoir rebooter (a moins que j'ai absolument rien compris a l'interet des translators)
Subete ga wakatta toki…watashi ga anta wo korosu.