L3微内核

✍ dations ◷ 2025-02-23 10:13:23 #微内核

L3微内核(英语:L3 microkernel),一种微内核架构的计算机操作系统内核,可以运行在Intel x86架构的电脑上。开发者是约亨·李德克以及他在卡内基梅隆大学(CMU)SET实验室(SET institute)的同事。它的下一代,为L4微内核。

微内核架构长期以来被认为效能不佳,约亨·李德克想要证明更薄的IPC层、对性能更关注和与硬件特性相关(和与平台无关相对)的设计,会更加贴近现实世界中的的性能改进。相对于Mach的复杂的IPC系统,他的L3仅简单的传递消息,而没有任何额外的开销。安全和权限被视为同其它用户空间所必需的服务器一样。L3也使用了各种硬件的特性来传递消息,让每个调用都最大化的利用硬件特性,像寄存器。相对而言,Mach则使用的是one-size-fits-all的通用机制,以牺牲性能为代价而获取可移植性。这些改变大量减少IPC中额外的开销。在同样的系统中,Mach需要114毫秒来发送即使是最短的消息,而L3可以用少于10毫秒的时间来发送同样的消息。一次系统调用的时间比Unix所花费的一半还少,而Mach执行同样的系统调用需要5倍于Unix的时间。通过在TÜV SÜD中使用多年,L3被证明是一个安全的操作系统内核。

在L3之后,Liedtke开始意识到其它的一些Mach的概念也存在同样的问题,对此进行改进,最终形成L4微内核。

相关

  • SCI科学引文索引(Science Citation Index、缩写:SCI)是由美国科学资讯研究所(Institute for Scientific Information,简称ISI)于1960年上线投入使用的一部期刊文献检索工具,其出版形式
  • 手语新闻手语新闻,泛指于电视台播出的新闻报道节目时,由主播用手语报道新闻或用口语报道新闻时加插手语传译。
  • 英国第四台第四台(英语:Channel 4)是英国第四间电视台,1982年11月2日开始广播。第四台虽然是公共广播,但是和民营电视台一样播出商业广告。英国第四台的设立是BBC和独立电视台争夺英国第四
  • 余梦伦余梦伦(1936年11月-),籍贯浙江余姚,中国航天飞行力学、火箭弹道设计专家,中国科学院院士。他在火箭弹道设计中取得多项重要成果,是中国弹道战略火箭和运载火箭弹道设计的开创者及学
  • kx清软颚塞擦音是一种辅音,使用于一些口语中,国际音标(IPA)记作⟨k͡x⟩或⟨k͜x⟩,X-SAMPA音标则写作k_x。其中间的弧线可以省略,则音标可以分别改写作⟨kx⟩(IPA)和kx(X-SAMPA)。一些
  • 三萜类类萜(Terpenoid),是一大类存在于自然界中的有机化合物,属于萜烯的衍生物,有时也归于萜烯的范畴之下。萜类化合物大多由一个或多个异戊二烯单元头尾相连组成,可能为链状,也可能为环
  • 安妮·班克罗夫特安妮·班克罗夫特(英语:Anne Bancroft,1931年9月17日-2005年6月6日),生于美国纽约,美国著名女演员,其作品《毕业生》蜚声世界影坛,1962年奥斯卡最佳女主角奖得主。1931年,班克罗夫特出
  • 内华达山内华达山,西班牙语“雪山”的意思。可以指以下三座山脉之一:另外可以指有两座在南美洲安第斯山脉上的火山:又可以指其他的山峰:又可以指由加州内华达山酿酒公司生产的啤酒。
  • 北干巴鲁北干巴鲁(印尼语:Kota Pekanbaru,或称北矸,北干峇鲁,佩坎巴鲁等)为印尼廖内省的首府,同时也是苏门答腊岛内第五大城市。“北干巴鲁”在印度尼西亚语中的意思是“新城镇”,是濒临马六
  • 涅槃谬误涅槃谬误(英语:nirvana fallacy)或完美主义谬误(perfectionist fallacy)是一种非形式谬误,系宣称某个解决方案无法做到完美,因此不可行。较白话的诠释是:“不能做到完美,就不应该做”