Aller au contenu

Discussion:Micronoyau L4/À faire

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Relecture janvier 2015[modifier le code]

Par Quentin B. & Christophe B. Cette relecture concernait la première version du document, aussi, il est possible que certains points aient été corrigés depuis.

Forme du document[modifier le code]

Plusieurs typos/fautes à corriger, syntaxe parfois un peu lourde avec beaucoup de répétitions ("et", "micronoyau").

Histoire : Jochen Liedtke et non John Liedtke

Quelques concepts de base/Minimalité : Schéma peu compréhensible

“Les espaces d'adressages virtuels sont formé par manipulation explicite de la mémoire virtuelle connexe aux objets noyaux” : peut-être reformuler, la phrase n'est pas très claire selon moi.

Rien à ajouter sur la partie Histoire, c'est intéressant et bien résumé.

“L'idée principale de L4 étant de réduire la vitesse des micronoyaux” => Je pense que tu voulais dire le contraire, parle peut-être plutôt d'augmentation des performances.

"« un concept est permis dans le noyau seulement quand il ne peut pas être implémenté dans l'espace utilisateur »" : citation ?

Fond du document[modifier le code]

Motivations[modifier le code]

"un micronoyau ne fait aucun réel travail" : à discuter. Le but principal d’un micro-noyau est d’assurer sécurité et stabilité; en supposant un micro-noyau très minimaliste ne gérant que la MMU, plusieurs controles doivent etre effectués par le micro-noyau au moment où des actions sont effectuées sur cette dernière. Sans ces controles, on ne peut assurer la stabilité et la cohérence des accès mémoire, le micro-noyau effectue donc du travail à ce niveau, meme si cela dépend en effet de l’implémentation et des choix de kernel design. En résumé, on peut parler de travail de contrôle plus que de gestion du système.

Noyau seL4[modifier le code]

Peut-etre rajouter un passage sur le fait que des preuves mathématiques aient été réalisées afin de prouver certaines propriétés du noyau (ex. : l’isolation mémoire) : modèle du noyau en Haskell, implémentation en C[1]. seL4 est considéré comme de la troisième génération de noyaux L4 notamment vis à vis de ce point.

“Ils n'ont pas de structure de base définie“ : sous seL4, on trouve des objets noyau représentés par des capabilities, représentant une Page Table, Page Directory ou une Page de la MMU, et qui, elles, ont une structure bien définie (variant selon l’architecture matérielle sous-jacente). Cf. sources seL4. [2]

CNode : définition? Associé au concept de capability qui est également le point central des mécanismes de sécurité au sein de seL4, et qui n’est que très peu (voire pas) évoqué dans ce document. [2]

De plus, un thread est associé effectivement à un espace d’adressage (appelé VSpace au sein de seL4), mais non pas à un CNode seul mais à un CSpace, c’est-à-dire un ensemble de CNodes, qu’on peut représenter par un graphe orienté de CNodes. Voir référence seL4 p26 (CSpaces) et p35 (threads, vspace et cspace) [2]

Aucune référence à l’hypervision : seL4 a été utilisé par le NICTA comme proof-of-concept d’une hypervision de Linux au-dessus de seL4 (=> Wombat Linux). Peut-etre évoquer ce point, meme si tu as déjà évoqué les machines virtuelles précédemment.[3]


Relecture du 10/01/2015[modifier le code]

Bonjour,

je suis Pascal élève en MASTER TiiR 'formation à distance'.

Je suis un de vos relecteurs pour votre article sur les micro noyaux L4. Cordialement

Voici mes remarques suite à la relecture de votre article.

Abstract :

Lien Jochen Liedtke internet non valide. Fautes de syntaxe : Les micronoyaux à son époque étant lent.

 Corrigé

La citation doit être mise en place dans wikipédia avec la syntaxe suivante « texte ».

Motivation :

Dans votre motivation vous écrivez : D'abord, les systèmes d'exploitation … on attend un deuxième point qui ne semble pas venir.

 L'efficacité n'est pas aussi élévé. C'est la deuxième partie de la phrase.

Historique :

Des liens non valide (en rouge) IBM Watson, Version X, Hazelnut. Problème sur le nom John Liedtke ou Jochen Liedtke. Les termes anglo-saxons doivent être en italique : Application Binary Interface,threads.

Quelques concepts de base :

Il n’y a pas de référence pour cette partie.

Minimalité :

Problème de syntaxe, beaucoup de répétions de « et »

Espaces d'adressages :

Vous abordez deux type d’IPC pour plus de clarté vous pouvez mettre deux points .

•IPC synchrone ….

•IPC asynchrone ….

  Je n'ai pas lu assez de références afin de faire deux sous chapitres.

Interruptions :

Problème de syntaxe répétition de « threads »

Les drivers dans l'espace utilisateur :

Manque de référence.

Famille du micronoyau L4 :

Répétions … plusieurs implémentations ont suivi, depuis L4 il y a eu plusieurs implémentations..

Plusieurs implémentations ont suivi, depuis L4 il y a eu plusieurs implémentations

 Corrigé

Manque une référence.

Fiasco :

Lien non valide université technique de Dresden , DROPS

Problème de syntaxe : Un micronoyau fournissent ..

L4Ka::Pistachio :

Lien non valide R5000

SeL4 :

Lien non valide CNode,ARMV6,ARMV7

Plus globalement :[modifier le code]

Vous parlez de l’amélioration de la vitesse des noyaux il est dommage de ne pas voir des graphes pour visualiser cette dernière.

C'était prévu de mettre des graphes comparatifs, mais je n'ai pas eu le temps nécessaire. C'est un des points d'amélioration prevu. 

Vous avez 18 références dans votre bibliographie mais vous n’en utilisez environ que 8 c’est dommage….

 Encore le manque de temps.
  1. [1], Formal Verification of an Operating System Kernel
  2. a b et c [2], seL4 reference manual, section 6.2, p30
  3. [3], Wombat, A Portable User-Mode Linux for Embedded Systems