CAREER: Beyond Virtual Hardware: VMM/OS Co-Design for Lightweight, Flexible Virtualization
CAREER: Beyond Virtual Hardware: VMM/OS Co-Design for Lightweight, Flexible Virtualization
批准号:
1149229
负责人:
Donald Porter
金额:
$41.29万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2012
资助国家:
美国
项目状态:
已结题
起止时间:
2012-06-01 至 2016-11-30
中文摘要
虚拟化是一种越来越流行的策略,用户可以在另一个平台上运行为一个平台设计的应用程序-一次编写,随处运行的圣杯。虚拟化的警告是,“任何地方”都必须是一个强大的系统,有空闲的资源。在虚拟机中,用户可以将应用程序与其所有操作系统依赖项捆绑在一个易于迁移的环境中-只要用户愿意拖动沿着重复的网络堆栈、CPU插件、病毒扫描程序、交换策略,等。本项目研究了操作系统的彻底重组,以减少这些冗余和管理费用。本项目的驱动力来自于未来,每个应用程序和系统服务都在专用虚拟机中运行;此外,操作系统不再是在裸硬件上运行的单个软件,而是将其功能分解为虚拟机监视器和未修改的应用程序之间的几个独立层。该项目研究了以前未研究的应用程序和主机服务类别,以及用于硬件管理和存储的新系统层,最终目标是使每个应用程序的虚拟机在移动的设备上实用。 如果成功,这项研究将建立一个更丰富的科学理解的权衡在计算机系统设计和显着提高现代计算机系统的效率和灵活性。
英文摘要
Virtualization is an increasingly popular strategy for users to run applications designed for one platform on another platform---the holy grail of write once, run anywhere. The caveat for virtualization is that 'anywhere' has to be a powerful system with resources to spare. In a virtual machine, users can bundle an application with all of its operating system dependences in an easily-migrated environment---as long as users are willing to drag along duplicate networking stacks, CPU schedulers, virus scanners, swapping heuristics, and so on. This project investigates a radical restructuring of the operating system in order to reduce these redundancies and overheads.This project is driven by a vision of the future where each application and system service runs in a dedicated virtual machine; moreover, the operating system is no longer a single piece of software running on bare hardware, but its functionality is decomposed into several independent layers between the virtual machine monitor and the unmodified application. This project investigates previously unstudied classes of applications and host services, as well as new system layers for hardware management and storage, with the end goal of making per-application virtual machines practical on mobile devices. If successful, this research will establish a richer scientific understanding of the trade-offs in computer system design and dramatically improve the efficiency and flexibility of modern computer systems.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
DOI:
10.1145/3319647.3325833
发表时间:
2019-05
期刊:
Proceedings of the 12th ACM International Conference on Systems and Storage
影响因子:
--
作者:
[Amogh Akshintala;Bhushan Jain;Chia-che Tsai;M. Ferdman;Donald E. Porter]
通讯作者:
Amogh Akshintala;Bhushan Jain;Chia-che Tsai;M. Ferdman;Donald E. Porter
Collaborative Research: SaTC: TTP: Medium: Toward Complete, User-Friendly, and Trustworthy Confidential Computing with Gramine
-
批准号:2244937
-
项目类别:Standard Grant
-
资助金额:$59.84万
-
财政年份:2023
-
负责人:Donald Porter
-
依托单位:
NSF-BSF: SaTC: CORE: Small: Rowhammering Peripherals
-
批准号:2154771
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Donald Porter
-
依托单位:
Collaborative Research: PPoSS: Planning: Efficient Address Translation with Formal Guarantees for Data-Center-Scale Applications
-
批准号:2119300
-
项目类别:Standard Grant
-
资助金额:$6.25万
-
财政年份:2021
-
负责人:Donald Porter
-
依托单位:
SaTC: NSF-BSF: CORE: Small: Attacking and Defending the Lifespan of Mobile and Embedded Flash Storage
-
批准号:1816263
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Donald Porter
-
依托单位:
CSR: Small: Collaborative Research: Easily Adapting Apps to Diverse Wearable Form Factors
-
批准号:1718491
-
项目类别:Standard Grant
-
资助金额:$21.5万
-
财政年份:2017
-
负责人:Donald Porter
-
依托单位:
SDI-CSCS: Collaborative Research: S2OS: Enabling Infrastructure-Wide Programmable Security with SDI
-
批准号:1700512
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2017
-
负责人:Donald Porter
-
依托单位:
Student Travel Support for the 14th USENIX File and Storage Technologies conference (FAST 2016)
-
批准号:1600140
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Donald Porter
-
依托单位:
CAREER: Beyond Virtual Hardware: VMM/OS Co-Design for Lightweight, Flexible Virtualization
-
批准号:1700810
-
项目类别:Continuing Grant
-
资助金额:$5.2万
-
财政年份:2016
-
负责人:Donald Porter
-
依托单位:
TWC: Medium: Collaborative: Trustworthy Programs Without A Trustworthy Operating System
-
批准号:1228839
-
项目类别:Standard Grant
-
资助金额:$44.72万
-
财政年份:2012
-
负责人:Donald Porter
-
依托单位:
海外基金