Collaborative Research: CRI: A Community Resource Development Project for a Retargetable and Reconfigurable Software Dynamic Translation Infrastructure

合作研究：CRI：可重定向和可重新配置软件动态翻译基础设施的社区资源开发项目

• 批准号: 0551560
• 负责人: Jack Davidson
• 金额: $ 10.68万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-03-01 至 2009-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0551560&HistoricalAwards=false
• 关键词: Collaborative; Research; CRI; Community; Resource

This collaborative project, developing tools that support the dynamic (as it runs) modification of software and exploring the use of these tools, addresses many critical challenges facing software developers. Such issues include software security, software robustness, performance, resource-aware computation, cost-effective software development, cost-effective software updating and patching, and support for heterogeneous execution environments. The practical approach employed, Software Dynamic Translation (SDT), is a technology that enables software malleability and adaptivity at the instruction level by providing facilities for monitoring and dynamically modifying an application program as it is being executed. The investigators have developed a SDT system that is being used in various successful cutting-edge research projects. This community resource development project extends and refines the existing SDT system so the broader research community can use it. The extended prototype into a more production quality system will contain features such as:Automatically generated high-performance instruction decodersDecompilation of the instruction set into a more neutral format (RTLs) to support richer forms of analysis and translationA useful suite of analyses on the RLT that can serve as templates for future analysisTools for detecting and forming hot traces/pathsSupport for commonly used targets (e.g., x86 Windows)Beyond the extension and refinement of the infrastructure, the work supports software. This crucial support enables the building of an active, productive community of users. Providing a complete, open-source framework, this project might accelerate research in the development of a new SDT implementation techniques as well as research into its novel uses. The project contributes to the understanding of key algorithms and data structures necessary to support the implementation of flexible, retargetable SDT systems.Broader Impact: This project contributes to the reduction of the vulnerability of the nation's vital computing infrastructure. In addition, an open, extensible framework enables a great deal of research in compilers, languages, hardware, and measurements. Moreover, underrepresented students are encouraged to participate utilizing a specific recruitment mechanism in place at U Pittsburgh.

这个合作项目，开发工具，支持软件的动态（因为它运行）修改和探索使用这些工具，解决了软件开发人员面临的许多关键挑战。这些问题包括软件安全性、软件鲁棒性、性能、资源感知计算、具有成本效益的软件开发、具有成本效益的软件更新和修补以及对异构执行环境的支持。所采用的实际方法，软件动态翻译（SDT），是一种技术，使软件的可塑性和自适应性在指令级提供设施，用于监视和动态修改的应用程序，因为它正在执行。研究人员已经开发出一种SDT系统，该系统正在各种成功的尖端研究项目中使用。这个社区资源开发项目扩展和改进了现有的SDT系统，以便更广泛的研究社区可以使用它。扩展后的原型将成为一个更具生产质量的系统，它将包含以下功能：自动生成的高性能指令解码器将指令集反编译为更中立的格式（RTL），以支持更丰富的分析和解释形式一套有用的RLT分析，可以作为未来分析的模板用于检测和形成热跟踪/路径的工具支持常用目标（例如，x86 Windows）除了基础设施的扩展和改进之外，这项工作还支持软件。这种至关重要的支持有助于建立一个活跃、富有成效的用户社区。该项目提供了一个完整的开源框架，可能会加速开发新的SDT实现技术的研究以及对其新用途的研究。该项目有助于理解关键算法和必要的数据结构，以支持实施灵活的、可重定向的SDT系统。更广泛的影响：该项目有助于减少国家重要计算基础设施的脆弱性。此外，一个开放的，可扩展的框架，使大量的研究编译器，语言，硬件和测量。此外，代表性不足的学生被鼓励参与利用在U匹兹堡地方特定的招聘机制。