2.3 内核对象 操作系统内核提供的功能,很多并不是内核本身提供的,而是跑在内核态的程序提供 的,象Linux这样的操作系统的内核,这类内核程序可能是驱动,或以伪驱动形式存在的 内核程序。 seL4中的内核对象是内核向用户程序提供的一组功能集,应用程序眼中的这些内核对 象,与内核眼中的这些对象,在接口上是一样的,就是说,服务态程序中看到的这些对象, 并没被单独包装过,只是需要通过句柄才能标识这些对象。  CNodes 存储句柄(capabilities),以使线程可以访问特定对象中的方法。每个CNode有固定 数量的槽(Slot),槽的数量于CNode创建时确定,槽中可以有一个句柄,也可以为空。  线程控制块 Thread Control Blocks (TCBs) 线程是seL4中执行与调度的基本单位,提供有阻塞、非阻塞等等功能。  IPC端点 IPC Endpoints 实现线程间的通信,seL4内核提供有下列两种端点:  同步端点 Synchronous endpoints (Endpoint), which cause the sending thread to block until its message is received; and  异步端点 Asynchronous endpoints (AsyncEP), which only allow short messages to be sent, but do not cause the sender to block. 一个指向端点的句柄可以被限定为只发送(send-only)或只接收(receive-only), 并可以被设置为可以在线程间传递。  虚拟地址空间对象 Virtual Address Space Objects 用来创建虚拟地址空间(或VSpace),这些虚拟地址空间可以给一个线程或多个线程 使用。这些对象管理着物理的存储设备,例如,页字典(page directory)管理着页 表(page directory),页表就是让你的虚拟地址与物理地址对应起来的那个物理器 件MMU,内核还包括ASID Pool和ASID Control对象,用来跟踪地址空间状态。  中断对象 Interrupt Objects give applications the ability to receive and ac-knowledge interrupts from hardware devices. Initially, there is a capability to IRQControl, which allows for the creation of IRQHandler capabilities. An IRQHandler capability permits the management of a speci c interrupt source associated with a speci c device. It is delegated to a device driver to access an interrupt source. The IRQHandler object allows threads to wait for and acknowledge individual interrupts.  原始内存 Untyped Memory is the foundation of memory allocation in the seL4 kernel. Untyped memory capabilities have a single method which allows the creation of new kernel objects. If the method succeeds, the calling thread gains access to capabilities to the newly-created objects. Additionally, untyped memory objects can be divided into a group of smaller untyped memory objects allowing delegation of part (or all) of the system's memory. We discuss memory management in general in the following sections.
2022-12-30 11:30:10 3.55MB sel4
1
数据安全背景与政策 企业数据安全现状 文件交换管理 数据防泄漏体系建设方案
2022-12-19 17:00:31 4.34MB 数据安全 文件安全 数据防泄漏 DLP
DSG数据安全治理及咨询服务实践.pptx
大数据是一项不断发展的技术,其通用数据急剧增加,能够处理和存储大量和多样的信息,分别为科学和商业领域的客户和实验提供了丰富的知识。 云计算提供了诸如可用性和可伸缩性,可靠性,容错性以及合并大数据的环境等功能。 尽管大数据解决了当前的许多问题,但仍然存在很多问题,或者我们可以说存在一些差距,这些差距引起了人们的担忧,需要加以完善。 数据异构性,安全性,灾难恢复机制,可伸缩性,隐私,数据治理策略和其他挑战尚待解决。 本文描述了大数据的定义,特征和分类,并通过云计算环境和可用于其安全性的技术对其进行了分析。 进一步描述了两种技术之间的关系。
2022-12-14 23:15:17 622KB 论文研究
1
Wireshark(前称Ethereal)是一个网络封包分析软件。网络封包分析软件的功能是截取网络封包,并尽可能显示出最为详细的网络封包资料。Wireshark使用WinPCAP作为接口,直接与网卡进行数据报文交换。 在过去,网络封包分析软件是非常昂贵的,或是专门属于盈利用的软件。Ethereal的出现改变了这一切。在GNUGPL通用许可证的保障范围底下,使用者可以以免费的途径取得软件与其源代码,并拥有针对其源代码修改及客制化的权利。Ethereal是全世界最广泛的网络封包分析软件之一。
2022-12-14 20:00:30 4.76MB 数据安全 抓包
1
在很多企业局域网中,处于商业机密保护的需要,常常需要禁用电脑U盘,禁止usb存储设备,防止复制电脑文件到U盘,防止通过u盘泄露商业机密的行为。本文提供了一种非常有效的办法。
2022-12-14 15:54:21 127KB  限制U盘 禁用U盘 保护机密 屏蔽u盘
1
基于C#的数据安全传输方案的研究与实现,于海峰,凌咏红,随着计算机网络技术的飞速发展和网络覆盖范围的迅速扩大,人们越来越多的利用互联网进行网上支付、网络购物、网上信息发布等活动
2022-12-11 18:24:16 370KB 首发论文
1
信息技术与教学论课程作业
2022-12-11 12:19:11 7.34MB 信息技术教学
1
信息技术课程与教学论作业
2022-12-08 09:20:42 176KB 信息技术教学
1