IT之家 10 月 22 日消息,开源系统软件栈 ——“星绽”(Asterinas),今日由中关村实验室、蚂蚁集团、北京大学、南方科技大学等产学研机构联合对外发布,并向全球开发者开源。
“星绽”系统软件栈旗下包括星绽 OS 和星绽机密计算两大项目,分别面向通用执行环境和可信执行环境提供安全原生的系统软件。
据官方介绍,星绽 OS 是下一代工业级别的通用 OS 内核,采用框内核(framekernel)架构,并使用 Rust 编程语言开发。它不仅能够兼容 Linux 的应用程序,还在安全性方面有望大幅领先于 Linux 和其他现有主流 OS。
框内核架构将整个操作系统内核划分为两部分:特权的“OS 框架”和去特权的“OS 服务”。OS 框架负责将低层次的、非内存安全的 Rust 代码封装为高层次的、内存安全的接口(API),而 OS 服务则完全使用 Rust 语言中的安全部分进行开发,提供操作系统的大多数功能。
通过这种设计,星绽 OS 能够极大限度地减少潜在的内存安全问题,同时保持与宏内核相当的高效性能。官方称框内核 = 宏内核的性能 + 微内核的安全。
在业界公认的 LMbench 基准测试上,星绽 OS 对齐全球主流开源操作系统 Linux 的性能水平。
当前星绽仅支持 x86-64 虚拟机;官方今年的目标是使星绽在 x86-64 虚拟机环境中达到生产可用。
IT之家附星绽 OS 开源链接:https://github.com/asterinas/asterinas
广告声明:文内含有的对外跳转链接(包括不限于超链接、二维码、口令等形式),用于传递更多信息,节省甄选时间,结果仅供参考,IT之家所有文章均包含本声明。
在宝马的3系家族中,G20和G28是两款备受瞩目的车型。它们虽然同属3系,但在设计理念、车身尺寸以及市场定位上存在一些差异。本文将详细对比这两款车型的不同之处,帮助消费者更好地理解它们的特点。首先,从车型定位上来看,宝马G20是标准的3系轿车,而G28则是专为中国市场定制的长轴距版本。这意味着G28...
快讯摘要 【茅台集团赴港开展市场调研】证券时报e公司讯,6月13日至14日,茅台集团党委书记、董事长张德芹率队赴香港开展市场调研,进一步明确国际化战略,坚定国际化信心。在港期间,张德芹首先来到茅台......
在当今的房地产市场中,购买二手房已成为许多家庭置业的重要选择。了解购买二手房的途径,对于购房者来说至关重要。以下是几种常见的购买二手房的途径,每种途径都有其特点和适用场景。1. 通过房地产中介公司购买房地产中介公司是连接买卖双方的重要桥梁。购房者可以通过中介公司获取大量的房源信息,中介还会提供专业的...
在日常驾驶中,我们可能会遇到这样的情况:当车辆通过减速带时,避震系统会发出类似泄气声的异常响声。这种声音往往让驾驶者感到担忧,因为它可能预示着车辆某些部件的潜在问题。本文将详细解析过减速带时避震发出泄气声的可能原因,并提供相应的解决建议。1. 避震器损坏避震器是车辆悬挂系统中的关键部件,负责吸收和缓...
格隆汇6月17日|英伟达转跌,此前一度涨超1%,台积电涨幅收窄至1%。...
快讯摘要 【科远智慧等成立新能源技术公司】证券时报e公司讯,企查查APP显示,近日,山西磐控新能源技术有限公司成立,法定代表人为侯永忠,注册资本1100万元,经营范围包含:新兴能源技术研发;资源再生......