Ubuntu Spark集群的硬件资源利用率提升可以通过多种方法实现，以下是一些建议： 优化Spark配置：根据集群的规模和任务需求，调整Spark...
2024-11-22 10 最新更新 网站标签 地图导航
世界上首个被数学证明安全的操作系统微内核seL4成立基金会
云计算
2024年08月19日 23:21 4
admin
Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作，打造 seL4 操作系统微内核生态。
近日 Linux 基金会宣布托管 seL4 基金会，该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创建的 seL4 操作系统微内核为基础项目。seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
基金会创始成员包括 Cog SysteMs、DornerWorks、Ghost Locomotion、HENSOLD Cyber 与 UNSW Sydney。
seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。
据介绍，seL4 是世界上第一个通过数学方法被证明安全的操作系统内核，并且在安全的基础上还强调高性能，是世界上最快、最先进的 OS 微内核。它对于嵌入式计算系统的安全可信赖方面将会有极大意义，具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。理论上，SeL4 可以用作 Linux 和其它类 Unix 操作系统的底层基础，甚至此前曾被考虑用于 GNU/Linux “真内核” GNU Hurd。
原文标题：世界上首个被数学证明安全的操作系统微内核 seL4 成立基金会
原文地址：https://www.oschina.net/news/114715/sel4-microkernel-gets-support-of-linux-foundation
声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-62778877-8261；邮箱：jenny@west.cn。本站原创内容未经允许不得转载，或转载时需注明出处：：西部数码资讯门户 » 世界上首个被数学证明安全的操作系统微内核seL4成立基金会
相关文章
- 详细阅读
-
pycharm在ubuntu怎样启用代码导航工具详细阅读
在 Ubuntu 上使用 PyCharm 时，你可以通过以下步骤启用代码导航工具： 打开 PyCharm。 点击 “File” 菜单，然后选择 “S...
2024-11-22 4 最新更新 网站标签 地图导航
-
Ubuntu下Privoxy的自动更新设置详细阅读
在Ubuntu下配置Privoxy以自动更新其规则集，可以通过以下步骤实现： 安装Privoxy： 如果你还没有安装Privoxy，可以使用以下命...
2024-11-22 6 最新更新 网站标签 地图导航
-
在ubuntu用pycharm如何管理依赖详细阅读
在Ubuntu上使用PyCharm管理依赖，可以按照以下步骤操作： 打开PyCharm并打开你的项目。 点击 “File” 菜单，然后选择 “Set...
2024-11-22 4 最新更新 网站标签 地图导航
-
Linux平台g++编译时的条件编译技巧详细阅读
在 Linux 平台下使用 g++ 编译器时，条件编译是一种非常有用的技巧，它允许你根据不同的编译条件（如操作系统、体系结构、编译器版本等）来包含或排...
2024-11-22 5 最新更新 网站标签 地图导航
-
在ubuntu pycharm如何设置断点详细阅读
在 Ubuntu 系统中使用 PyCharm 设置断点的步骤如下： 打开 PyCharm，然后打开你的项目。 在你想要设置断点的代码行左侧的边...
2024-11-22 2 最新更新 网站标签 地图导航
-
如何在Linux上设置g++以支持代码自动格式化详细阅读
在 Linux 上设置 g++ 以支持代码自动格式化，你可以使用 clang-format 工具。以下是配置步骤： 首先，确保你已经安装了 clan...
2024-11-22 5 最新更新 网站标签 地图导航
-
如何在Linux上利用g++进行代码性能分析详细阅读
在 Linux 上，可以使用 g++ 编译器结合其他工具来进行代码性能分析。以下是一些建议的步骤： 安装 g++ 和相关工具： 确保已经安装了 g...
2024-11-22 4 最新更新 网站标签 地图导航