Wikipédia

Projet:Informatique/Évaluation/Index/44

< Projet:Informatique‎ | Évaluation‎ | Index
InformatiqueÉvaluation
← page 43↑(haut)page 45 →


Dernière mise à jour : 3 mai 2024 par OrlodrimBot.


Article
Date
Autres
Commentaires
Machine à compteurs 08/09/10 Faible Ébauche
Machine à état liquide 18/10/21 Faible Ébauche
Machine à registres illimités 01/02/10 Faible Ébauche
Machine DOS virtuelle 11/07/18 Faible Ébauche
Macintosh 512K 17/05/10 Faible Ébauche
Macintosh 512Ke 18/01/22 Faible Ébauche
Macintosh 68k 19/05/10 Faible Ébauche
Macintosh Centris 610 11/04/11 Faible Ébauche
Macintosh Centris 650 11/04/11 Faible Ébauche
Macintosh Centris 660AV 11/04/11 Faible Ébauche
Macintosh Classic II 11/04/11 Faible Ébauche
Macintosh Color Classic 03/04/11 Faible Ébauche
Macintosh IIci 11/04/11 Faible Ébauche
Macintosh IIcx 11/04/11 Faible Ébauche
Macintosh IIfx 11/04/11 Faible Ébauche
Macintosh IIvi 11/04/11 Faible Ébauche
Macintosh IIvx 11/04/11 Faible Ébauche
Macintosh IIx 11/04/11 Faible Ébauche
Macintosh LC 520 11/04/11 Faible Ébauche
Macintosh Office 17/05/10 Faible Ébauche
Macintosh Performa 03/04/11 Faible Ébauche
Macintosh Performa 550 11/04/11 Faible Ébauche
Macintosh Performa 6360 11/04/11 Faible Ébauche
Macintosh Portable 18/01/22 Faible Ébauche
Macintosh Programmer's Workshop 17/05/10 Faible Ébauche
Macintosh Quadra 17/05/10 Faible Ébauche
Macintosh Quadra 800 11/04/11 Faible Ébauche
Macintosh Quadra 840AV 11/04/11 Faible Ébauche
Macintosh Quadra 900 11/02/11 Faible Ébauche
Macintosh Quadra 950 11/02/11 Faible Ébauche
Macintosh XL 17/05/10 Faible Ébauche
MacLife 24/07/12 Faible Ébauche
MacOS Monterey 15/07/21 Faible Ébauche
MacPorts 27/09/09 Faible Ébauche
MacPublisher 17/05/10 Faible Ébauche
MacTeX 16/03/10 Faible Ébauche
Macworld 24/07/12 Faible Ébauche
Macworld Conference & Expo 17/05/10 Faible Ébauche
Maddyness 11/02/24 Faible Ébauche
MadTracker 22/06/08 Faible Ébauche
Maemo 15/06/09 Faible Ébauche
Mageia 18/07/11 Faible Ébauche
Magic Mouse 17/05/10 Faible Ébauche
Magnétophone (Windows) 11/07/18 Faible Ébauche
Mail (Apple) 18/05/10 Faible Ébauche

Il y a quelques tâches à accomplir sur cet article

  • Changements apportés par la version 9
  • Changements apportés par la version 10
