SHF: Small: Algorithms for Dynamic Analysis of Run-Time Bloat

许多面向对象的程序，特别是大型企业应用程序，长期遭受运行时膨胀的困扰：在看似简单的计算中出现了过多的内存使用和运行时工作。这种膨胀极大地影响了可伸缩性和性能，并给成千上万的企业每天使用的软件带来了严重的问题。性能调优可能会发现大量的优化机会，但它非常耗费人力，需要大量的技能。该项目为Java程序的运行时分析开发了新的算法，以识别膨胀的症状并查明其原因。这些算法可用于在软件开发期间检查工具，以及稍后用于性能调试的调优工具。算法设计和实现的框架定义了运行时数据依赖图的一般形式，具有特定于目标分析的抽象，以及参数化的几个维度。框架实例用于创建对临时数据结构的分析、对复制链的分析、对数据结构的成本效益分析以及对低效使用的容器的分析。实验评估研究了这些算法在设计和实现中的成本/精度权衡，以及它们在帮助程序员提高性能方面的有效性。该项目为系统地探索膨胀分析提供了基础，这将有助于提高软件性能并减少调优工作。该框架及其实例将公开提供。这些进步可以成为开发工具包的一部分，从而提高企业应用程序的性能。教育工作将有助于提高下一代企业系统开发人员的技能。

Many object-oriented programs, and in particular large enterprise applications, suffer from chronic run-time bloat: the excessive memory usage and run-time work that occur as part of seemingly simple computations. Such bloat significantly affects scalability and performance, and presents a serious problem for software used every day by thousands of businesses. Performance tuning may find substantial optimization opportunities, but it is very labor-intensive and requires a great deal of skill.This project develops novel algorithms for run-time analysis of Java programs to identify the symptoms of bloat and to pinpoint their causes. These algorithms can be used in checking tools during software development, and later in tuning tools for performance debugging. A framework for algorithm design and implementation defines a generalized form of a run-time data dependence graph, with abstractions specific to the targeted analysis, and with several dimensions of parameterization. Framework instances are used to create analyses of temporary data structures, analyses of copy chains, data structure cost-benefit analyses, and analyses of inefficiently-used containers. Experimental evaluation investigates the cost/precision trade-offs in the design and implementation of these algorithms, and their effectiveness in helping a programmer to improve performance.The project provides a foundation for systematic exploration of bloat analyses, which will help increase software performance and reduce tuning efforts. The framework and its instances will be made publicly available. These advances could become part of development toolkits, leading to higher performance of enterprise applications. Educational efforts will contribute to the skills of the next generation of developers of enterprise systems.