From 3dfee08fad447d4653c90bacafe2e8306dcd9c9f Mon Sep 17 00:00:00 2001 From: Susanooo Date: Fri, 8 Nov 2024 07:47:16 +0000 Subject: [PATCH] Fix syntax mistakes Signed-off-by: Susanooo --- README.ch.md | 2 +- README.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.ch.md b/README.ch.md index 9d52eb3..d6c74fb 100644 --- a/README.ch.md +++ b/README.ch.md @@ -6,7 +6,7 @@ A Reliable Embedded Hypervisor Supporting VM Migration and Hypervisor Live-Updat ## 介绍 -**Rust-Shyper** 是一个使用高级语言Rust编写的面向嵌入式场景的Type-1型虚拟机监视器(Hypervisor)。其设计目标在于提高资源利用率的同时,同时保障虚拟机实时性、隔离性与可靠性的需求。为达成上述目的,首先Rust-Shyper选用Rust作为编程语言,利用语言本身的安全特性提升代码质量,从语言层面保障系统软件的可靠性。其次,为了保障虚拟机的隔离性需求,Rust-Shyper针对CPU、中断、设备、内存等公共资源实现了有效的隔离策略,保证了同一资源被不同虚拟机共享的同时,虚拟机无法越界访问不属于当前虚拟机的资源。另外,为了保障虚拟机实时性需求,Rust-Shyper实现了中断部分直通机制以及中介传递设备模型,有效缩减虚拟化对实时性能的影响。最后,为了进一步保障监视器可靠性,本项目实现了虚拟机迁移(VM migration)以及监视器动态升级(Hypervisor Live-update)两种热更新机制修复虚拟机监视器可能存在的代码漏洞。 +**Rust-Shyper** 是一个使用高级语言Rust编写的面向嵌入式场景的Type-1型虚拟机监视器(Hypervisor)。其设计目标在于提高资源利用率的同时,保障虚拟机实时性、隔离性与可靠性的需求。为达成上述目的,首先Rust-Shyper选用Rust作为编程语言,利用语言本身的安全特性提升代码质量,从语言层面保障系统软件的可靠性。其次,为了保障虚拟机的隔离性需求,Rust-Shyper针对CPU、中断、设备、内存等公共资源实现了有效的隔离策略,保证了同一资源被不同虚拟机共享的同时,虚拟机无法越界访问不属于当前虚拟机的资源。另外,为了保障虚拟机实时性需求,Rust-Shyper实现了中断部分直通机制以及中介传递设备模型,有效缩减虚拟化对实时性能的影响。最后,为了进一步保障监视器可靠性,本项目实现了虚拟机迁移(VM migration)以及监视器动态升级(Hypervisor Live-update)两种热更新机制修复虚拟机监视器可能存在的代码漏洞。 Rust-Shyper是由北航计算机学院操作系统研究团队,在华为技术有限公司资助下开发完成。 diff --git a/README.md b/README.md index 2e642ec..fad66be 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ A Reliable Embedded Hypervisor Supporting VM Migration and Hypervisor Live-Updat ## Introduction -**Rust-Shyper** is an embedded type-1 hypervisor built with Rust, which has both high performance and high reliability. Designed for embedded platform, Rust-Shyper provides a small TCB and ensures isolation between different VMs. Furthermore, it can offer differentiated services for VMs such that the real-time performance of critical VMs are guaranteed. We have proposed low overhead VM migration and hypervisor live-update mechanisms to enable Rust-Shyper to tolerate hardware faults at runtime and dynamically fix hypervisor bugs. +**Rust-Shyper** is an embedded type-1 hypervisor built with Rust, which has both high performance and high reliability. Designed for embedded platform, Rust-Shyper provides a small TCB and ensures isolation between different VMs. Furthermore, it can offer differentiated services for VMs such that the real-time performance of critical VMs is guaranteed. We have proposed low overhead VM migration and hypervisor live-update mechanisms to enable Rust-Shyper to tolerate hardware faults at runtime and dynamically fix hypervisor bugs. Rust-Shyper was developed by the OS research team of the School of Computer Science and Engineering(SCSE), Beihang University(BUAA) with a funding of Huawei Technologies Co.,Ltd. -- Gitee