Advances in Register Allocation and Efficient Run-Time Program Analysis
Advances in Register Allocation and Efficient Run-Time Program Analysis
批准号:
9505922
负责人:
Charles Fischer
金额:
$18.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-07-15 至 2000-08-31
中文摘要
该项目涉及现代计算机体系结构的寄存器优化技术。在现代流水线架构中,代码被仔细调度以避免不必要的延迟。然而,一些延迟时隙可能是不可避免的。该项目将开发技术来收集未填满的延迟时隙,以执行通常被认为不值得的工作,例如将有效范围划分为较短的范围。较短的范围会导致较少的寄存器冲突,从而允许将寄存器用于其他目的。通常情况下,不跨过程边界使用寄存器。该项目将开发在程序间一级以最佳方式分配寄存器的技术。更具体地说,这些技术将试图避免调用方/被调用方边界上不必要的寄存器溢出。该项目还将调查使用空闲处理器执行各种程序正确性分析的情况。这是通过一个仅在处理器空闲时执行的“影子”进程来实现的。
英文摘要
This project deals with register optimization techniques for modern computer architectures. In modern pipelined architectures code is carefully scheduled to avoid unnecessary delays. However, some delay slots may be unavoidable. This project will develop techniques to `glean` unfilled delay slots to perform work normally considered not worthwhile, such as splitting live ranges into shorter ranges. Shorter ranges induce fewer register conflicts, allowing registers to be used for other purposes. Normally,registers are not used across procedure boundaries. The project will develop techniques to optimally allocate registers at the interprocedural level. More specifically, the techniques will attempt to avoid unnecessary register spilling on caller/callee boundaries. The project will also investigate the use of idle processors to perform a variety of program correctness analyses. This is achieved using a `shadow` process which executes only when a processor becomes idle.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Assist Thread Compilation for Multi-threaded Processors
-
批准号:0208677
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2002
-
负责人:Charles Fischer
-
依托单位:
Compiler Support for Advanced Computer Architectures
-
批准号:9974613
-
项目类别:Standard Grant
-
资助金额:$19.0万
-
财政年份:1999
-
负责人:Charles Fischer
-
依托单位:
Incremental Program Development and Analysis Techniques
-
批准号:8908355
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:1990
-
负责人:Charles Fischer
-
依托单位:
The Design and Automatic Generation of Modern Program Development Environments
-
批准号:8706329
-
项目类别:Standard Grant
-
资助金额:$18.6万
-
财政年份:1987
-
负责人:Charles Fischer
-
依托单位:
The Next Generation of Program Development Environments
-
批准号:8502897
-
项目类别:Continuing Grant
-
资助金额:$11.19万
-
财政年份:1985
-
负责人:Charles Fischer
-
依托单位:
Theory and Design of Diagnostic, Error-Correcting Compilers
-
批准号:7802570
-
项目类别:Standard Grant
-
资助金额:$14.45万
-
财政年份:1978
-
负责人:Charles Fischer
-
依托单位:
海外基金