Discussion:Micronoyau L4
Cet article est indexé par le projet Informatique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Faible |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article comporte une liste de tâches suggérées :
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.
Relecture du 15/01/2015[modifier le code]
Abstract[modifier le code]
Problème de syntaxe
- Les micronoyaux à son époque Les micronoyaux à leur époque
- ont permis depuis réduire considérablement ont permis depuis de réduire considérablement et donné les micronoyaux et de donner les micronoyaux
Motivations[modifier le code]
Problème de Syntaxe
- Jochen Liedtke a commencer Jochen Liedtke à commencé
Historique[modifier le code]
Quelques problèmes de syntaxe:
- version antérieure appelé appelée.
Quelques concepts de base[modifier le code]
- Il n’y a pas de référence pour cette partie.
* Cette partie vient de moi, je résume ce qui suit
Minimalité[modifier le code]
- Minimalité ce terme me pose problème pour moi il n’introduit pas correctement ce qui suit. C’est plus une présentation un peu redondante avec ce qui précède, de plus ce terme ne semble pas être dans le dictionnaire.
C'est le principe de minimalité, je n'ai pas voulu écrire principe de minimalité dans le sous-titre.
- Pourquoi ne pas présenter là l’architecture du micronoyau.
J'ai pas voulu faire une présentation de l'architecture des micro-noyaux, mais les principes qui permettent l'implémentation de ces derniers.
- Changer le schéma pour mettre une version en français.
Interruptions[modifier le code]
- Problème de syntaxe
- Cette partie mériterait peut-être d’être un peu plus développée
Je ne vois pas trop comment je pourrais développer plus cette partie. J'ai voulu expliquer comment les interruptions sont mis en œuvre dans les micro-noyaux. Quelles abstractions et comment ces abstractions sont mis en œuvre.
Les drivers dans l'espace utilisateur[modifier le code]
- cette partie mériterait peut-être d’être un peu plus développée
Famille du micronoyau L4[modifier le code]
Je vais faire une remarque globale sur cette partie :
- Une bonne présentation des différents micronoyaux mais je trouve dommage que vous redéveloppez le concept .
- Vous redéveloppez IPC les espaces d’adressage etc . On pourrais croire que ces micronoyaux ne répondent pas aux principes énoncés plus haut.
Il me semble qu'il manque des concepts importants :
- La sécurité
- La stabilité
D’ailleurs vous le dite vous-même « les micronoyaux plus sur la sécurité et la stabilité » et on ne voit pas apparaître d’article sur le sujet.
Les concepts sont mis en œuvre différemment dans chacun des différentes implémentations. C'est pourquoi je parle de ces concepts afin de montrer ces différences. je n'ai pas eu le temps de faire des parties séparées pour la stabilité et la sécurité.