鸿蒙系统(HOS)终于上线,微内核操作系统科普

1,837 阅读10分钟

前言

此前在华为Mate X2发布会上,华为表示鸿蒙系统将于今年4月与大家正式见面。而就在昨天,也就是4月27号,鸿蒙系统终于推送升级了,花粉狂喜,黑粉狂喷。

如果你问我鸿蒙系统的性能怎么样,我持保留意见。 如果你问我升不升级鸿蒙系统,我tm直接冲锋 HOS开机动画 这个开机界面还是蛮爽的!而且把power by android去掉了。

但是此次升级,面向的对象依然是开发者,不建议普通消费者拿主力机型冒然升级,手里只有一台华为机的朋友强烈不建议。

关于花粉和黑粉的争论大可不必去在意,因为两者的观点都没什么价值,花粉只要是华为的东西就狂吹,虽然我也站华为,但不得不说有些吹得实在是太尬了,那种几年赶超别人几十年的言论真的让我双脚能扣出一栋别墅。至于黑粉,不是蠢就是坏要么就是单纯闲得慌,不值一提。

所以我这篇文章并不是要站队,而是借着鸿蒙系统来普及一下操作系统到底是什么,网上吵得翻天地覆的人百分之九十九都不知道微内核是什么,甚至不知道操作系统内核的概念,都不知道支撑他们争吵的基石是什么。

微内核

关于微内核的资源,并不是很多,在实际工作和生活中,大型互联网公司的研发都并没有什么机会接触到微内核,更别说普通用户了,就连很多资深程序员都很少有人能接触到微内核的操作系统,互联网公司普遍使用的Linux内核是一个典型的宏内核,而Windows则是一个混合内核,若要学习微内核,还真没有什么好的平台。

Wiki是一个不错的起始点(打不开也可以百度百科):zh.wikipedia.org/wiki/%E5%BE…

摘录一张经典的对比操作系统微内核和宏内核的图示:

收集了一个介绍Minix的PPT,感兴趣的朋友可以点击领取,自己看一下,不过英语不过关的可能要借助翻译工具才能看懂,哈哈

几乎所有讲微内核的文章都采用以上这个图,但是除此之外,基本就是空洞的总结了,无外乎微内核更加容易扩展,更稳定,而宏内核则性能优越之类云云。但这些并不能让读者体会微内核的实质,因为这些总结性的理论通常是给已经懂的人看的,它无法给初学者带来感官上的感受。

微内核操作系统

微内核的基本原理是:只有最基本的操作系统功能才放入内核中。非基本的服务和应用程序在内核之上构建,并在用户模式下运行。关于什么功能应该放入微内核,不同的设计有不同的方式,但是共同特点是许多传统上属于操作系统一部分的功能现在都是外部子系统,包括设备驱动程序文件系统虚存管理程序窗口系统安全服务,它们可以和内核交互,也可以相互交互。

  微内核结构使用一个水平分层代替传统的纵向分层,所有微内核之外的操作系统构件都被当作服务进程来实现,它们可以通过微内核传递消息来实现相互之间的交互。因此,微内核还可以验证消息并授权访问硬件,而且微内核还执行保护功能,阻止非法的信息等。

  例如,应用程序如果要打开一个文件,则它发送消息给文件系统服务,如果他想创建一个进程或线程,则它发送消息给进程服务进程。每个服务进程之间可以相互通信,并可以调用微内核中的功能。

微内核的优点:

  提供一致的接口:微内核设计为进程请求提供一致的接口,进程不在需要区分内核级服务还是用户级服务,因为都是通过消息传递;

  可扩展性:使用微内核结构,当需要为系统增加新的服务时,只是增加一个新的服务进程,而不是修改内核;

  灵活性:可以根据需要定制不同的服务进程,例如分布式系统需要增加安全性相关的服务;

  可移植性:在微内核结构中,大部分处理器专用代码都在微内核中,如果需要移植到另一个处理器上时,需要修改的代码很少;

  可靠性:模块化的结构有利于增加稳定性,而且足够小的微内核更能进行充分的测试,为外部的系统服务提供更稳定的代码。而且它只提供少量的API和交互方式给程序员,可以减少组件之间的相互影响;

  分布式系统的支持:如果一个客户往一个服务进程发送消息时,该消息包含请求服务的标识符。在分布式系统被配置为所有进程和服务都具有唯一的标识符,那么实际上在微内核级别上有一个单独的系统映像,进程可以在不知道目标服务驻留在哪台机器上的情况下发送信息;

  适用于面向对象设计:微内核设计和操作系统模块化的开发都可以借助面向对象的原理。例如,一种方式是构造组件,组件间通过组建接口交互,它们可以通过搭积木的方式构件软件;

