CAREER: Input-Centric Program Behavior Analysis and Adaptation

职业：以输入为中心的程序行为分析和适应

• 批准号: 0954015
• 负责人: Xipeng Shen
• 金额: $ 42万
• 依托单位: College of William and Mary
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-09-01 至 2014-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0954015&HistoricalAwards=false
• 关键词: CAREER; Input; Centric; Program; Behavior

By analyzing and predicting program dynamic behaviors, program behavior analysis offers the fundamental support for program transformations and resource management. Its effectiveness is crucial for the maximization of computing efficiency. This research proposes to include program inputs---a so far virtually ignored dimension---into the focus of program behavior analysis, cultivating a new paradigm, namely input-centric program behavior analysis and adaptation. This input-centric paradigm will create many new opportunities for enhancing the matching between software and hardware, hence significantly improving the performance and power efficiency in modern computing.The proposed technique, input-centric program behavior analysis and adaptation, consists of three components. The first two components, program input characterization and input-behavior modeling, resolve the complexities of program inputs, extract important features, and recognize the correlations between characterized input features and program behaviors. The third component, input-centric adaptation, capitalizes on the novel opportunities that the first two components create, making dynamic optimizations proactive and holistic, but without losing the adaptivity to inputs and environmental changes. Together, the three components make evolvable programming systems more feasible than before. In such a system, the input-behavior models embody the central knowledge base, which grows incrementally across program production runs. As the knowledge base becomes larger, behavior prediction becomes more accurate, stimulating better software-hardware matching and making the program and runtime systems perform increasingly better. Because of the fundamental role of program behavior analysis in software-hardware matching, this research helps pave the way for advancing the optimizations in various layers in the software execution stack (compilers, virtual machines, OS, etc.).

程序行为分析通过分析和预测程序动态行为，为程序转换和资源管理提供基础支持。 其有效性对于计算效率的最大化至关重要。本研究提出将程序输入这一迄今为止几乎被忽视的维度纳入程序行为分析的重点，培育一种新的范式，即以输入为中心的程序行为分析与适应。这种以输入为中心的范例将为增强软件和硬件之间的匹配创造许多新的机会，从而显着提高现代计算的性能和功率效率。所提出的以输入为中心的程序行为分析和适应技术由三个组成部分组成。前两个组成部分，程序输入表征和输入行为建模，解决了程序输入的复杂性，提取重要特征，并识别表征的输入特征和程序行为之间的相关性。 第三个组成部分，以输入为中心的适应，利用前两个组成部分创造的新机会，使动态优化变得主动和全面，但又不失去对输入和环境变化的适应性。这三个组件一起使可进化编程系统比以前更加可行。 在这样的系统中，输入行为模型体现了中央知识库，该知识库在程序生产运行中逐渐增长。 随着知识库变得越来越大，行为预测变得越来越准确，从而刺激更好的软硬件匹配，并使程序和运行时系统的性能越来越好。由于程序行为分析在软硬件匹配中的基础作用，这项研究有助于为推进软件执行堆栈中各个层（编译器、虚拟机、操作系统等）的优化铺平道路。