Projet:Informatique/Évaluation/Index/44
Dernière mise à jour : 12 octobre 2024 par OrlodrimBot.
Article
|
Date
|
Autres
|
Commentaires
| ||
---|---|---|---|---|---|
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 | ||
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
| |
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 | ||
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 |
| |
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 | ||
MediaGX | 13/05/24 | 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 |
| |
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émoire vive statique | 17/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 | ||
Merge module | 16/05/09 | Faible | Ébauche |
| |
Mersenne Twister | 08/09/10 | Faible | Ébauche | ||
Mes documents | 22/08/20 | Faible | Ébauche |
| |
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 |
| |
Métaclasse (web sémantique) | 06/05/16 | Faible | Ébauche |
| |
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 2015modifierPar 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 documentmodifierPlusieurs 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 documentmodifierMotivationsmodifier"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 seL4modifierPeut-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/2015modifierBonjour, 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 :modifierVous 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 |
| |
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 |
| |
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 |
| |
Microsoft Management Console | 22/03/18 | Faible | Ébauche |
| |
Microsoft MapPoint | 22/06/08 | Faible | Ébauche | ||
Microsoft Media Server | 07/09/20 | Faible | Ébauche | ||
Microsoft Media Services | 06/05/09 | Faible | Ébauche | ||
Microsoft Messenger pour Mac | 22/03/18 | Faible | Ébauche | ||
Microsoft Money | 07/09/20 | Faible | Ébauche | ||
Microsoft Most Valuable Professional | 31/08/20 | Faible | Ébauche | ||
Microsoft Neptune | 06/03/09 | Faible | Ébauche | ||
Microsoft Notification Protocol | 22/03/18 | Faible | Ébauche | ||
Microsoft Odyssey | 22/03/18 | Faible | Ébauche | ||
Microsoft Office 2003 | 30/08/20 | Faible | Ébauche | ||
Microsoft Office 2004 pour Mac | 21/03/18 | Faible | Ébauche | ||
Microsoft Office 2008 pour Mac | 21/03/18 | Faible | Ébauche | ||
Microsoft Office 2011 pour Mac | 21/03/18 | Faible | Ébauche | ||
Microsoft Office 2016 | 29/01/15 | Faible | Ébauche | ||
Microsoft Office 2016 pour Mac | 22/03/18 | Faible | Ébauche | ||
Microsoft Office Communicator | 31/08/20 | Faible | Ébauche | ||
Microsoft Office Groove | 30/08/20 | Faible | Ébauche | ||
Microsoft Office Live | 31/08/20 | Faible | Ébauche | ||
Microsoft Office PerformancePoint Server | 30/08/20 | Faible | Ébauche | ||
Microsoft Office Photo Editor | 07/09/20 | Faible | Ébauche | ||
Microsoft Office Picture Manager | 02/09/20 | Faible | Ébauche | ||
Microsoft Office RoundTable | 07/09/20 | Faible | Ébauche | ||
Microsoft Office SharePoint Server 2007 | 02/09/20 | Faible | Ébauche | ||
Microsoft Office Specialist | 06/03/09 | Faible | Ébauche | ||
Microsoft Online Services | 30/08/20 | Faible | Ébauche | ||
Microsoft Paint | 09/08/20 | Faible | Ébauche | ||
Microsoft Pivot | 07/09/20 | Faible | Ébauche | ||
Microsoft Point-to-Point Encryption | 07/09/20 | Faible | Ébauche | ||
Microsoft Project | 06/05/09 | Faible | Ébauche | ||
Microsoft Reader | 31/08/20 | Faible | Ébauche |