CAREER: Cooperative Virtual Machines: Mechanisms and Policies for Application-Aware Runtime Services
CAREER: Cooperative Virtual Machines: Mechanisms and Policies for Application-Aware Runtime Services
批准号:
1053862
负责人:
Samuel Guyer
金额:
$44.42万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-07-01 至 2018-06-30
中文摘要
现代托管编程语言,从Java和C#到JavaScript和Ruby,提供了一系列令人信服的软件工程优势,优于传统语言,如C和C++。 不幸的是,继续遭受一系列有据可查的性能问题。 特别是,它们对内存的低效使用造成了重大损失,对以这些语言构建的关键服务器软件的质量和容量造成了削弱性后果。尽管进行了深入的研究和开发,这些问题仍然顽固地没有解决。 因此,程序员面临着一个困难的困境:选择一个安全和安全的托管语言,但采取重大的性能打击,或继续与C和C++的机会。本项目探讨了一种新的方法,称为合作虚拟机,通过改善程序员和托管语言运行时系统(虚拟机)之间的通信和合作来解决这个问题。关键的想法是,有了额外的信息,虚拟机可以提供更有效的服务,因为它们是根据每个应用程序的需求定制的。该项目涉及构建用于探索和量化内存性能的新工具,为大型服务器应用程序设计可配置的垃圾收集器,以及开发技术以使程序员能够更多地控制数据结构的低级表示和管理。内存利用率和性能的显著改善将使现有的计算基础设施(硬件和软件)能够为更多用户提供更高质量的服务。这个项目的一个关键组成部分是改进教学工具和技术,以帮助新的程序员对这些复杂系统的性能的原因。
英文摘要
Modern managed programming languages, from Java and C# to Javascript and Ruby, provide a compelling set of software engineering advantages over traditional languages like C and C++. Unfortunately, the continue to suffer from a range of well-documented performance problems. Their inefficient use of memory, in particular, imposes a significant penalty, with debilitating consequences for the quality and capacity of critical server software built in these languages. In spite of intensive research and development, these problems have remained stubbornly unsolved. As a result programmers face a difficult dilemma: choose a safe and secure managed language, but take a major performance hit, or continue taking their chances with C and C++.This project explores a new approach, called cooperative virtual machines, which attacks the problem by improving communication and cooperation between the programmer and the managed language runtime system (the virtual machine). The key idea is that with extra information, virtual machines can provide much more efficient services because they are customized to each application's needs. The project involves building new tools for exploring and quantifying memory performance, designing a configurable garbage collector for large server applications, and developing techniques to give programmersmore control over the low-level representation and management of data structures. Significant improvements in memory utilization and performance will allow existing computing infrastructure (hardware and software) to deliver higher quality services to more users. A crucial component of this project is improved pedagogical tools and techniques to help new programmers reason about the performance of these complex systems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF:Small:Cooperative Garbage Collection for Big Data and Server Applications
-
批准号:1717373
-
项目类别:Standard Grant
-
资助金额:$44.7万
-
财政年份:2017
-
负责人:Samuel Guyer
-
依托单位:
SHF: Small: Dynamic Detection of Heap-Based Bugs
-
批准号:1018038
-
项目类别:Standard Grant
-
资助金额:$48.49万
-
财政年份:2010
-
负责人:Samuel Guyer
-
依托单位:
Efficient Dynamic Checking of Heap Invariants using the Garbage Collector
-
批准号:0916810
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Samuel Guyer
-
依托单位:
海外基金