Bridging the Compiler-Simulator Gap: Faster and Easier Hardware/Software Optimization
缩小编译器与模拟器之间的差距:更快、更轻松的硬件/软件优化
基本信息
- 批准号:0310988
- 负责人:
- 金额:$ 30万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2003
- 资助国家:美国
- 起止时间:2003-08-15 至 2007-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Making computers go fast requires optimizing software that exploits thehardware. Exploring new hardware ideas requires hardware simulators, ANDoptimizing software matching the imagined hardware. It is time-consumingand error-prone to build these and get them to match. The CoGenT project isautomating the building of simulators and matching software tools, so thatmore people can explore more ideas, more quickly, for modern computers andprogramming languages.CoGenT, which stands for Co-Generation of (simulation and compilation)Tools, with machine descriptions. From instruction format, execution, andtiming information, we produce predictive simulators for Java programs onthe described hardware. The Java system includes optimizing andnon-optimizing compilers, and we retarget both compilers to the targethardware. We do this by using the same description forms for the compiler'sabstract machine as for the hardware target. We generate code generationrules by searching for target instructions to match each possible abstractcode fragment. We are also concerned with automated construction of therest of the compiler back end, and with efficiency of the simulators we build.While certain hardware innovations clearly demand entirely new techniquesto exploit them effectively, we automate those aspects addressed in theexisting optimizing compiler. Our contributions lie in the increased degreeof automation and integration of the techniques, and in improved simulatorperformance. While the primary setting is simulation, the results areuseful in compiler retargeting, dynamic binary translation, and beyond.
要使计算机运行得更快,就需要优化利用硬件的软件。探索新的硬件想法需要硬件模拟器,并优化与想象的硬件相匹配的软件。构建这些并使它们匹配非常耗时且容易出错。 CoGenT 项目正在自动化构建模拟器和匹配的软件工具,以便更多的人可以更快地探索现代计算机和编程语言的更多想法。CoGenT,代表(模拟和编译)工具的联合生成,带有机器描述。根据指令格式、执行和时序信息,我们为所描述的硬件上的 Java 程序生成了预测模拟器。 Java 系统包括优化和非优化编译器,我们将这两个编译器重新定位到目标硬件。我们通过对编译器的抽象机器使用与硬件目标相同的描述形式来做到这一点。我们通过搜索目标指令来匹配每个可能的抽象代码片段来生成代码生成规则。我们还关注编译器后端其余部分的自动化构建,以及我们构建的模拟器的效率。虽然某些硬件创新显然需要全新的技术来有效利用它们,但我们将现有优化编译器中解决的这些方面自动化。我们的贡献在于提高了自动化程度和技术集成度,以及改进了模拟器性能。虽然主要设置是模拟,但结果在编译器重定向、动态二进制翻译等方面非常有用。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
J. Eliot Moss其他文献
J. Eliot Moss的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('J. Eliot Moss', 18)}}的其他基金
FMitF:Track I: Verified Safe and Fair Machine Learning
FMITF:第一轨:经过验证的安全和公平的机器学习
- 批准号:
2018372 - 财政年份:2020
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
CNS Core: Small: Managed Languages: From Non-volatile Memory to Persistence
CNS 核心:小型:托管语言:从非易失性内存到持久性
- 批准号:
1909731 - 财政年份:2019
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Micro-Virtual Machines for Managed Languages: Abstraction, contained
SHF:媒介:协作研究:托管语言的微型虚拟机:抽象,包含
- 批准号:
1832624 - 财政年份:2017
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
CSR: Medium: Collaborative Research: Portable Performance for Parallel Managed Languages Across the Many-Core Spectrum
CSR:媒介:协作研究:跨多核频谱的并行托管语言的可移植性能
- 批准号:
1833291 - 财政年份:2017
- 资助金额:
$ 30万 - 项目类别:
Continuing Grant
SHF: Medium: Collaborative Research: Micro Virtual Machines for Managed Languages: Abstraction, defined and contained
SHF:媒介:协作研究:托管语言的微型虚拟机:抽象、定义和包含
- 批准号:
1409284 - 财政年份:2014
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
SHF:Small: Accurate and Computationally Efficient Predictors of Java Memory Resource Consumption
SHF:Small:Java 内存资源消耗的准确且计算高效的预测器
- 批准号:
1320498 - 财政年份:2013
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
CSR: Medium: Collaborative Research: Portable Performance for Parallel Managed Languages Across the Many-Core Spectrum
CSR:媒介:协作研究:跨多核频谱的并行托管语言的可移植性能
- 批准号:
1162246 - 财政年份:2012
- 资助金额:
$ 30万 - 项目类别:
Continuing Grant
EAGER: Automating Correctness Proofs of Transactionalized Data Structures
EAGER:自动化事务化数据结构的正确性证明
- 批准号:
0953761 - 财政年份:2009
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
Describing the Operating System for Accurate User-mode Simulation
描述用于精确用户模式模拟的操作系统
- 批准号:
0950410 - 财政年份:2009
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
SGER: The Chaotic Behavior of Automatic Memory Management
SGER:自动内存管理的混乱行为
- 批准号:
0836542 - 财政年份:2008
- 资助金额:
$ 30万 - 项目类别:
Standard Grant
相似国自然基金
面向国产自主处理器的高质量编译器生成技术研究
- 批准号:62302505
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于编译器多级中间表示的跨语言开源软件漏洞检测与修复方法研究
- 批准号:62372373
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
基于通用开放语义的可组合编译器验证研究
- 批准号:62372290
- 批准年份:2023
- 资助金额:51 万元
- 项目类别:面上项目
编译器优化场景下的智能软件逆向
- 批准号:62302497
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
数据驱动的编译器测试关键技术
- 批准号:
- 批准年份:2022
- 资助金额:284 万元
- 项目类别:重点项目
相似海外基金
CAREER: Compiler and Runtime Support for Sampled Sparse Computations on Heterogeneous Systems
职业:异构系统上采样稀疏计算的编译器和运行时支持
- 批准号:
2338144 - 财政年份:2024
- 资助金额:
$ 30万 - 项目类别:
Continuing Grant
CAREER: An Agile Compiler Framework for Spatial Dataflow Accelerators
职业:空间数据流加速器的敏捷编译器框架
- 批准号:
2338739 - 财政年份:2024
- 资助金额:
$ 30万 - 项目类别:
Continuing Grant
Modernise Compiler Technology With Deep Learning
通过深度学习实现编译器技术现代化
- 批准号:
EP/X018202/1 - 财政年份:2023
- 资助金额:
$ 30万 - 项目类别:
Research Grant
CAREER: An Automated Compiler-Runtime Framework for Democratizing Secure Collaborative Computation
职业:用于民主化安全协作计算的自动编译器运行时框架
- 批准号:
2238671 - 财政年份:2023
- 资助金额:
$ 30万 - 项目类别:
Continuing Grant
CAREER: A Unified Compiler for Sparse Array Operations and Relational Algebra
职业:稀疏数组运算和关系代数的统一编译器
- 批准号:
2143061 - 财政年份:2022
- 资助金额:
$ 30万 - 项目类别:
Continuing Grant