A noter que les performances d'un μ-kernel sont meilleures, si le système par dessus est pensé pour, que celles d'un kernel monolithique classique. Les vrais μ-kernels (seconde génération) ont vraiment étés conçus pour être très rapide, notamment au niveau des communications entre threads (la base des μ-kernels).
Les threads sont directement fournis dans par le système avec les noyaux L4, on peut donc imaginer des threads noyaux et grace aux SuperFast IPC et Lazy Switching, la communication et le switching (?) entre threads d'un même espace d'adressage ne nécessite même plus de passer en mode noyau (comme les threads en mode utilisateur actuels).
[^] # Re: Avancement futur? + perfs ?
Posté par neil . En réponse à la dépêche Nouvelle avancée du port du Hurd sur L4. Évalué à 9.
Les threads sont directement fournis dans par le système avec les noyaux L4, on peut donc imaginer des threads noyaux et grace aux SuperFast IPC et Lazy Switching, la communication et le switching (?) entre threads d'un même espace d'adressage ne nécessite même plus de passer en mode noyau (comme les threads en mode utilisateur actuels).
Le site de L4Linux : http://os.inf.tu-dresden.de/L4/LinuxOnL4/(...)
Lazy Switching : http://l4ka.org/publications/paper.php?docid=666,(...) et dans beaucoup d'autres doc sur L4 et les vrais μ-kernels, pas encore implementé dans L4Ka::Pistachio cependant, mais prévu par la norme.
Encore plein de docs sur L4 et les μ-kernels : http://l4ka.org/publications/(...)
Un site sur les systèmes L4 (avec des liens vers d'autres OS basé dessus) : http://l4hq.org/(...)