微内核评估
杨枫_mind
这个作者很懒,什么都没留下…
展开
-
我认为微内核的意义(4)-分析微内核效率
我在没做过实际测试的情况下论述微内核效率的问题似乎有所不妥,我提出效率的问题也是有机制上的依据的,因为我能在两个问题上提出优化的空间。这两个问题都是基于目前架构最优秀的zircon微内核(我认为),或是形式化验证过得sel4微内核。1.微内核进程间通讯效率短消息机制使微内核利用寄存器实现了进程间短数据的快速传递,这是非常好的机制,非常好的解决了短消息的传递。不过很明显对于一个微内核来...原创 2020-01-14 15:46:37 · 1225 阅读 · 0 评论 -
我认为微内核的意义(3)-分析zircon内核中的对象
Zircon内核是基于对象的,用户态差不多仅通过对象Handles与OS资源交互,一个Handle可以认为是一个与OS特定资源的子系统范围的活跃的回话。 Zircon动态管理的资源有:处理器时间;内存和地址空间;设备I/O内存;中断;信号和等待。 内核为应用提供的对象: IPC 通道;Socket;FIFO。 任务 进程;线程;JoB;任务...原创 2020-01-14 15:46:22 · 2158 阅读 · 0 评论 -
我认为微内核的意义(2)-分析zircon
简介 内核消息是一些不同类型的对象。这些对象可以直接通过syscall调用,并且这些对象是C++的类,由调度接口实现,位于kernel/object目录。许多是自包含的高阶对象,一些是包含低阶的lk原语。 syscall 用户空间代码与内核对象的交互通过syscall,大多数仅通过Handle。在用户空间,一个Handle是32位整型(zx_handle_t)。进...原创 2020-01-14 15:46:15 · 1798 阅读 · 0 评论 -
我认为微内核的意义(1)
一直都在学习或分析与内核相关的东西,无论宏内核Linux或微内核,微内核的社群(社区有点窄,群体又不明确,社区群体吧,就社群了),一直想要在性能上超越Linux。从第一次微内核失败开始,每隔一段时间就会有微内核要媲美Linux的声音出现:我们出了基于消息的IPC机制,颤抖吧Linux;我们出了基于capability的安全机制,颤抖吧Linux。而Linux很遗憾的没有颤抖,相反Linus同志替...原创 2020-01-14 15:46:15 · 554 阅读 · 0 评论 -
seL4微内核操作系统初期总结 2018.10
ab12696@qq.com衷心感谢您的拜读,希望我的分析对您有所帮助;另外,若您发现本文分析错误,或seL4版本更新特性变化,您可以发邮件告诉我,以便我能及时更新。考虑到关于信息量较多,在阅读过程中难免出现语义难明的词汇,对于前文出现的所有非公共词汇,后文均会明确其含义,请耐心阅读。seL4综述——可能是一个以权限控制为基础的微内核——————————seL4相关理念—————————...原创 2020-01-14 15:45:54 · 1916 阅读 · 0 评论 -
fuchsia虚拟化进程评估 2018.10
fuchsia是一个基于微内核zircon的富操作系统 ————————————————fuchsia的VMM———————————————— 1.fuchsia内建的模拟器Machina库 基于zircon,提供虚拟外设,集成garnet系统,像是QEMU,支持Virtio的OS虚拟化标准(KVM也支持,宿主机和虚拟机通过Vsock-vi...原创 2020-01-14 15:45:46 · 1034 阅读 · 0 评论 -
思考做工业物联网操作系统需要什么 2018.10
1.面向哪部分开发者 2.内核?还是系统? 3.内核组成, 为物联网,我们摘取其中? 小物联网 1.CPU低速(MB) 2.小内存(KB) 3.小flash/rom(MB) 4.多驱动、多外设 1.有调度需求 2.要锁 3.要线程 4.要中断管理 5.弱内存管理...原创 2020-01-14 15:45:16 · 269 阅读 · 0 评论 -
当前时间节点的LiteOS评述 2018.9
从设计就是为了低速芯片,ARM-M0/3/7等等~~~~ 1.也就没有虚拟、物理内存的区别, 2.也就没有内核态等区别 3.于是开发的业务代码其实是写到了LiteOS的一部分 本质上是一个大程序。。。 但是,LiteOS确实做到了: 1.真实做了线程和调度,有优先级 2.真实的有互斥锁...原创 2020-01-13 14:26:30 · 219 阅读 · 0 评论