SHF: Small: Run-Time Program Generation and Empirical Optimization
SHF: Small: Run-Time Program Generation and Empirical Optimization
批准号:
1017077
负责人:
Maria Garzaran
金额:
$48.69万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-08-01 至 2014-07-31
中文摘要
在计算机编程中,“知识就是力量”--对程序运行的数据和执行程序的机器了解得越多,就能获得越高的效率。 然而,程序被编写来处理所有输入数据,并在许多不同的机器上运行。 运行时程序生成(RTPG)是一种技术,在这种技术中,程序员编写一个程序,其目的是在运行时编写另一个程序,当输入数据(或其某些部分)和机器已知时。 这个想法及其产生巨大效率提高的潜力已经知道很多年了,但是各种技术问题阻碍了它的采用。 最近的软件研究和计算机硬件的发展使我们能够解决这些问题。 本研究开发了RTPG的工具和技术,应用了RTPG的一些重要问题,并论证了RTPG技术的实用性,探讨了RTPG应用中的几个关键问题。大多数实际感兴趣的程序都是在大型数据集上运行的,这对RTPG提出了特殊的挑战。 此外,由于大型数据集加剧了众所周知的程序生成成本问题,PI以几种新颖的方式解决了这个问题。 PI设计了一种用于程序生成的对象语言,允许对片段进行编译时预处理,以促进运行时优化。 PI明确地为计算机生成的程序(其具有与普通程序员编写的代码不同的特性)设计优化。 最重要的是,PI采用自动调整技术,其中目标计算机的相关特性在安装时确定,并用于指导运行时程序生成过程。
英文摘要
In programming computers, "knowledge is power" - the more that is known about the data on which a program is to operate, and the machine on which it is to execute, the greater the efficiency that can be obtained. However, programs are written to process all input data and run on many different machines. Run-time program generation (RTPG) is a technique in which the programmer writes a program whose purpose is to write another program at run time when the input data (or some part of it) and machine are known. This idea and its potential to produce dramatic efficiency improvements has been known for many years, but various technical problems have hampered its adoption. Recent software research and developments in computer hardware enable us to address those problems. This research develops tools and techniques for RTPG; applies them some important problems; and demonstrates the practicality of the technique.This work explores several critical problems in the application of RTPG. Most programs of practical interest operate on large data sets, which pose special challenges for RTPG. Further, since large data sets exacerbate the well-known problem of program generation cost, the PIs address that issue in several novel ways. The PIs design an object language for program generation that allows for compile-time preprocessing of fragments to facilitate run-time optimizations. The PIs design optimizations expressly for computer-generated programs (which have different characteristics from ordinary, programmer-written codes). Above all, the PIs employ the technique of auto-tuning, in which relevant characteristics of a target computer are determined at install time, and used to guide the run-time program generation process.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CSR: Small: Scripting at the Speed of C
-
批准号:1319657
-
项目类别:Standard Grant
-
资助金额:$47.5万
-
财政年份:2013
-
负责人:Maria Garzaran
-
依托单位:
Travel Grant for Students to Attend The Interanational Symposium on Code Generation and Optimization (CGO)
-
批准号:1131946
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2011
-
负责人:Maria Garzaran
-
依托单位:
Collaborative Research: CSR--AES: SoftCheck: Compiler and Run-Time Technology for Efficient Fault Detection and Correction in Low nm-Scale Multicore Chips
-
批准号:0615273
-
项目类别:Continuing Grant
-
资助金额:$10.99万
-
财政年份:2006
-
负责人:Maria Garzaran
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: