XPS: EXPL: CCA: Merging Parallel Run-times and Operating Systems
XPS: EXPL: CCA: Merging Parallel Run-times and Operating Systems
批准号:
1533560
负责人:
Peter Dinda
金额:
$29.87万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-09-01 至 2020-08-31
中文摘要
标题:XPS:EXPL:CCA:合并并行运行时和操作系统并行,即将较大的任务分解为可以同时完成的较小任务的能力,对于应用程序随着时间的推移继续变得指数级的速度来说是必不可少的。关于如何在硬件、编程语言、编译器和算法中实现并行性的研究已经投入并正在投入相当大的努力。然而,应用软件也依赖于系统软件,尤其是操作系统内核。目前,应用软件和操作系统内核是非常不同的领域,它们之间的壁垒很高,只有操作系统内核才能完全访问硬件。虽然这种设计的存在有很好的理由,但它现在可能会限制并行性,从而限制应用程序中可能的性能。本项目研究一种替代设计,在该设计中,应用软件和操作系统内核合并为一个实体。智力上的优点有几点。首先,这样的设计以前没有在并行性的背景下进行过研究-这个项目将决定它是否是一个好主意。其次,这种设计与现代语言和运行时系统产生了共鸣,这些语言和运行时系统是专门为并行性而设计的-这样的系统可以利用机会以新的方式使用操作系统内核和硬件。最后,考虑到他们之前在操作系统和高性能计算的虚拟化方面的工作,项目团队已经做好了开展调查的准备。该项目更广泛的意义和重要性是基于替代设计可以提高性能的程度和可利用的并行性的数量。如果这是相当可观的,那么替代设计可能会被广泛采用,从而有助于保持计算性能,就像最终用户所经历的那样,在其指数轨道上。该项目主要涉及允许现代并行运行时系统(及其应用程序)被重新概念化为内核。作为内核,运行时可以访问机器的全部硬件功能,并且可以准确地实现实现其目标所需的内核抽象。该团队正在设计、实现和评估一个内核框架,以支持该模型的并行运行时系统的移植和构建。使用一组当前的运行时系统和几种不同类型的并行硬件,团队还在调查此模型中哪些内核抽象是有用的,以及如何利用仅限内核的硬件功能来更好地支持运行时系统。无论是要移植到模型中的成熟运行时,还是可以与模型共同设计的新生运行时,都在考虑之中。该项目还与另一项工作相结合,该工作正在研究一种虚拟化方法,该方法可能使同时支持新模型和旧模型成为可能。
英文摘要
Title: XPS: EXPL: CCA: Merging Parallel Run-times and Operating SystemsParallelism, the ability to do break down larger tasks into smaller tasks that can be done simultaneously, is essential for applications to continue to become exponentially faster over time. Considerable effort has been placed and is being placed into research on how to achieve parallelism within hardware, programming languages, compilers, and algorithms. However, application software also depends on systems software, particularly the operating system kernel. Currently, the application software and the operating system kernel are very distinct domains with a high barrier between them, and only the operating system kernel has full access to the hardware. While this design exists for very good reasons, it may now limit the parallelism and thus the performance possible in applications. This project investigates an alternative design in which the application software and the operating system kernel are merged into one entity. The intellectual merits are several. First, such a design has not been previously studied in the context of parallelism---this project will determine if it is a good idea. Second, the design resonates with modern languages and run-time systems that are designed specifically with parallelism in mind---such systems can leverage the opportunity to use the operating system kernel and the hardware in new ways. Finally, the project team is well poised to carry out the investigation given their prior work in operating systems and virtualization for high performance computing. The project's broader significance and importance are based on the extent to which the alternative design can enhance performance and the amount of exploitable parallelism. If this is considerable, then the alternative design may be widely adopted and thus contribute to keeping computing performance, as experienced even by end-users, on its exponential track.The project is primarily concerned with allowing modern parallel run-time systems (and their applications) to be re-conceptualized as kernels in their own right. By being a kernel, a run-time can access the full hardware capabilities of the machine, and it can implement exactly the kernel abstractions that it needs to achieve its goals. The team is designing, implementing, and evaluating a kernel framework to support the porting and construction of parallel run-time systems for this model. Using a set of several current run-time systems and several different kinds of parallel hardware, the team is also investigating what kernel abstractions are useful within this model, as well as how to leverage kernel-only hardware features to better support the run-time systems. Both mature run-times which are to be ported to the model and nascent run-times that can be co-designed with the model are under consideration. The project also integrates with another effort that is investigating a virtualization approach that may make it possible to support the new model simultaneously with the old model.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CNS Core: Medium: A Systems and User-based Approach to Floating Point Correctness and Resilience
-
批准号:2211315
-
项目类别:Continuing Grant
-
资助金额:$79.48万
-
财政年份:2022
-
负责人:Peter Dinda
-
依托单位:
Collaborative Research: CNS Core: Medium: The Privacy Backplane - A Full Stack Approach to Individualized Privacy Controls Throughout the Internet-of-Things
-
批准号:2211508
-
项目类别:Continuing Grant
-
资助金额:$39.0万
-
财政年份:2022
-
负责人:Peter Dinda
-
依托单位:
Collaborative Research: PPoSS: LARGE: Unifying Software and Hardware to Achieve Performant and Scalable Frictionless Parallelism in the Heterogeneous Future
-
批准号:2119069
-
项目类别:Continuing Grant
-
资助金额:$192.75万
-
财政年份:2021
-
负责人:Peter Dinda
-
依托单位:
Collaborative Research: PPoSS: Planning: Unifying Software and Hardware to Achieve Performant and Scalable Zero-cost Parallelism in the Heterogeneous Future
-
批准号:2028851
-
项目类别:Standard Grant
-
资助金额:$12.83万
-
财政年份:2020
-
负责人:Peter Dinda
-
依托单位:
CSR: Medium: Collaborative Research: Interweaving the Parallel Software/Hardware Stack
-
批准号:1763743
-
项目类别:Continuing Grant
-
资助金额:$90.93万
-
财政年份:2018
-
负责人:Peter Dinda
-
依托单位:
EAGER: Collaborative Research: Model-based Autonomic Cloud Computing Software Technology
-
批准号:1265347
-
项目类别:Standard Grant
-
资助金额:$8.3万
-
财政年份:2013
-
负责人:Peter Dinda
-
依托单位:
Student Travel Support For ACM HPDC 2010; June 2010; Chicago, IL
-
批准号:1026810
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2010
-
负责人:Peter Dinda
-
依托单位:
Collaborative Research: CRI: CRD: An Open Source Extensible Virtual Machine Monitor
-
批准号:0709168
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Peter Dinda
-
依托单位:
Collaborative Research: NeTS-NOSS: Sensor Network Synthesis - Opening the Use of Wireless Sensor Networks to Application Experts
-
批准号:0721978
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2007
-
负责人:Peter Dinda
-
依托单位:
CSR-PDOS: Optimizing the Client/Server Environment Subject to User Satisfaction
-
批准号:0720691
-
项目类别:Continuing Grant
-
资助金额:$72.5万
-
财政年份:2007
-
负责人:Peter Dinda
-
依托单位:
CISE RR: Collaborative Research on Wide-area Network Computing using Virtual Machines
-
批准号:0224449
-
项目类别:Standard Grant
-
资助金额:$10.5万
-
财政年份:2002
-
负责人:Peter Dinda
-
依托单位:
ITR/SY Collaborative Research: A Unified Relational Approach to Grid Information Services
-
批准号:0112891
-
项目类别:Continuing Grant
-
资助金额:$22.59万
-
财政年份:2001
-
负责人:Peter Dinda
-
依托单位:
Career: A Prediction-based Approach to Responsive Distributed Interactive Applications
-
批准号:0093221
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2001
-
负责人:Peter Dinda
-
依托单位:
海外基金