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