Mail (Unix) 01/12/15 Faible Ébauche
Mailx 01/12/15 Faible Ébauche
Majordomo 01/02/10 Faible Ébauche
Malaria Control 16/05/09 Faible Ébauche
Malgun Gothic 07/09/20 Faible Ébauche
Malicious Software Removal Tool 30/08/12 Faible Ébauche
Mallard BASIC 26/09/20 Faible Ébauche
Mambo (CMS) 16/05/09 Faible Ébauche
Mamma.com 16/05/09 Faible Ébauche
MAMP 22/06/08 Faible Ébauche
Management information base 02/11/09 Faible Ébauche
Mangas.io 21/08/22 Faible Ébauche
Mango (logiciel) 22/06/08 Faible Ébauche
Mangoosta 28/10/09 Faible Ébauche
Manifeste GNU 02/11/09 Faible Ébauche
Manuscript 31/07/09 Faible Ébauche
Mapbox 19/02/15 Faible Ébauche
MAPI (logiciel) 11/07/18 Faible Ébauche
Mapillary 30/09/15 Faible Ébauche
MapInfo 28/10/09 Faible Ébauche
Marc Ewing 22/06/08 Faible Ébauche
Marcelo Tosatti 23/03/09 Faible Ébauche
Marching tetrahedra 23/03/09 Faible Ébauche
Marefa 08/12/13 Faible Ébauche
Margaret Oakley Dayhoff 23/05/21 Faible Ébauche
Marionette (logiciel) 23/03/09 Faible Ébauche
Mark Hurd 22/06/08 Faible Ébauche
Marque substitutive 08/03/12 Faible Ébauche
Marratech 22/06/08 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie AIM ⇒ Quelques explications pour effectuer ces corrections. -- 17 octobre 2017 à 10:12 (CEST)
MARS (cryptographie) 07/03/15 Faible Ébauche
Marshall Kirk McKusick 22/06/08 Faible Ébauche
Martèlement de mémoire 10/09/20 Faible Ébauche
Marvin Minsky 22/06/08 Faible Ébauche
Mary Kenneth Keller 31/03/18 Faible Ébauche
Masatoshi Shima 28/10/16 Faible Ébauche
Master File Table 30/08/20 Faible Ébauche
Matchbox (gestionnaire de fenêtres) 16/11/09 Faible Ébauche
Material Exchange Format 28/10/09 Faible Ébauche
Mathcad 27/07/09 Faible Ébauche
MathML 01/05/16 Faible Ébauche
MathType 02/01/21 Faible Ébauche
Matomo (logiciel) 30/10/11 Faible Ébauche
Matrice active 14/03/12 Faible Ébauche
Matrice creuse 14/03/12 Faible Ébauche
Matrice de billes 14/03/12 Faible Ébauche
Matrice passive 14/03/12 Faible Ébauche
Matt Dillon (développeur) 22/06/08 Faible Ébauche
Maxifoot 08/09/10 Faible Ébauche
Maximum Segment Size 17/12/09 Faible Ébauche
Maxtor 18/11/10 Faible Ébauche
Maya Embedded Language 22/06/08 Faible Ébauche
Maze (forme) 16/11/09 Faible Ébauche
MD Data 25/09/14 Faible Ébauche
Mécénat en logiciel libre 06/10/15 Faible Ébauche
Media Composer 23/02/16 Faible Ébauche
Media Control Interface 02/11/09 Faible Ébauche
Média interactif 24/09/09 Faible Ébauche
Mediabot 16/05/09 Faible Ébauche
MediaCoder 02/11/09 Faible Ébauche
Médias sociaux en gestion d'urgence 18/10/20 Faible Ébauche
Médiateur (patron de conception) 27/09/09 Faible Ébauche
Medium Dependent Interface 27/07/09 Faible Ébauche
MeeGo 23/06/11 Faible Ébauche
Mégabit 04/02/10 Faible Ébauche
Megaco 06/03/09 Faible Ébauche
Meiryo 06/09/20 Faible Ébauche
Meizu 22/06/08 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Benchmarks ⇒ Quelques explications pour effectuer ces corrections. -- 21 mai 2020 à 20:00 (CEST)
Mémoire conventionnelle 06/10/19 Faible Ébauche
Mémoire iRAM 27/09/09 Faible Ébauche
Mémoire morte programmable 19/03/09 Faible Ébauche
Mémoire partagée (communication inter-processus) 16/03/10 Faible Ébauche
Mémoire vive dynamique 22/02/10 Faible Ébauche
Mémoïsation 23/10/11 Faible Ébauche
Memorex 14/03/12 Faible Ébauche
Memoria Chilena 23/09/20 Faible Ébauche
Memotech (entreprise) 04/06/19 Faible Ébauche
Memtest86 16/03/10 Faible Ébauche
Menu démarrer 04/07/13 Faible Ébauche
Merdification 26/02/24 Faible Ébauche
Merge module 16/05/09 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Paquetage ⇒ Quelques explications pour effectuer ces corrections. -- 29 mars 2022 à 11:11 (CEST)
Mersenne Twister 08/09/10 Faible Ébauche
Mes documents 22/08/20 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Partition ⇒ Quelques explications pour effectuer ces corrections. -- 6 janvier 2016 à 21:15 (CET)
Mesa (logiciel) 21/02/10 Faible Ébauche
Mesg (Unix) 01/12/15 Faible Ébauche
Message of the Day 28/10/09 Faible Ébauche
Messagerie texte 15/07/21 Faible Ébauche
Mesure de trafic réseau 16/09/20 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Article }} : l'argument «  collection=Proceedings of the 7th ACM SIGCOMM conference on Internet measurement  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Études sur les mesures  ») -- 9 novembre 2021 à 11:00 (CET)
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie LAN ⇒ Quelques explications pour effectuer ces corrections. -- 29 mars 2022 à 11:11 (CEST)
Métaclasse (web sémantique) 06/05/16 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Instance ⇒ Quelques explications pour effectuer ces corrections. -- 1 mai 2016 à 02:21 (CEST)
Métamodèle 14/03/12 Faible Ébauche
Metaphone 26/06/19 Faible Ébauche
Méthode de factorisation de Fermat 23/10/11 Faible Ébauche
Méthode de la transformée inverse 14/03/12 Faible Ébauche
Méthode de saisie 05/10/10 Faible Ébauche
Méthode des k plus proches voisins 14/03/12 Faible Ébauche
Méthode Maxer 24/10/23 Faible Ébauche
Métrique (routage) 19/05/10 Faible Ébauche
Michael J. Saylor 01/11/23 Faible Ébauche
Michael Scott 17/05/10 Faible Ébauche
Michael Spindler 17/05/10 Faible Ébauche
Michael Widenius 02/09/20 Faible Ébauche
Michèle Sebag 18/03/19 Faible Ébauche
Micro Transport Protocol 14/06/17 Faible Ébauche
Micro-Star International 14/03/12 Faible Ébauche
Micronoyau L4 22/06/08 Faible Ébauche

