Glacial Variables: Towards Fully Automatic Run-Time Code Generation
Glacial Variables:迈向全自动运行时代码生成
基本信息
- 批准号:9610075
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1997
- 资助国家:美国
- 起止时间:1997-09-01 至 1999-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Program specialization has a distinguished history. Under the name of self-modifying code it has been used in the past for performance improvements. Under the name of partial evaluation it has been used as a transformation to automatically generate compilers from interpreters for declarative languages. Recently, a number of research groups have applied run-time partial evaluation to do run-time code generation (RTCG) as a performance optimization, but they require extensive programmer annotations to determine where to apply the transformation. Transformations do not always yield good optimizations, particularly where the cost/benefit tradeoffs are not highly obvious. This project is developing automatic methods (algorithms and heuristics) for selecting where to apply run-time code generation (RTCG), and examining the interaction between RTCG and scalar and memory-hierarchy optimizations. The project is applying RTCG to a large number of complete scientific applications to determine its applicability. Heretofore RTCG has been applied to benchmark kernels and language interpreters, but not to any wider domains. This project aims to demonstrate that RTCG is ready for production use and that it can be deployed in compilers without requiring extensive reprogramming of applications to make use of its performance improvements.
程序专业化有着悠久的历史。在自修改代码的名义下,它在过去被用于性能改进。在部分求值的名义下,它被用作一种转换,用于从声明性语言的解释器自动生成编译器。最近,一些研究小组已经将运行时部分评估应用于运行时代码生成(RTCG)作为性能优化,但它们需要大量的程序员注释来确定在何处应用转换。转换并不总是产生良好的优化,特别是在成本/效益权衡并不非常明显的情况下。该项目正在开发自动方法(算法和算法),用于选择在何处应用运行时代码生成(RTCG),并检查RTCG与标量和内存层次优化之间的相互作用。该项目正在将RTCG应用于大量完整的科学应用,以确定其适用性。RTCG已经应用于基准内核和语言解释器,但没有应用于任何更广泛的领域。该项目旨在证明RTCG已准备好用于生产,并且可以在编译器中部署,而无需对应用程序进行大量重新编程以利用其性能改进。
项目成果
期刊论文数量(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 }}
John Launchbury其他文献
John Launchbury的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Launchbury', 18)}}的其他基金
CISE Postdoctoral Research Associateships in Experimental Computer Science - Verifying Implementations of Model Checking Algorithms
CISE 实验计算机科学博士后研究奖学金 - 验证模型检查算法的实现
- 批准号:
0072761 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Standard Grant
Multiple Interpretations of Domain-Specific Languages
特定领域语言的多种解释
- 批准号:
9970980 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Continuing Grant
CISE PostDoc: Verification of Microprocessor Microarchitecture
CISE 博士后:微处理器微架构验证
- 批准号:
9805542 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Standard Grant
相似国自然基金
Errors-In-Variables模型的贝叶斯估计理论研究
- 批准号:41774009
- 批准年份:2017
- 资助金额:69.0 万元
- 项目类别:面上项目
相似海外基金
Conference: Junior Workshop in Several Complex Variables
会议:几个复杂变量的初级研讨会
- 批准号:
2347824 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Statistical moments to infer microbial phenotypes in communities despite unquantified variables.
尽管存在未量化的变量,但仍可推断群落中微生物表型的统计时刻。
- 批准号:
EP/Z001048/1 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Fellowship
Analysis and Dynamics in Several Complex Variables
多个复杂变量的分析和动力学
- 批准号:
2349865 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
HSI Planning Project: Examining Inclusion and Other Variables of STEM Retention at a Faith-Based, Residential University
HSI 规划项目:检查一所基于信仰的寄宿大学的包容性和 STEM 保留的其他变量
- 批准号:
2345328 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
New development of complex analysis in several variables using moduli and closings of an open Riemann surface
使用开放黎曼曲面的模数和闭包进行多变量复分析的新发展
- 批准号:
23K03140 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
NSF Postdoctoral Fellowship in Biology: Association of leaf traits with climate variables in California and Hawaii
NSF 生物学博士后奖学金:加州和夏威夷叶子性状与气候变量的关联
- 批准号:
2209353 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Fellowship Award
Conference: Midwest Several Complex Variables Conference at Ohio State University
会议:俄亥俄州立大学中西部多个复杂变量会议
- 批准号:
2302532 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
Research and Education in Several Complex Variables
多个复杂变量的研究和教育
- 批准号:
2247175 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Continuing Grant
Novel cardiopulmonary exercise testing variables to differentiate neuromuscular deconditioning from disease
新型心肺运动测试变量可区分神经肌肉功能失调与疾病
- 批准号:
10736044 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Development of a Structural Optimization Method for the Midship Section of a Ship with Deep Reinforcement Learning AI incorporating Principal Dimensions as Design Variables
利用深度强化学习人工智能(将主尺寸作为设计变量)开发船舶中段结构优化方法
- 批准号:
23K13508 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Early-Career Scientists