![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
sel
文章平均质量分 90
LinHan_Li
这个作者很懒,什么都没留下…
展开
-
sel4线程和执行
sel4 线程和执行线程seL4提供了表示执行上下文和管理处理器时间的线程。在seL4中,线程由其线程控制块对象(TCB)表示。每个TCB都有一个相关的CSpace(见第3章)和VSpace(见第7章),它们可以被其他线程共享。TCB还可以有一个IPC缓冲区(见第4章),用于在IPC或内核对象调用期间传递不适合体系结构定义的消息寄存器的额外参数。虽然一个线程不需要有IPC缓冲区,但是它不能执行大多数内核调用,因为它们需要cap传输。每个线程只属于一个安全域(见6.3节)。线程创建与其他对象一样,tc原创 2021-03-10 22:16:06 · 879 阅读 · 0 评论 -
sel4 手册总结之介绍与内核服务和对象
1.介绍SEL4微内核是一个操作系统内核,被设计成在各种应用领域中为系统提供安全、安全和可靠的基础。作为一个微内核,它为应用程序提供了少量的服务,例如创建和管理虚拟地址空间,线程的抽象,进程间通信的抽象。内核的小尺寸也有助于对最坏情况下的执行时间进行完整而合理的分析。本手册从用户的角度描述sel4内核的API。本文首先简要概述了seL4微内核设计,然后介绍了seL4内核向用户空间公开的高级API。2.内核服务和对象微核提供了有限数量的服务原语,更多的复杂服务可以作为这些原语之上的应用程序来实现原创 2021-01-18 17:38:08 · 3385 阅读 · 2 评论