L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels.

Property Value
dbo:abstract
  • L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels. L’idée générale de L4 est ainsi résumée par Liedtke lui-même : « un concept est toléré au sein du micronoyau seulement si son déplacement à l'extérieur du noyau, c'est-à-dire permettre des implémentations alternatives, empêcherait la mise en œuvre d'une fonctionnalité nécessaire au système. » (fr)
  • L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels. L’idée générale de L4 est ainsi résumée par Liedtke lui-même : « un concept est toléré au sein du micronoyau seulement si son déplacement à l'extérieur du noyau, c'est-à-dire permettre des implémentations alternatives, empêcherait la mise en œuvre d'une fonctionnalité nécessaire au système. » (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 263204 (xsd:integer)
dbo:wikiPageLength
  • 29127 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 177515457 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1992 (xsd:integer)
  • 1993 (xsd:integer)
  • 1995 (xsd:integer)
  • 2006 (xsd:integer)
  • 2007 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2013 (xsd:integer)
  • 2014 (xsd:integer)
prop-fr:consultéLe
  • 2013 (xsd:integer)
prop-fr:date
  • 2013 (xsd:integer)
prop-fr:doi
  • 10.110900 (xsd:double)
  • 10.114500 (xsd:double)
prop-fr:fr
  • ARMv6 (fr)
  • ARMv6 (fr)