微内核的性能:

  通过微内核构造和发送消息,比直接进行一次系统调用发花费更多时间。一种解决方式是将一些关键服务和驱动程序重新放回内核中,可以减少用户-内核模式以及进程间的切换次数,但是这是以牺牲微内核的设计强度为代价;另一种解决方式是通过正确的设计,构造一个非常小的内核,可以消除消除性能损失并提高灵活性。

微内核设计:

  低级存储器管理:微内核必须控制硬件上的地址空间,使得操作系统可以在进程级进行保护。微内核只负责把每个虚页映射到一个物理页帧,而存储管理部分则在内核外实现,包括保护一个进程的地址空间不被其他进程干涉,页面替换算法以及分页逻辑。例如,内核外的虚拟存储器负责何时把一个页面调入存储器或者何时换出一个页面,而内核就负责将这些页面索引映射到物理地址。

  当一个应用程序发生引用了不在主存中的一页的时候,,内核发生缺页错误并执行陷阱,内核给页面管理器所在进程发送一条消息。页面管理器决定装载页面并分配一个页帧,页面管理器和内核进行交互,以把页面管理器的逻辑操作映射到物理存储器。一旦该页可用,页面管理器就给应用程序发送一条中断恢复的消息。

  

  这种技术可以不用调用内核操作,就将文件和数据库映射到用户地址空间。微内核一共提供了三个内核操作用于支持核外的分页和虚存管理:

    授权:一个地址空间的所有者可以授权其他进程使用它的某些页。内核把这些页从授权者的地址空间移出,并把它们分配给指定的进程;

    映射:一个进程可以把它的任何页映射到另一个进程的地址空间,使得两个进程都可以访问这些页,就形成了共享内存。内核把这些页面分配给最初的所有者,为其他进程   提供一个映射以便访问它们;

    刷新:进程可以回收授权给其他进程或者映射到另外进程的任何页面;

  进程间的通信:微内核操作系统中,进程之间或者线程之间进行通信的基本方式是消息。消息包括消息头和消息体:消息头描述了发送和接受消息的进程;消息体包含数据或者指向数据的指针。

  可以认为进程间通信是基于与进程相关联的端口(某个进程的消息序列),端口可以表明那些进程可以与这个进程通信。端口的标识和功能由内核维护,进程可以给内核发送一条指明新端口功能的消息,进程可以允许对自身授权新的访问。

  地址空间不重叠的进程间的消息传递涉及到存储器到存储器的复制,因此受限于存储器的速度,复制的速度会远远低于处理器的速度。

  I/O和中断管理:在为内核结构中,硬件中断可能被当作消息处理。微内核可以识别中断但是不处理中断,它会产生一条消息给与该中断相关联的用户级线程。因此,当允许一个中断时,一个特定的用户级进程被指派给这个中断,并由内核维护这个映射。把中断转换为消息的工作必须由微内核完成,但是微内核并不涉及设备专用的中断处理。

  把硬件看做一组具有唯一标识号的线程,并给用户空间中相关的软件线程发送消息,接受线程确定消息是否来自一个中断,并确定具体是哪个中断。

 

按照理解一个操作系统的常规步骤,首先,你要先让一个系统跑起来再说其它,至少你要知道它长什么样子吧。 Minix目前有三个主要的版本:

感兴趣的朋友可以分别去安装测试一下,通读一下源码。


就写到这吧,关于鸿蒙系统行不行的问题,支持的就去申请做用户测试,成天在网上吹毛用没有。不支持的就静静看着,如果真不行,你总有一天可以看他起高楼,眼看他宴宾客,眼看他楼塌了,又何必着急呢

下面这几个资源还不错,可以一读:

微内核IPC/RPC等pdfs.semanticscholar.org/1cd7/edefcd…

微内核网络相关ieeexplore.ieee.org/stamp/stamp…

微内核IO相关pdfs.semanticscholar.org/8559/e6c101…

QNX体系结构cseweb.ucsd.edu/~voelker/cs…

除了这些空洞的操作系统理论概念,我们还有一个活生生的Minix。

Minix介绍 Minix是Andrew S. Tanenbaum所著《操作系统:设计与实现》教材的示例代码。喜欢操作系统的都应该去读一下这本书。这本书是非常少见的以一个完整的操作系统实现来讲操作系统原理的教材,风格非常不一般。
Linus的Linux内核本身就参考了Minix,如果你去看Linux 0.1/1.0等早期的代码,就会发现它和Minix是多么的相似,很多函数名字都是一样的。
更多详情,参见: Minix的Wiki页面:zh.wikipedia.org/wiki/MINIX