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.).

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