prop-fr:id
  • mobile (fr)
  • accelerationFiasco (fr)
  • aes256 (fr)
  • analysis (fr)
  • caseStudy (fr)
  • designmicrokernel (fr)
  • designofOSVirt (fr)
  • efficientIO (fr)
  • faultisolation (fr)
  • ipcbykernel (fr)
  • l3toSeL4 (fr)
  • l4oprof (fr)
  • lipto (fr)
  • onmicrokernelconstruction (fr)
  • scalable (fr)
  • syscalls (fr)
  • verif (fr)
  • mobile (fr)
  • accelerationFiasco (fr)
  • aes256 (fr)
  • analysis (fr)
  • caseStudy (fr)
  • designmicrokernel (fr)
  • designofOSVirt (fr)
  • efficientIO (fr)
  • faultisolation (fr)
  • ipcbykernel (fr)
  • l3toSeL4 (fr)
  • l4oprof (fr)
  • lipto (fr)
  • onmicrokernelconstruction (fr)
  • scalable (fr)
  • syscalls (fr)
  • verif (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 1 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:issn
  • 163 (xsd:integer)
  • 734 (xsd:integer)
prop-fr:lang
  • de (fr)
  • en (fr)
  • en,de (fr)
  • de (fr)
  • en (fr)
  • en,de (fr)
prop-fr:mois
  • Août (fr)
  • Décembre (fr)
  • Février (fr)
  • Juillet (fr)
  • Juin (fr)
  • Novembre (fr)
  • Septembre (fr)
  • Août (fr)
  • Décembre (fr)
  • Février (fr)
  • Juillet (fr)
  • Juin (fr)
  • Novembre (fr)
  • Septembre (fr)
prop-fr:nom
  • Mori (fr)
  • Bruns (fr)
  • Lee (fr)
  • Hutchinson (fr)
  • Murray (fr)
  • Park (fr)
  • Peterson (fr)
  • Ahmad (fr)
  • Hausner (fr)
  • Kim (fr)
  • LI (fr)
  • Shin (fr)
  • Bang (fr)
  • Gauthier (fr)
  • Klein (fr)
  • Qing (fr)
  • Sewell (fr)
  • McGuire (fr)
  • Takahashi (fr)
  • Shen (fr)
  • Hessel (fr)
  • Lanet (fr)
  • Waddington (fr)
  • Aziz (fr)
  • BIN (fr)
  • Ko (fr)
  • Nam (fr)
  • Druschel (fr)
  • Mazin (fr)
  • Tian (fr)
  • Andronick (fr)
  • Elkaduwe (fr)
  • Elphinstone (fr)
  • Heiser (fr)
  • Shim (fr)
  • Liedtke (fr)
  • Seo (fr)
  • Härtig (fr)
  • Lackorzynski (fr)
  • Kuang (fr)
  • Iguchi-Cartigny (fr)
  • Rafal (fr)
  • CHENG (fr)
  • DING (fr)
  • Eom (fr)
  • Manan (fr)
  • Mazalan (fr)
  • Rohmad (fr)
  • Sufian (fr)
  • ZHOU (fr)
  • Mori (fr)
  • Bruns (fr)
  • Lee (fr)
  • Hutchinson (fr)
  • Murray (fr)
  • Park (fr)
  • Peterson (fr)
  • Ahmad (fr)
  • Hausner (fr)
  • Kim (fr)
  • LI (fr)
  • Shin (fr)
  • Bang (fr)
  • Gauthier (fr)
  • Klein (fr)
  • Qing (fr)
  • Sewell (fr)
  • McGuire (fr)
  • Takahashi (fr)
  • Shen (fr)
  • Hessel (fr)
  • Lanet (fr)
  • Waddington (fr)
  • Aziz (fr)
  • BIN (fr)
  • Ko (fr)
  • Nam (fr)
  • Druschel (fr)
  • Mazin (fr)
  • Tian (fr)
  • Andronick (fr)
  • Elkaduwe (fr)
  • Elphinstone (fr)
  • Heiser (fr)
  • Shim (fr)
  • Liedtke (fr)
  • Seo (fr)
  • Härtig (fr)
  • Lackorzynski (fr)
  • Kuang (fr)
  • Iguchi-Cartigny (fr)
  • Rafal (fr)
  • CHENG (fr)
  • DING (fr)
  • Eom (fr)
  • Manan (fr)
  • Mazalan (fr)
  • Rohmad (fr)
  • Sufian (fr)
  • ZHOU (fr)
prop-fr:passage
  • 1 (xsd:integer)
  • 6 (xsd:integer)
  • 69 (xsd:integer)
  • 113 (xsd:integer)
  • 133 (xsd:integer)
  • 137 (xsd:integer)
  • 175 (xsd:integer)
  • 222 (xsd:integer)
  • 237 (xsd:integer)
  • 307 (xsd:integer)
  • 384 (xsd:integer)
  • 488 (xsd:integer)
  • 512 (xsd:integer)
  • 518 (xsd:integer)
  • 728 (xsd:integer)
prop-fr:plume
  • oui (fr)
  • oui (fr)
prop-fr:prénom
  • A. (fr)
  • H. (fr)
  • J. (fr)
  • Nicholas (fr)
  • Peter (fr)
  • Chen (fr)
  • Daniel (fr)
  • Julien (fr)
  • Kevin (fr)
  • S. (fr)
  • Thomas (fr)
  • Clément (fr)
  • Hu (fr)
  • Jochen (fr)
  • F. (fr)
  • June (fr)
  • Jean-Louis (fr)
  • Ying (fr)
  • Amaury (fr)
  • Norman C. (fr)
  • Kolanski (fr)
  • Gernot (fr)
  • Dhammika (fr)
  • Larry L. (fr)
  • Gerwin (fr)
  • Kinji (fr)
  • Ab. (fr)
  • Ahmad Kamal Abdul (fr)
  • Canyu (fr)
  • Chanik (fr)
  • Dohun (fr)
  • Dong-Guen (fr)
  • Dong-Ryeol (fr)
  • Ganghui (fr)
  • Hafiz Farooq (fr)
  • Hironao (fr)
  • Hyung-Rok (fr)
  • Jianjun (fr)
  • Jilong (fr)
  • Jugwan (fr)
  • Ki-Hyuk (fr)
  • Ki-Seok (fr)
  • Lucyantie (fr)
  • Mohd Saufy (fr)
  • Qingguo (fr)
  • Qingni (fr)
  • Raja Mariam Ruzila Raja Ahmed (fr)
  • Sang-Min (fr)
  • Sihan (fr)
  • Su-Young (fr)
  • Tae-You (fr)
  • Tobby (fr)
  • Wan-Yeon (fr)
  • Young-Woung (fr)
  • kevin (fr)
  • A. (fr)
  • H. (fr)
  • J. (fr)
  • Nicholas (fr)
  • Peter (fr)
  • Chen (fr)
  • Daniel (fr)
  • Julien (fr)
  • Kevin (fr)
  • S. (fr)
  • Thomas (fr)
  • Clément (fr)
  • Hu (fr)
  • Jochen (fr)
  • F. (fr)
  • June (fr)
  • Jean-Louis (fr)
  • Ying (fr)
  • Amaury (fr)
  • Norman C. (fr)
  • Kolanski (fr)
  • Gernot (fr)
  • Dhammika (fr)
  • Larry L. (fr)
  • Gerwin (fr)
  • Kinji (fr)
  • Ab. (fr)
  • Ahmad Kamal Abdul (fr)
  • Canyu (fr)
  • Chanik (fr)
  • Dohun (fr)
  • Dong-Guen (fr)
  • Dong-Ryeol (fr)
  • Ganghui (fr)
  • Hafiz Farooq (fr)
  • Hironao (fr)
  • Hyung-Rok (fr)
  • Jianjun (fr)
  • Jilong (fr)
  • Jugwan (fr)
  • Ki-Hyuk (fr)
  • Ki-Seok (fr)
  • Lucyantie (fr)
  • Mohd Saufy (fr)
  • Qingguo (fr)
  • Qingni (fr)
  • Raja Mariam Ruzila Raja Ahmed (fr)
  • Sang-Min (fr)
  • Sihan (fr)
  • Su-Young (fr)
  • Tae-You (fr)
  • Tobby (fr)
  • Wan-Yeon (fr)
  • Young-Woung (fr)
  • kevin (fr)
prop-fr:périodique
  • IEEE (fr)
  • ACM (fr)
  • ACM Transactions on Computer Systems (fr)
  • IEEE Concurrency (fr)
  • IEEE (fr)
  • ACM (fr)
  • ACM Transactions on Computer Systems (fr)
  • IEEE Concurrency (fr)
prop-fr:site
  • http://os.inf.tu-dresden.de|commentaire=Système basé sur le micronoyau « Fiasco » (fr)
  • http://os.inf.tu-dresden.de|commentaire=Système basé sur le micronoyau « Fiasco » (fr)
prop-fr:texte
  • L4Linux (fr)
  • NICTA (fr)
  • L4Linux (fr)
  • NICTA (fr)
prop-fr:titre
  • Acceleration of the L4/Fiasco Microkernel Using Scratchpad Memory (fr)
  • Enhancing fuzzing technique for OKL4 syscalls testing (fr)
  • The Analysis of L4 Linux Implementation for education (fr)
  • Efficient I/O intensive multi tenant SaaS system using L4 level cache (fr)
  • Design of the Operating System Virtualization on L4 Microkernel (fr)
  • A Scalable Physical Memory Allocation Scheme For L4 Microkernel (fr)
  • A Case Study of Microkernel for Education (fr)
  • Comprehensive Formal Verification of an OS Kernel (fr)
  • From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? (fr)
  • Improving IPC by Kernel Design (fr)
  • On micro-kernel construction (fr)
  • L4oprof: A Performance-Monitoring-Unit-Based Software-Profiling Framework for the L4 Microkernel (fr)
  • Beyond Micro-Kernel Design: Decoupling Modularity and Protection in Lipto (fr)
  • Design of a Micro-kernel Based Secure System Architecture (fr)
  • Fault Isolation Using Stateless Server Model in L4 Microkernel (fr)
  • Verifying Behavior of L4 Microkernel based Mobile Phone (fr)
  • Experience with the Implementation of AES256 on L4 Microkernel using DROPS Environment (fr)
  • Acceleration of the L4/Fiasco Microkernel Using Scratchpad Memory (fr)
  • Enhancing fuzzing technique for OKL4 syscalls testing (fr)
  • The Analysis of L4 Linux Implementation for education (fr)
  • Efficient I/O intensive multi tenant SaaS system using L4 level cache (fr)
  • Design of the Operating System Virtualization on L4 Microkernel (fr)
  • A Scalable Physical Memory Allocation Scheme For L4 Microkernel (fr)
  • A Case Study of Microkernel for Education (fr)
  • Comprehensive Formal Verification of an OS Kernel (fr)
  • From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? (fr)
  • Improving IPC by Kernel Design (fr)
  • On micro-kernel construction (fr)
  • L4oprof: A Performance-Monitoring-Unit-Based Software-Profiling Framework for the L4 Microkernel (fr)
  • Beyond Micro-Kernel Design: Decoupling Modularity and Protection in Lipto (fr)
  • Design of a Micro-kernel Based Secure System Architecture (fr)
  • Fault Isolation Using Stateless Server Model in L4 Microkernel (fr)
  • Verifying Behavior of L4 Microkernel based Mobile Phone (fr)
  • Experience with the Implementation of AES256 on L4 Microkernel using DROPS Environment (fr)
prop-fr:trad
  • Open Kernel Labs (fr)
  • ARM11 (fr)
  • Jochen Liedtke (fr)
  • L4Linux (fr)
  • OpenNICTA (fr)
  • R5000 (fr)
  • SYSGO (fr)
  • Open Kernel Labs (fr)
  • ARM11 (fr)
  • Jochen Liedtke (fr)
  • L4Linux (fr)
  • OpenNICTA (fr)
  • R5000 (fr)
  • SYSGO (fr)
prop-fr:url
  • http://os.inf.tu-dresden.de/L4/|titre=La famille des micronoyaux L4 (fr)
  • http://os.inf.tu-dresden.de/drops|titre=DROPS — Dresden Real-Time Operating System Project (fr)
  • http://l4ka.org/|titre=Site du projet L4Ka (fr)
  • http://os.inf.tu-dresden.de/L4/|titre=La famille des micronoyaux L4 (fr)
  • http://os.inf.tu-dresden.de/drops|titre=DROPS — Dresden Real-Time Operating System Project (fr)
  • http://l4ka.org/|titre=Site du projet L4Ka (fr)
prop-fr:volume
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 25 (xsd:integer)
  • 29 (xsd:integer)
  • 32 (xsd:integer)
  • 41 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels. (fr)
  • L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels. (fr)
rdfs:label
  • L4 (microkernel) (ca)
  • L4 (micronúcleo) (es)
  • L4 (микроядро) (ru)
  • L4 microkernel family (en)
  • L4マイクロカーネルファミリー (ja)
  • Micronoyau L4 (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy