Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/L4 microkernel family
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/L4_microkernel_family
http://dbpedia.org/ontology/abstract L4 je rodina mikrojader druhé generace nejL4 je rodina mikrojader druhé generace nejčastěji používaných pro implementaci un*xových operačních systémů, ale používaných také v různých jiných systémech. L4 byl stejně jako jeho předchůdce vytvořen německým počítačovým vědcem Jochenem Liedtkem jako odpověď na slabý výkon raných mikrojaderných operačních systémů. Liedtke se domníval, že mikrojádro použitelné pro praxi vznikne spíše na základě systému navrženého pro vysoký výkon, než na základě systému navrženého pro jiné cíle. Jeho původní implementace v ručně psaném assembleru procesoru Intel 80386 vyvolala v počítačovém průmyslu značný zájem. L4 byl už od svého uvedení vyvíjen s důrazem na bezpečnost, izolaci procesů a . Mikrojádro L4 se dočkalo nejrůznějších reimplementací původního binárního rozhraní (ABI) a vzniklo tak mimo jiné L4Ka::Hazelnut a L4Ka::Pistachio, L4/Alpha a L4/MIPS a L4/Fiasco (Technická univerzita Drážďany). Z tohoto důvodu je název L4 vnímán obecněji a je nyní používán pro celou rodinu mikrojader zahrnující různé verze jaderného rozhraní. L4 je široce rozšířeno. Jedné varianty, OKL4 od , bylo prodáno v miliardách mobilních zařízení.o prodáno v miliardách mobilních zařízení. , A família L4 é uma família de micronúcleosA família L4 é uma família de micronúcleos de segunda geração baseada nos projetos e implementações originais do cientista da computação alemão Jochen Liedtke. Foi originalmente implementada como código de montagem extremamente otimizado específico do Intel i386, a interface de programação de aplicativos recebeu desenvolvimento extensivo em várias direções, ambas em obter um nível de e também em melhorar a , isolação e robustez. Há várias reimplementações da interface de núcleo binária original do micronúcleo L4 (interface binária de aplicação) e seus sucessores de alto nível, incluindo L4Ka::Pistachio, L4/MIPS e Fiasco. Por essa razão, o nome L4 foi generalizado e não se refere mais à implementação original de Liedtke. Ele serve para toda a família de micronúcleos, incluindo a interface do L4 e suas diferentes versões. O L4 é usado em produções de .es versões. O L4 é usado em produções de . , L4 — микроядро второго поколения, разработL4 — микроядро второго поколения, разработанное Йохеном Лидтке в 1993 году. Архитектура микроядра L4 оказалась успешной. Было создано множество реализаций ABI и API микроядра L4. Все реализации стали называть семейством микроядер L4. Реализация Лидтке неофициально была названа «L4/x86».Лидтке неофициально была названа «L4/x86». , L4 es una familia de micronúcleos de segunL4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la API ha sufrido grandes desarrollos en varias direcciones, tanto buscando un nivel más alto de independencia de plataforma como mejorando seguridad, aislamiento y robustez. Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden). Por esta razón, el nombre L4 ya no se refiere únicamente a la implementación original de Liedtke, sino que se aplica a toda la familia de micronúcleos que incluyen la interfaz del núcleo L4 y sus diferentes versiones. del núcleo L4 y sus diferentes versiones. , L4 ist der Name einer Familie von MikrokerL4 ist der Name einer Familie von Mikrokerneln, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). L4 gilt als ein Mikrokernel der zweiten Generation, der das Problem des zu langsamen Interkommunikationsprozesses der ersten Mikrokernel-Generation nicht mehr aufweist (zur ersten Generation zählt u. a. Mach). Ein weiterer Mikrokernel der zweiten Generation ist z. B. QNX.rnel der zweiten Generation ist z. B. QNX. , L4 – architektura mikrojądra stworzona przL4 – architektura mikrojądra stworzona przez nieżyjącego już , z implementacjami na x86 (oryginalne L4 i Fiasco) oraz MIPS i Alpha. Mikrojądra oparte na L4 są znacznie bardziej wydajne od mikrojąder rodziny Mach. Istnieją korzystające z L4 modyfikacje popularnych jąder monolitycznych, m.in. oparte na Linuksie L4Linux i Wombat. Planowano również przeniesienie GNU Hurd na L4.wano również przeniesienie GNU Hurd na L4. , L4是一種微内核构架的作業系統内核,最初由約亨·李德克(Jochen Liedtke)设计,前身為L3微內核。在最开始,L4只是一个由約亨·李德克设计并实现的单一的产品,用于Intel i386上的一个高度优化内核。L4微内核系统由于其出色的性能和很小的体积而开始被计算机工业所认知。随后,L4的系统在多个方面上有了高速的发展,值得提及的是一个更加独立于硬件平台的版本,被称为Pistachio,之后又被移植到了许多不同的硬件构架上。现在已经形成一个微内核家族,包括,,与。 , L4マイクロカーネルファミリーは第二世代マイクロカーネルのファミリーで、一般的にはUL4マイクロカーネルファミリーは第二世代マイクロカーネルのファミリーで、一般的にはUnix系のオペレーティングシステムの実装に使われるが他の様々なシステムにも使われる。前身のL3マイクロカーネルと同じように、ドイツのコンピュータ科学者ヨッヘン・リートケによってそれ以前のマイクロカーネルベースのオペレーティングシステムの性能の低さを解決する答えとしてL4は作られた。リートケは性能を最優先に設計したシステムであれば実用的なマイクロカーネルを作ることができるのではないかと考えた。彼のインテルi386のアセンブリ言語でハードコードした最初の実装はコンピュータ産業界の関心を引いた。これを始めとしてL4はプラットフォーム非依存、セキュリティの改善、分離、堅牢性に向けた開発が行われた。 オリジナルのL4カーネルインターフェース(ABI)やその後継がいくつも再実装されている。L4KA::Pistachio(カールスルーエ工科大学)、 L4/MIPS(ニューサウスウェールズ大学)、 Fasco,WrmOS(WrmLab)などがある。このためL4はリートケの最初の実装だけを指すのではなくファミリーの名前になっている。現在ではオリジナルのL4とその改良版のカーネルインターフェースを持つマイクロカーネルファミリーが該当する。L4は広く開発が行われている。一つのバリエーションであるOKL4は(現 ジェネラル・ダイナミクス・ミッション・システムズ)で開発され数十億台のモバイル機器に使われた。・ダイナミクス・ミッション・システムズ)で開発され数十億台のモバイル機器に使われた。 , L4 est un micronoyau de seconde générationL4 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. »ne fonctionnalité nécessaire au système. » , L4 is a family of second-generation microkL4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable Operating System Interface (POSIX) compliant types. L4, like its predecessor microkernel , was created by German computer scientist Jochen Liedtke as a response to the poor performance of earlier microkernel-based OSes. Liedtke felt that a system designed from the start for high performance, rather than other goals, could produce a microkernel of practical use. His original implementation in hand-coded Intel i386-specific assembly language code in 1993 sparked intense interest in the computer industry. Since its introduction, L4 has been developed to be cross-platform and to improve security, isolation, and robustness. There have been various re-implementations of the original binary L4 kernel application binary interface (ABI) and its successors, including L4Ka::Pistachio (Karlsruhe Institute of Technology), L4/MIPS (University of New South Wales (UNSW)), Fiasco (Dresden University of Technology (TU Dresden)). For this reason, the name L4 has been generalized and no longer refers to only Liedtke's original implementation. It now applies to the whole microkernel family including the L4 kernel interface and its different versions. L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices.bs, shipped in billions of mobile devices. , L4 és una família de micronuclis de segonaL4 és una família de micronuclis de segona generació basada en els dissenys i implementacions originals de l'informàtic alemany Jochen Liedtke. Originalment implementada en codi assemblador altament afinat per a processadors Intel i386, l'API ha patit grans desenvolupaments en diverses direccions, tant buscant un nivell més alt d'independència de plataforma com millorant seguretat, aïllament i robustesa. Hi ha hagut diverses implementacions de la interfície binària del nucli L4 i els seus successors de més alt nivell, incloent-hi L4Ka :: Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) i Fiasco (TU Dresden). Per això, el nom L4 ja no es refereix únicament a la implementació original de Liedtke, sinó que s'aplica a tota la família de micronuclis que inclouen la interfície del nucli L4 i les seves diferents versions.l nucli L4 i les seves diferents versions.
http://dbpedia.org/ontology/developer http://dbpedia.org/resource/Jochen_Liedtke +
http://dbpedia.org/ontology/language http://dbpedia.org/resource/Germany +
http://dbpedia.org/ontology/license http://dbpedia.org/resource/Programming_tool + , http://dbpedia.org/resource/Library_%28computing%29 + , http://dbpedia.org/resource/Source_code + , http://dbpedia.org/resource/Formal_proof +
http://dbpedia.org/ontology/thumbnail http://commons.wikimedia.org/wiki/Special:FilePath/L4_family_tree.png?width=300 +
http://dbpedia.org/ontology/wikiPageExternalLink https://trustworthy.systems + , https://web.archive.org/web/20191025002913/http:/www.l4hq.org/ + , https://web.archive.org/web/20140717185304/http:/www.ertos.nicta.com.au/research/l4/ + , https://web.archive.org/web/20120327161621/http:/dslab.lzu.edu.cn:8080/docs/publications/l4_kickstart.pdf + , https://web.archive.org/web/20090319021316/http:/www.ok-labs.com/ + , https://dl.acm.org/doi/abs/10.1145/122120.122124 + , http://dslab.lzu.edu.cn:8080/docs/publications/l4_kickstart.pdf + , https://web.archive.org/web/20060905181634/http:/www.l4ka.org/publications/ + , http://l4ka.org/publications/ + , http://os.inf.tu-dresden.de/L4/ + , http://wiki.tudos.org/ + , http://www.l4ka.org + , http://www.cse.unsw.edu.au/~disy/L4/ + , https://web.archive.org/web/20080820043831/http:/okl4.org/ + , http://genode.org/about/index + , https://sigops.org/s/conferences/sosp/2013/talks/elphinstone_l3sel4_se03_03.pdf +
http://dbpedia.org/ontology/wikiPageID 95763
http://dbpedia.org/ontology/wikiPageLength 39865
http://dbpedia.org/ontology/wikiPageRevisionID 1124849404
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/L4Linux + , http://dbpedia.org/resource/Real-time_operating_system + , http://dbpedia.org/resource/Linux_Foundation + , http://dbpedia.org/resource/Mach_%28kernel%29 + , http://dbpedia.org/resource/X86 + , http://dbpedia.org/resource/Deadlock + , http://dbpedia.org/resource/Germany + , http://dbpedia.org/resource/Boeing_AH-6 + , http://dbpedia.org/resource/Qualcomm + , http://dbpedia.org/resource/Assembly_language + , http://dbpedia.org/resource/University_of_New_South_Wales + , http://dbpedia.org/resource/Kernel_%28operating_system%29 + , http://dbpedia.org/resource/Monolithic_kernel + , http://dbpedia.org/resource/Closed_source + , Karlsruhe Institute of Technology + , http://dbpedia.org/resource/Microkernel + , http://dbpedia.org/resource/Category:Microkernels + , http://dbpedia.org/resource/Machine_code + , http://dbpedia.org/resource/Alien_thread + , http://dbpedia.org/resource/I386 + , http://dbpedia.org/resource/ARM_Cortex-M + , http://dbpedia.org/resource/NICTA + , http://dbpedia.org/resource/Computer_scientist + , http://dbpedia.org/resource/Formal_proof + , http://dbpedia.org/resource/Library_%28computing%29 + , http://dbpedia.org/resource/Inter-process_communication + , http://dbpedia.org/resource/Jochen_Liedtke + , http://dbpedia.org/resource/General_availability + , http://dbpedia.org/resource/Automotive_infotainment + , http://dbpedia.org/resource/Eumel + , http://dbpedia.org/resource/Device_driver + , http://dbpedia.org/resource/Source_lines_of_code + , http://dbpedia.org/resource/Linux + , http://dbpedia.org/resource/GNU_General_Public_License + , http://dbpedia.org/resource/Open_Kernel_Labs + , http://dbpedia.org/resource/ARM_architecture + , http://dbpedia.org/resource/Unix-like + , http://dbpedia.org/resource/IBM + , http://dbpedia.org/resource/Category:Capability_systems + , http://dbpedia.org/resource/X86-64 + , http://dbpedia.org/resource/XScale + , http://dbpedia.org/resource/Embedded_system + , http://dbpedia.org/resource/Nvidia + , http://dbpedia.org/resource/University_of_Karlsruhe + , http://dbpedia.org/resource/CPU_cache + , http://dbpedia.org/resource/Operating_system + , http://dbpedia.org/resource/SymbianOS + , http://dbpedia.org/resource/Functional_programming + , http://dbpedia.org/resource/Small_Business_Innovative_Research + , http://dbpedia.org/resource/Interface_%28computing%29 + , http://dbpedia.org/resource/Working_set + , http://dbpedia.org/resource/Cross-platform_software + , http://dbpedia.org/resource/Software_license + , http://dbpedia.org/resource/Apple_A_series + , http://dbpedia.org/resource/Mobile_phone + , http://dbpedia.org/resource/Computer_security + , http://dbpedia.org/resource/Robustness_%28computer_science%29 + , http://dbpedia.org/resource/Real-time_computing + , http://dbpedia.org/resource/GPL_3 + , http://dbpedia.org/resource/Boeing + , http://dbpedia.org/resource/University_of_Minnesota + , http://dbpedia.org/resource/Scheduling_%28computing%29 + , http://dbpedia.org/resource/Category:Assembly_language_software + , http://dbpedia.org/resource/Technischer_%C3%9Cberwachungsverein + , http://dbpedia.org/resource/Virtual_machine + , http://dbpedia.org/resource/Trusted_computing_base + , http://dbpedia.org/resource/Gernot_Heiser + , http://dbpedia.org/resource/Capability-based_security + , http://dbpedia.org/resource/Hypervisor + , http://dbpedia.org/resource/Wombat_%28operating_system%29 + , http://dbpedia.org/resource/API + , http://dbpedia.org/resource/User_space + , http://dbpedia.org/resource/Uninitialized_variable + , http://dbpedia.org/resource/General_Dynamics_C4_Systems + , http://dbpedia.org/resource/Livelock + , http://dbpedia.org/resource/Application_binary_interface + , http://dbpedia.org/resource/Coprocessor + , http://dbpedia.org/resource/Itanium + , http://dbpedia.org/resource/Thomas_J._Watson_Research_Center + , http://dbpedia.org/resource/C%2B%2B + , http://dbpedia.org/resource/DEC_Alpha + , http://dbpedia.org/resource/Buffer_overflow + , http://dbpedia.org/resource/Compiler + , http://dbpedia.org/resource/C_%28programming_language%29 + , http://dbpedia.org/resource/Barrelfish_%28operating_system%29 + , http://dbpedia.org/resource/File:L4_family_tree.png + , http://dbpedia.org/resource/POSIX + , http://dbpedia.org/resource/John_Launchbury + , http://dbpedia.org/resource/Thread_%28computing%29 + , http://dbpedia.org/resource/Formal_verification + , http://dbpedia.org/resource/MIPS_architecture + , http://dbpedia.org/resource/Middle-out + , http://dbpedia.org/resource/Executable_specification + , http://dbpedia.org/resource/Mobile_Station_Modem + , http://dbpedia.org/resource/Haskell_%28programming_language%29 + , http://dbpedia.org/resource/IA-32 + , http://dbpedia.org/resource/Common_Criteria + , http://dbpedia.org/resource/Dresden_University_of_Technology + , http://dbpedia.org/resource/Programming_tool + , http://dbpedia.org/resource/Rockwell_Collins + , http://dbpedia.org/resource/Source_code + , http://dbpedia.org/resource/DARPA + , http://dbpedia.org/resource/Android_%28operating_system%29 + , http://dbpedia.org/resource/SPARC + , http://dbpedia.org/resource/Address_space + , http://dbpedia.org/resource/BSD_licenses + , http://dbpedia.org/resource/Apple_A7 + , http://dbpedia.org/resource/Interrupt_latency + , http://dbpedia.org/resource/PikeOS + , http://dbpedia.org/resource/Open-source_license + , http://dbpedia.org/resource/Worst-case_execution_time + , http://dbpedia.org/resource/Open-source_software +
http://dbpedia.org/property/developer http://dbpedia.org/resource/Jochen_Liedtke +
http://dbpedia.org/property/family L4
http://dbpedia.org/property/kernelType http://dbpedia.org/resource/Microkernel +
http://dbpedia.org/property/language English, German
http://dbpedia.org/property/license http://dbpedia.org/resource/Programming_tool + , http://dbpedia.org/resource/Source_code + , http://dbpedia.org/resource/GNU_General_Public_License + , http://dbpedia.org/resource/BSD_licenses + , http://dbpedia.org/resource/Library_%28computing%29 + , http://dbpedia.org/resource/Formal_proof +
http://dbpedia.org/property/marketingTarget Reliable computing
http://dbpedia.org/property/name L4 microkernel family
http://dbpedia.org/property/precededBy http://dbpedia.org/resource/Eumel +
http://dbpedia.org/property/programmedIn Assembly language, then C, C++
http://dbpedia.org/property/sourceModel http://dbpedia.org/resource/Closed_source + , http://dbpedia.org/resource/Open-source_software +
http://dbpedia.org/property/supportedPlatforms Intel i386, x86, x86-64, ARM, MIPS, SPARC
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Microkernel + , http://dbpedia.org/resource/Template:As_of + , http://dbpedia.org/resource/Template:Reflist + , http://dbpedia.org/resource/Template:Start_date_and_age + , http://dbpedia.org/resource/Template:Cite_report + , http://dbpedia.org/resource/Template:Use_dmy_dates + , http://dbpedia.org/resource/Template:Cite_journal + , http://dbpedia.org/resource/Template:Object-capability_security + , http://dbpedia.org/resource/Template:Short_description + , http://dbpedia.org/resource/Template:Webarchive + , http://dbpedia.org/resource/Template:Official_website + , http://dbpedia.org/resource/Template:Citation_needed + , http://dbpedia.org/resource/Template:Cite_conference + , http://dbpedia.org/resource/Template:Infobox_OS + , http://dbpedia.org/resource/Template:URL +
http://dbpedia.org/property/workingState Current
http://purl.org/dc/terms/subject http://dbpedia.org/resource/Category:Microkernels + , http://dbpedia.org/resource/Category:Assembly_language_software + , http://dbpedia.org/resource/Category:Capability_systems +
http://purl.org/linguistics/gold/hypernym http://dbpedia.org/resource/Family +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/L4_microkernel_family?oldid=1124849404&ns=0 +
http://xmlns.com/foaf/0.1/depiction http://commons.wikimedia.org/wiki/Special:FilePath/L4_family_tree.png +
http://xmlns.com/foaf/0.1/homepage http://sel4.systems +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/L4_microkernel_family +
http://xmlns.com/foaf/0.1/name L4 microkernel family
owl:sameAs http://ru.dbpedia.org/resource/L4_%28%D0%BC%D0%B8%D0%BA%D1%80%D0%BE%D1%8F%D0%B4%D1%80%D0%BE%29 + , http://pl.dbpedia.org/resource/L4_%28informatyka%29 + , http://no.dbpedia.org/resource/L4 + , http://es.dbpedia.org/resource/L4_%28micron%C3%BAcleo%29 + , http://ja.dbpedia.org/resource/L4%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%AB%E3%83%BC%E3%83%8D%E3%83%AB%E3%83%95%E3%82%A1%E3%83%9F%E3%83%AA%E3%83%BC + , http://dbpedia.org/resource/L4_microkernel_family + , http://pt.dbpedia.org/resource/L4_%28micron%C3%BAcleo%29 + , http://www.wikidata.org/entity/Q1797819 + , http://fr.dbpedia.org/resource/Micronoyau_L4 + , http://rdf.freebase.com/ns/m.0nqb3 + , http://de.dbpedia.org/resource/L4_%28Mikrokernel%29 + , http://zh.dbpedia.org/resource/L4%E5%BE%AE%E5%86%85%E6%A0%B8%E7%B3%BB%E5%88%97 + , http://fa.dbpedia.org/resource/%D8%AE%D8%A7%D9%86%D9%88%D8%A7%D8%AF%D9%87_%D8%B1%DB%8C%D8%B2%D9%87%D8%B3%D8%AA%D9%87_%D8%A7%D9%84%DB%B4 + , http://ca.dbpedia.org/resource/L4_%28microkernel%29 + , http://cs.dbpedia.org/resource/L4_%28j%C3%A1dro%29 + , https://global.dbpedia.org/id/jvvA +
rdf:type http://www.wikidata.org/entity/Q386724 + , http://dbpedia.org/ontology/Work + , http://www.wikidata.org/entity/Q7397 + , http://dbpedia.org/ontology/Software + , http://schema.org/CreativeWork +
rdfs:comment L4 is a family of second-generation microkL4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable Operating System Interface (POSIX) compliant types. L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices.bs, shipped in billions of mobile devices. , L4 es una familia de micronúcleos de segunL4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la API ha sufrido grandes desarrollos en varias direcciones, tanto buscando un nivel más alto de independencia de plataforma como mejorando seguridad, aislamiento y robustez. Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden). Por esta razón, el nombre L4 ya no se refiere únicamente a la implementación original de Liedtke, sino que se aplica a toda la familia de micronúcleos que incluyen la interfaz del núcleo Lleos que incluyen la interfaz del núcleo L , L4 est un micronoyau de seconde générationL4 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.n arriver ensuite aux micronoyaux actuels. , L4 és una família de micronuclis de segonaL4 és una família de micronuclis de segona generació basada en els dissenys i implementacions originals de l'informàtic alemany Jochen Liedtke. Originalment implementada en codi assemblador altament afinat per a processadors Intel i386, l'API ha patit grans desenvolupaments en diverses direccions, tant buscant un nivell més alt d'independència de plataforma com millorant seguretat, aïllament i robustesa. Hi ha hagut diverses implementacions de la interfície binària del nucli L4 i els seus successors de més alt nivell, incloent-hi L4Ka :: Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) i Fiasco (TU Dresden). Per això, el nom L4 ja no es refereix únicament a la implementació original de Liedtke, sinó que s'aplica a tota la família de micronuclis que inclouen la interfície del nucli L4 i les seclouen la interfície del nucli L4 i les se , L4 – architektura mikrojądra stworzona przL4 – architektura mikrojądra stworzona przez nieżyjącego już , z implementacjami na x86 (oryginalne L4 i Fiasco) oraz MIPS i Alpha. Mikrojądra oparte na L4 są znacznie bardziej wydajne od mikrojąder rodziny Mach. Istnieją korzystające z L4 modyfikacje popularnych jąder monolitycznych, m.in. oparte na Linuksie L4Linux i Wombat. Planowano również przeniesienie GNU Hurd na L4.wano również przeniesienie GNU Hurd na L4. , L4 — микроядро второго поколения, разработL4 — микроядро второго поколения, разработанное Йохеном Лидтке в 1993 году. Архитектура микроядра L4 оказалась успешной. Было создано множество реализаций ABI и API микроядра L4. Все реализации стали называть семейством микроядер L4. Реализация Лидтке неофициально была названа «L4/x86».Лидтке неофициально была названа «L4/x86». , L4マイクロカーネルファミリーは第二世代マイクロカーネルのファミリーで、一般的にはUL4マイクロカーネルファミリーは第二世代マイクロカーネルのファミリーで、一般的にはUnix系のオペレーティングシステムの実装に使われるが他の様々なシステムにも使われる。前身のL3マイクロカーネルと同じように、ドイツのコンピュータ科学者ヨッヘン・リートケによってそれ以前のマイクロカーネルベースのオペレーティングシステムの性能の低さを解決する答えとしてL4は作られた。リートケは性能を最優先に設計したシステムであれば実用的なマイクロカーネルを作ることができるのではないかと考えた。彼のインテルi386のアセンブリ言語でハードコードした最初の実装はコンピュータ産業界の関心を引いた。これを始めとしてL4はプラットフォーム非依存、セキュリティの改善、分離、堅牢性に向けた開発が行われた。4はプラットフォーム非依存、セキュリティの改善、分離、堅牢性に向けた開発が行われた。 , L4 je rodina mikrojader druhé generace nejL4 je rodina mikrojader druhé generace nejčastěji používaných pro implementaci un*xových operačních systémů, ale používaných také v různých jiných systémech. L4 byl stejně jako jeho předchůdce vytvořen německým počítačovým vědcem Jochenem Liedtkem jako odpověď na slabý výkon raných mikrojaderných operačních systémů. Liedtke se domníval, že mikrojádro použitelné pro praxi vznikne spíše na základě systému navrženého pro vysoký výkon, než na základě systému navrženého pro jiné cíle. Jeho původní implementace v ručně psaném assembleru procesoru Intel 80386 vyvolala v počítačovém průmyslu značný zájem. L4 byl už od svého uvedení vyvíjen s důrazem na bezpečnost, izolaci procesů a .důrazem na bezpečnost, izolaci procesů a . , L4 ist der Name einer Familie von MikrokerL4 ist der Name einer Familie von Mikrokerneln, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). L4 gilt als ein Mikrokernel der zweiten Generation, der das Problem des zu langsamen Interkommunikationsprozesses der ersten Mikrokernel-Generation nicht mehr aufweist (zur ersten Generation zählt u. a. Mach). Ein weiterer Mikrokernel der zweiten Generation ist z. B. QNX.rnel der zweiten Generation ist z. B. QNX. , L4是一種微内核构架的作業系統内核,最初由約亨·李德克(Jochen Liedtke)设计,前身為L3微內核。在最开始,L4只是一个由約亨·李德克设计并实现的单一的产品,用于Intel i386上的一个高度优化内核。L4微内核系统由于其出色的性能和很小的体积而开始被计算机工业所认知。随后,L4的系统在多个方面上有了高速的发展,值得提及的是一个更加独立于硬件平台的版本,被称为Pistachio,之后又被移植到了许多不同的硬件构架上。现在已经形成一个微内核家族,包括,,与。 , A família L4 é uma família de micronúcleosA família L4 é uma família de micronúcleos de segunda geração baseada nos projetos e implementações originais do cientista da computação alemão Jochen Liedtke. Foi originalmente implementada como código de montagem extremamente otimizado específico do Intel i386, a interface de programação de aplicativos recebeu desenvolvimento extensivo em várias direções, ambas em obter um nível de e também em melhorar a , isolação e robustez. O L4 é usado em produções de .e robustez. O L4 é usado em produções de .
rdfs:label L4微内核系列 , L4 (jádro) , L4マイクロカーネルファミリー , L4 microkernel family , Micronoyau L4 , L4 (микроядро) , L4 (Mikrokernel) , L4 (microkernel) , L4 (informatyka) , L4 (micronúcleo)
hide properties that link here 
http://dbpedia.org/resource/Jochen_Liedtke + http://dbpedia.org/ontology/knownFor
http://dbpedia.org/resource/SeL4 + , http://dbpedia.org/resource/L3_microkernel + , http://dbpedia.org/resource/L3_%28operating_system%29 + , http://dbpedia.org/resource/OKL4 + , http://dbpedia.org/resource/Liedtke_3 + , http://dbpedia.org/resource/L4/Fiasco + , http://dbpedia.org/resource/L4_%28microkernel%29 + , http://dbpedia.org/resource/L4_kernel + , http://dbpedia.org/resource/L4sec + , http://dbpedia.org/resource/Fiasco_%28L4_clone%29 + http://dbpedia.org/ontology/wikiPageRedirects
http://dbpedia.org/resource/PikeOS + , http://dbpedia.org/resource/Linux_Foundation + , http://dbpedia.org/resource/GNU_Hurd + , http://dbpedia.org/resource/Pistachio_%28disambiguation%29 + , http://dbpedia.org/resource/Multiboot_specification + , http://dbpedia.org/resource/Hypervisor + , http://dbpedia.org/resource/X86_virtualization + , http://dbpedia.org/resource/List_of_operating_systems + , http://dbpedia.org/resource/Formal_verification + , http://dbpedia.org/resource/REX_OS + , http://dbpedia.org/resource/Quark_%28kernel%29 + , http://dbpedia.org/resource/Redox_%28operating_system%29 + , http://dbpedia.org/resource/IGUANA_Computing + , http://dbpedia.org/resource/Comparison_of_operating_system_kernels + , http://dbpedia.org/resource/Comparison_of_open-source_operating_systems + , http://dbpedia.org/resource/Mach_%28kernel%29 + , http://dbpedia.org/resource/RC_4000_multiprogramming_system + , http://dbpedia.org/resource/Spring_%28operating_system%29 + , http://dbpedia.org/resource/Open_Kernel_Labs + , http://dbpedia.org/resource/List_of_important_publications_in_computer_science + , http://dbpedia.org/resource/UNSW_School_of_Computer_Science_and_Engineering + , http://dbpedia.org/resource/Wombat_%28operating_system%29 + , http://dbpedia.org/resource/ARM_architecture_family + , http://dbpedia.org/resource/Security-focused_operating_system + , http://dbpedia.org/resource/Isabelle_%28proof_assistant%29 + , http://dbpedia.org/resource/SeL4 + , http://dbpedia.org/resource/Genode + , http://dbpedia.org/resource/Capability-based_operating_system + , http://dbpedia.org/resource/EROS_%28microkernel%29 + , http://dbpedia.org/resource/Capability-based_security + , http://dbpedia.org/resource/Apple_T2 + , http://dbpedia.org/resource/Fiasco + , http://dbpedia.org/resource/Eumel + , http://dbpedia.org/resource/Jochen_Liedtke + , http://dbpedia.org/resource/L3_microkernel + , http://dbpedia.org/resource/Microkernel + , http://dbpedia.org/resource/Kernel_%28operating_system%29 + , http://dbpedia.org/resource/OpenVMS + , http://dbpedia.org/resource/DEC_Alpha + , http://dbpedia.org/resource/Darwin_%28operating_system%29 + , http://dbpedia.org/resource/List_of_computer_scientists + , http://dbpedia.org/resource/List_of_programmers + , http://dbpedia.org/resource/L4Linux + , http://dbpedia.org/resource/Paravirtualization + , http://dbpedia.org/resource/Openmoko + , http://dbpedia.org/resource/VirtualLogix + , http://dbpedia.org/resource/L4 + , http://dbpedia.org/resource/L3_%28operating_system%29 + , http://dbpedia.org/resource/OKL4 + , http://dbpedia.org/resource/Liedtke_3 + , http://dbpedia.org/resource/L4/Fiasco + , http://dbpedia.org/resource/L4_%28microkernel%29 + , http://dbpedia.org/resource/L4_kernel + , http://dbpedia.org/resource/L4sec + , http://dbpedia.org/resource/Fiasco_%28L4_clone%29 + , http://dbpedia.org/resource/L4_microkernel + http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/PikeOS + , http://dbpedia.org/resource/Wombat_%28operating_system%29 + , http://dbpedia.org/resource/Eumel + http://dbpedia.org/property/family
http://dbpedia.org/resource/Jochen_Liedtke + http://dbpedia.org/property/knownFor
http://dbpedia.org/resource/Eumel + http://dbpedia.org/property/succeededBy
http://en.wikipedia.org/wiki/L4_microkernel_family + http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/L4_microkernel_family + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.