内核对象-db31dsjz005-2020 数据公共安全分级指南
5星
- 浏览量: 0
- 大小:None
- 文件类型：None
简介：
《数据公共安全分级指南》针对db31dsjz005标准下的内核对象进行深入分析，旨在提供一套详细的数据安全管理方案和实施策略。
2.3 内核对象
操作系统的内核提供的许多功能实际上是由运行在内核态的程序提供给用户的。例如，在Linux这样的操作系统中，这些程序可能是驱动或以伪驱动形式存在的内核程序。
seL4中的内核对象是向用户程序所提供的一组功能集。应用程序看到的这些内核对象与内核眼中的对象具有相同的接口；也就是说，服务态程序中所见的对象并未被单独包装过，只是需要通过句柄来标识它们。
CNodes：存储访问特定对象方法所需的句柄（capabilities）。每个CNode包含固定数量的槽（slot），在创建时确定其数量。这些槽可以存放一个或多个句柄或者为空。
线程控制块（TCBs）：线程是seL4中执行与调度的基本单位，提供阻塞、非阻塞等功能。
IPC端点：
- 同步端点 (Endpoint)：发送消息的线程会一直等待直到其消息被接收；
- 异步端点 (AsyncEP)：只允许短消息传递且不会使发送者陷入等待状态。
一个指向这些端点的句柄可以限定为仅用于发送或接受，并可以在进程间传输。
虚拟地址空间对象：
创建和管理虚拟地址空间（VSpace）的对象。它们可被分配给单个线程或多线程使用，负责映射物理存储设备如页目录等，内核还包括ASID Pool及ASID Control对象来跟踪内存状态。
中断对象：提供接收并确认硬件设备发出的中断的能力。
原始内存：
在seL4中作为内存分配的基础。未类型化的内存能力具有创建新内核对象的方法。如果方法成功，则调用线程将获得对新建对象的能力访问权；并且，可以分割为一组较小的未类型化内存对象以委托部分（或全部）系统内存。
这些是操作系统seL4中重要的核心概念和数据结构。
全部评论 (0)
