本文译至:http://sel4.systems/CAmkES/About.pml
关于CAmkES
CAmkES是面向seL4的一个基于组件的软件平台。它提供了一个软件开发和运行时平台,允许开发人员设计基于seL4的系统作为交互组件的集合。
动机
基于微内核的多服务器操作系统被设计成一个保护和分离服务的集合,服务之间通过进程间通信机制进行通信。由于这些服务是由内核和硬件...
分类:
其他好文 时间:
2014-08-31 15:50:41
阅读次数:
526
本文译至:http://sel4.systems/FAQ/ 译者:萝卜
什么是seL4?
seL4是L4微内核家族中最先进的成员,值得注意的是其全面的形式验证,这使它有别于其他任何操作系统。seL4达成这个目标同时不会影响性能。
什么是微内核?
微内核是操作系统(OS)的最小核心。它呈现的是今天通常被认为的操作系统的一个很小的子集。微内核的定义由利特克给出[SOSP'95]:一...
分类:
其他好文 时间:
2014-08-24 11:42:32
阅读次数:
444
MINIX3 中断机制源码分析 下面我们来探讨下 MINIX 中断处理函数的具体处理流程: 由前面的章节知道,MINIX 的架构是标准的微内核结构,除了时钟中断处理程 序可以直接在内核态进行,其他的都只能从用户态,用户态像内核态发送消息。 假设我们是一个内核设计者,怎么能够将这种机制实现呢?我们会在...
分类:
其他好文 时间:
2014-08-22 15:57:39
阅读次数:
281
一个操作系统的分析是属于一个非常庞大的工程,操作系统就像是一个人造的 人,每一个模块想完全发挥功效,很有可能需要很多模块的支持才能够实现。所 以在分析 MINIX3 时,我认为同时看多个模块对于理解 MINIX3 是有好处的,特 别是因为 MINIX3 是采用微内核结构,也就造成阅读源码的一个比较大...
分类:
其他好文 时间:
2014-08-22 15:47:39
阅读次数:
285
一个或多个进程可向消息队列写入消息,而一个或多个进程可从消息队列中读取消息,这种进程间通讯机制通常使用在客户/服务器模型中,客户向服务器发送请求消息,服务器读取消息并执行相应请求。在许多微内核结构的操作系统中,内核和各组件之间的基本通讯方式就是消息队列。例如,在 MINIX 操作系统中,内核、I/O 任务、服务器进程和用户进程之间就是通过消息队列实现通讯的。
Linux中的消息可以被描述成在内核...
分类:
系统相关 时间:
2014-08-12 17:09:54
阅读次数:
344
1. 两大类型:微内核(级联树形结构)与巨内核(管理容器,并联结构)。 1
2. 通用插件接口 1
3. 插件的绑定and 初始化 2
4. 微内核插件平台设计 2
5. 参考 2
1. 两大类型:微内核(级联树形结构)与巨内核(管理容器,并联结构)。
插件系统主要有两大类型:微内核(级联树形结构)与巨内核(管理容器,并联结构)。
其中,微内核的主要特点是拥有...
分类:
其他好文 时间:
2014-07-03 18:20:39
阅读次数:
178
相对于使用进程实现并发,用线程的实现更加轻量。每个线程都是独立的逻辑流。线程是CPU上独立调度运行的最小单位,而进程是资源分配的单位。当然这是在微内核的操作系统上说的,简言之这种操作系统的内核是只提供最基本的OS服务,更多参看点击打开链接
每个线程有它自己的线程上下文,包括一个唯一的线程ID(linux上实现为unsigned long),栈,栈指针,程序计数器、通用目的寄存器和条件码,...
分类:
编程语言 时间:
2014-06-16 12:28:38
阅读次数:
296
当我开始了解《微服务架构》的时候,我发现里面的中文文章是相当的少,于是开始试着翻译一些文章,比如这一篇《微服务——不是免费的午餐》。这篇文章是在某次讨论结束后听到的,和之前类似的是这种区别有点类似于之前说的微内核与宏内核的区别。译文如下:文章是由Contino公司的CTO,Benjamin Wootton写的。Contino是一家在伦敦的咨询公司,专注于DevOps和持续支付。Microservi...
分类:
其他好文 时间:
2014-06-05 02:59:19
阅读次数:
293
最近终于把实现多任务的微内核调试了一遍,我们阐述了如何在保护模式下切换任务。同时知识包括:gdt,idt,ldt,tss,时钟中断服务,特权级切换,显存编程,boot和loader功能,bios调用等等。详细知识还要在实践中摸索学习,希望大家一起进步。这篇文章仅仅做个记录,如有亲身调试过代码,可能不大好理解。接下几天重点看看0.12启动程序,多分页需要更加深入了解。
;#Mode=Dos ;放在...
分类:
系统相关 时间:
2014-05-15 13:34:12
阅读次数:
568
写这篇文章是看到一个as汇编器里编写的汇编代码,有一个指令int 80h没有搞懂,然后自己查资料发现不少东西,本文旨在浅显的分析linux的系统调用,主要是linux0.12内核来说!
目前操作系统内核的结构模式主要分为整体式的单内核和层次式的微内核模式。而0.12内核是单内核模式。在单内核模式的系统中,操作系统提供服务的流程:应用程序使用指定的参数值执行系统调用指令(int 80h),使CPU...
分类:
系统相关 时间:
2014-05-07 03:22:49
阅读次数:
468