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
| |
dbo:wikiPageLength
|
- 29127 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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
| |
prop-fr:date
| |
prop-fr:doi
|
- 10.110900 (xsd:double)
- 10.114500 (xsd:double)
|
prop-fr: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
| |
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 | |