前言
此前在华为Mate X2发布会上，华为表示鸿蒙系统将于今年4月与你们正式见面。而就在昨天，也就是4月27号，鸿蒙系统终于推送升级了，花粉狂喜，黑粉狂喷。html
若是你问我鸿蒙系统的性能怎么样，我持保留意见。 若是你问我升不升级鸿蒙系统，我tm直接冲锋 
这个开机界面仍是蛮爽的！并且把power by android去掉了。android
可是这次升级，面向的对象依然是开发者，不建议普通消费者拿主力机型冒然升级，手里只有一台华为机的朋友强烈不建议。git
关于花粉和黑粉的争论大可没必要去在乎，由于二者的观点都没什么价值，花粉只要是华为的东西就狂吹，虽然我也站华为，但不得不说有些吹得实在是太尬了，那种几年赶超别人几十年的言论真的让我双脚能扣出一栋别墅。至于黑粉，不是蠢就是坏要么就是单纯闲得慌，不值一提。程序员
因此我这篇文章并非要站队，而是借着鸿蒙系统来普及一下操做系统究竟是什么，网上吵得翻天地覆的人百分之九十九都不知道微内核是什么，甚至不知道操做系统内核的概念，都不知道支撑他们争吵的基石是什么。github
微内核
关于微内核的资源，并非不少，在实际工做和生活中，大型互联网公司的研发都并无什么机会接触到微内核，更别说普通用户了，就连不少资深程序员都不多有人能接触到微内核的操做系统，互联网公司广泛使用的Linux内核是一个典型的宏内核，而Windows则是一个混合内核，若要学习微内核，还真没有什么好的平台。web
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