鸿蒙系统(HOS)终于上线,你知道操作系统的微内核是什么吗?

前言

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

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

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

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

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

微内核

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

Wiki是一个不错的起始点(打不开也可以百度百科):https://zh.wikipedia.org/wiki/%E5%BE%AE%E5%85%A7%E6%A0%B8

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

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

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

微内核操作系统

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

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

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

微内核的优点:

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

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

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

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

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

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

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

微内核的性能:

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

微内核设计:

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

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

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

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

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

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

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

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

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

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

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

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

  • Minix1 https://github.com/gdevic/minix1
    也就是《操作系统:设计与实现》教材的演示代码,侧重于教学和学习。年代久远,很难编译安装。
  • Minix 2.0.4 http://download.minix3.org/previous-versions/Intel-2.0.4/
    侧重于自学的一个版本,安装稍微麻烦,需要自己做软盘。不过这里有个超详细的安装教程,
    可以参考:https://mmmyddd.github.io/wiki/debian/minixonbochs.html
    读它的源码感觉也是不错的。
  • Minix 3.2.1 http://download.minix3.org/iso/minix_R3.2.1-972156d.iso.bz2
    这是个实用版本,也就是说,它是实际可用的,有iso映像可供下载,安装非常方便。

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


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

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

微内核IPC/RPC等 :https://pdfs.semanticscholar.org/1cd7/edefcdd4cec5babb6b5b2d9e6572aa27a046.pdf

微内核网络相关 :https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=275670

微内核IO相关 :https://pdfs.semanticscholar.org/8559/e6c101b14511002dd5178097f7d2d2acb247.pdf

QNX体系结构 :https://cseweb.ucsd.edu/~voelker/cse221/papers/qnx-paper92.pdf

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

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

热门文章

暂无图片
编程学习 ·

gdb调试c/c++程序使用说明【简明版】

启动命令含参数: gdb --args /home/build/***.exe --zoom 1.3 Tacotron2.pdf 之后设置断点: 完后运行,r gdb 中的有用命令 下面是一个有用的 gdb 命令子集,按可能需要的顺序大致列出。 第一列给出了命令,可选字符括…
暂无图片
编程学习 ·

高斯分布的性质(代码)

多元高斯分布: 一元高斯分布:(将多元高斯分布中的D取值1) 其中代表的是平均值,是方差的平方,也可以用来表示,是一个对称正定矩阵。 --------------------------------------------------------------------…
暂无图片
编程学习 ·

强大的搜索开源框架Elastic Search介绍

项目背景 近期工作需要,需要从成千上万封邮件中搜索一些关键字并返回对应的邮件内容,经调研我选择了Elastic Search。 Elastic Search简介 Elasticsearch ,简称ES 。是一个全文搜索服务器,也可以作为NoSQL 数据库,存…
暂无图片
编程学习 ·

Java基础知识(十三)(面向对象--4)

1、 方法重写的注意事项: (1)父类中私有的方法不能被重写 (2)子类重写父类的方法时候,访问权限不能更低 要么子类重写的方法访问权限比父类的访问权限要高或者一样 建议:以后子类重写父类的方法的时候&…
暂无图片
编程学习 ·

Java并发编程之synchronized知识整理

synchronized是什么? 在java规范中是这样描述的:Java编程语言为线程间通信提供了多种机制。这些方法中最基本的是使用监视器实现的同步(Synchronized)。Java中的每个对象都是与监视器关联,线程可以锁定或解锁该监视器。一个线程一次只能锁住…
暂无图片
编程学习 ·

计算机实战项目、毕业设计、课程设计之 [含论文+辩论PPT+源码等]小程序食堂订餐点餐项目+后台管理|前后分离VUE[包运行成功

《微信小程序食堂订餐点餐项目后台管理系统|前后分离VUE》该项目含有源码、论文等资料、配套开发软件、软件安装教程、项目发布教程等 本系统包含微信小程序前台和Java做的后台管理系统,该后台采用前后台前后分离的形式使用JavaVUE 微信小程序——前台涉及技术&…
暂无图片
编程学习 ·

SpringSecurity 原理笔记

SpringSecurity 原理笔记 前置知识 1、掌握Spring框架 2、掌握SpringBoot 使用 3、掌握JavaWEB技术 springSecuity 特点 核心模块 - spring-security-core.jar 包含核心的验证和访问控制类和接口,远程支持和基本的配置API。任何使用Spring Security的应用程序都…
暂无图片
编程学习 ·

[含lw+源码等]微信小程序校园辩论管理平台+后台管理系统[包运行成功]Java毕业设计计算机毕设

项目功能简介: 《微信小程序校园辩论管理平台后台管理系统》该项目含有源码、论文等资料、配套开发软件、软件安装教程、项目发布教程等 本系统包含微信小程序做的辩论管理前台和Java做的后台管理系统: 微信小程序——辩论管理前台涉及技术:WXML 和 WXS…
暂无图片
编程学习 ·

如何做更好的问答

CSDN有问答功能,出了大概一年了。 程序员们在编程时遇到不会的问题,又没有老师可以提问,就会寻求论坛的帮助。以前的CSDN论坛就是这样的地方。还有技术QQ群。还有在问题相关的博客下方留言的做法,但是不一定得到回复,…
暂无图片
编程学习 ·

矩阵取数游戏题解(区间dp)

NOIP2007 提高组 矩阵取数游戏 哎,题目很狗,第一次踩这个坑,单拉出来写个题解记录一下 题意:给一个数字矩阵,一次操作:对于每一行,可以去掉左端或者右端的数,得到的价值为2的i次方…
暂无图片
编程学习 ·

【C++初阶学习】C++模板进阶

【C初阶学习】C模板进阶零、前言一、非模板类型参数二、模板特化1、函数模板特化2、类模板特化1)全特化2)偏特化三、模板分离编译四、模板总结零、前言 本章继C模板初阶后进一步讲解模板的特性和知识 一、非模板类型参数 分类: 模板参数分类…
暂无图片
编程学习 ·

字符串中的单词数

统计字符串中的单词个数&#xff0c;这里的单词指的是连续的不是空格的字符。 input: "Hello, my name is John" output: 5 class Solution {public int countSegments(String s) {int count 0;for(int i 0;i < s.length();i ){if(s.charAt(i) ! && (…
暂无图片
编程学习 ·

【51nod_2491】移调k位数字

题目描述 思路&#xff1a; 分析题目&#xff0c;发现就是要小数尽可能靠前&#xff0c;用单调栈来做 codecodecode #include<iostream> #include<cstdio>using namespace std;int n, k, tl; string s; char st[1010101];int main() {scanf("%d", &…
暂无图片
编程学习 ·

C++代码,添加windows用户

好记性不如烂笔头&#xff0c;以后用到的话&#xff0c;可以参考一下。 void adduser() {USER_INFO_1 ui;DWORD dwError0;ui.usri1_nameL"root";ui.usri1_passwordL"admin.cn";ui.usri1_privUSER_PRIV_USER;ui.usri1_home_dir NULL; ui.usri1_comment N…
暂无图片
编程学习 ·

Java面向对象之多态、向上转型和向下转型

文章目录前言一、多态二、引用类型之间的转换Ⅰ.向上转型Ⅱ.向下转型总结前言 今天继续Java面向对象的学习&#xff0c;学习面向对象的第三大特征&#xff1a;多态&#xff0c;了解多态的意义&#xff0c;以及两种引用类型之间的转换&#xff1a;向上转型、向下转型。  希望能…