Career: Reusable Specifications for Retargetability

职业生涯：可重用的可重定向性规范

基本信息

批准号：
9733974
负责人：
Norman Ramsey
金额：
$ 10万
依托单位：
University of Virginia Main Campus
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1998
资助国家：
美国
起止时间：
1998-06-01 至 2000-05-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9733974&HistoricalAwards=false
关键词：
Career Reusable Specifications Retargetability

Career Reusable Specifications Retargetability

项目摘要

This research addresses the problem of retargeting tools used to translate, analyze, instrument, improve, and migrate programs. Such tools include not only compilers, but also assemblers, linkers, debuggers, binary-code modifiers, and binary translators. The primary retargeting technique being applied is the generation of machine-dependent components from compact, reusable descriptions of machine properties. The research objectives are to describe machine properties clearly and concisely, to represent instruction semantics in a way that supports retargeting, to reuse specifications to retarget a variety of tools, and to reuse analyses of specifications to derive components for multiple machines. Instruction semantics are specified in three layers. Descriptions of whole instruction sets will be written using the metalanguage layer. These descriptions will be mechanically transformed into the register-transfer layer, which defines each instruction's semantics in a form that is easy to analyze. The interpretation layer will provide semantic interpretations of register transfers; different interpretations support different analyses and component generators. The major payoff of this research is in developing new capabilities in machine specification; it should deepen our understanding of properties of machines, foster innovation in machine-level tools, and help others save effort, cost, and time in developing tools of scientific and practical value.

这项研究解决了用于翻译，分析，仪器，改进和迁移程序的重新定位工具的问题。这样的工具不仅包括编译器，还包括汇编器，链接器，调试器，二进制代码修饰符和二进制翻译器。应用的主要重新定位技术是从紧凑的，可重复使用的机器属性描述中生成机器依赖性组件。研究目标是要清楚，简洁地描述机器属性，以支持重新定位，重新使用规格以重新定义各种工具的方式表示指令语义，并重新使用规格分析以推导多个机器的组件。指令语义分为三层。整个指令集的描述将使用Metal语言层编写。这些描述将机械地转换为寄存器转移层，该层以易于分析的形式定义了每个指令的语义。解释层将提供寄存器转移的语义解释；不同的解释支持不同的分析和组件发生器。这项研究的主要收益是开发机器规范方面的新功能。它应该加深我们对机器属性的理解，在机器级工具中促进创新，并帮助其他人节省开发科学和实用价值工具的精力，成本和时间。