Relecture janvier 2015 modifier

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

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

Motivations modifier

"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

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

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

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.
Microprocesseur à jeu d'instructions étendu 22/06/08 Faible Ébauche
Microserfs 31/03/10 Faible Ébauche
Microsoft Academic 07/11/19 Faible Ébauche
Microsoft Advertising 30/08/20 Faible Ébauche
Microsoft AutoRoute 23/03/09 Faible Ébauche
Microsoft Band 07/09/20 Faible Ébauche
Microsoft Baseline Security Analyzer 30/08/20 Faible Ébauche
Microsoft Binder 30/08/20 Faible Ébauche
Microsoft BizTalk Server 27/08/20 Faible Ébauche
Microsoft Certified Application Developer 06/03/09 Faible Ébauche
Microsoft Certified Database Administrator 06/03/09 Faible Ébauche
Microsoft Certified Desktop Support Technician 06/03/09 Faible Ébauche
Microsoft Certified Solution Developer 06/03/09 Faible Ébauche
Microsoft Certified System Administrator 06/03/09 Faible Ébauche
Microsoft Certified Systems Engineer 06/03/09 Faible Ébauche
Microsoft Certified Trainer 06/03/09 Faible Ébauche
Microsoft Commerce Server 07/09/20 Faible Ébauche
Microsoft Compressed HTML 24/08/20 Faible Ébauche
Microsoft Content Management Server 31/08/20 Faible Ébauche
Microsoft Deployment Toolkit 29/05/21 Faible Ébauche
Microsoft Document Imaging Format 22/03/18 Faible Ébauche
Microsoft Dynamics 07/09/20 Faible Ébauche
Microsoft Dynamics AX 07/09/20 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie CBN , Pilotage ⇒ Quelques explications pour effectuer ces corrections. -- 29 mars 2022 à 10:30 (CEST)
Microsoft Dynamics CRM 27/08/20 Faible Ébauche
Microsoft Entourage 22/06/08 Faible Ébauche
Microsoft Exchange Server 22/03/18 Faible Ébauche
Microsoft Expression Encoder 31/08/20 Faible Ébauche
Microsoft Expression Studio 06/05/09 Faible Ébauche
Microsoft Expression Web 24/08/20 Faible Ébauche
Microsoft Family Safety 07/07/19 Faible Ébauche
Microsoft Forefront 31/08/20 Faible Ébauche
Microsoft Foundation Class Library 26/08/20 Faible Ébauche
Microsoft Gizmo 02/09/20 Faible Ébauche
Microsoft Intelligent Application Gateway 31/08/20 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Combinaison , IAG , SSL ⇒ Quelques explications pour effectuer ces corrections. -- 29 mars 2022 à 10:30 (CEST)
Microsoft JhengHei 07/09/20 Faible Ébauche
Microsoft Layer for Unicode 03/09/20 Faible Ébauche
Microsoft Lumia 435 21/03/18 Faible Ébauche
Microsoft Lumia 532 21/03/18 Faible Ébauche
Microsoft Lumia 535 21/03/18 Faible Ébauche
Microsoft Lumia 540 21/03/18 Faible Ébauche
Microsoft Lumia 550 22/03/18 Faible Ébauche
Microsoft Lumia 950 21/03/18 Faible Ébauche
Microsoft Macro Assembler 30/08/20 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie A86 ⇒ Quelques explications pour effectuer ces corrections. -- 29 novembre 2020 à 17:29 (CET)
Microsoft Management Console 22/03/18 Faible Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Windows Server ⇒ Quelques explications pour effectuer ces corrections. -- 16 décembre 2020 à 15:29 (CET)
Microsoft MapPoint 22/06/08 Faible Ébauche
  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
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Projet:Informatique/Évaluation/Index/44&oldid=214065656 ».