C'est marrant, parce que décrit comme ça, on pourrait plus apparenter L4 à un exokernel qu'à un uKernel :-)
En effet, d'après ce que tu dis (le paragraphe consacré à L4), tout se passe en espace utilisateur, il n'implémente en son que des mécanismes (jai noté l'accentuation), des outils. En gros, il gère l'accès aux ressources, pas leur gestion. Et c'est justement la définition d'un exokernel.
Est-ce que je me trompe où c'est vraiment la réalité ?
Je m'intéresse beaucoup aux exo-kernel, et n'ai prêté que peu d'attention à L4, car pour moi, c'était un modèle de micro-kernel comme tant d'autres (je sais, c'est pas bien de faire l'impasse).
[^] # Re: ben
Posté par riri le breton (site web personnel) . En réponse au journal GNU/Hurd c'est quoi au fait ?. Évalué à 2.
En effet, d'après ce que tu dis (le paragraphe consacré à L4), tout se passe en espace utilisateur, il n'implémente en son que des mécanismes (jai noté l'accentuation), des outils. En gros, il gère l'accès aux ressources, pas leur gestion. Et c'est justement la définition d'un exokernel.
Est-ce que je me trompe où c'est vraiment la réalité ?
Je m'intéresse beaucoup aux exo-kernel, et n'ai prêté que peu d'attention à L4, car pour moi, c'était un modèle de micro-kernel comme tant d'autres (je sais, c'est pas bien de faire l'impasse).