SHF: CSR: Small: Automated Refactoring Techniques for Efficient and Reliable Distributed Execution

SHF：CSR：小型：用于高效可靠的分布式执行的自动重构技术

• 批准号: 1116565
• 负责人: Eli Tilevich
• 金额: $ 47.87万
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-07-15 至 2016-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1116565&HistoricalAwards=false
• 关键词: SHF; CSR; Small; Automated; Refactoring

The software marketplace is striving to accommodate the impending shift from traditional desktop applications to a model dominated by cloud computing. This paradigm shift will enable users to access computing resources from any location using an increasingly diverse set of clients, a growing number of which are mobile devices. Because traditional software development is tailored toward centralized execution, many centralized applications need to be adapted to serve remote users efficiently and reliably. Traditionally such adaptations require modifying application source code by hand, which is difficult, costly, and error-prone. To address this problem, this project develops automated program transformations that programmers can use to achieve efficient and reliable distributed execution. This project will help answer the following fundamental research questions: (1) How can one distribute Object Oriented software even though objects do not distribute naturally? (2) How can distributed applications effectively leverage the latency/bandwidth trade-offs of modern networks? How can one alleviate inefficiencies imposed by use of remote pointers? (3) How can one effectively harden a distributed application against network volatility? This project will develop automated refactoring techniques, semantics preserving transformations performed under the programmer¹s control. These techniques will (1) remodularize monolithic applications into service modules to exploit natural distribution boundaries, (2) optimize distribution middleware as guided by program analysis to reduce the aggregate latency of remote calls and efficiently transfer object graphs as parameters, and (3) enhance distributed applications with the ability to cope with network volatility. These techniques will help achieve efficient and reliable distributed execution with reduced software development costs and improved programmer productivity, thus benefiting enterprises, researchers, and the general public alike.

软件市场正在努力适应即将到来的从传统桌面应用程序到云计算主导模式的转变。这种模式的转变将使用户能够使用日益多样化的客户端从任何位置访问计算资源，其中越来越多的客户端是移动的设备。由于传统的软件开发是针对集中执行而定制的，因此许多集中式应用程序需要进行调整以有效可靠地为远程用户提供服务。传统上，这样的适应需要手工修改应用程序源代码，这是困难的，昂贵的，并且容易出错。为了解决这个问题，这个项目开发了自动程序转换，程序员可以使用它来实现高效和可靠的分布式执行。这个项目将有助于回答以下基本的研究问题：（1）如何能够分布面向对象的软件，即使对象不自然分布？(2)分布式应用程序如何有效地利用现代网络的延迟/带宽权衡？如何减轻使用远程指针带来的低效率？(3)如何有效地加固分布式应用程序以抵御网络波动？该项目将开发自动重构技术，在程序员的控制下执行语义保留转换。这些技术将（1）将单片应用程序重新调整为服务模块，以利用自然的分布边界，（2）在程序分析的指导下优化分布中间件，以减少远程调用的聚合延迟，并有效地传输对象图作为参数，（3）增强分布式应用程序科普网络波动的能力。这些技术将有助于实现有效和可靠的分布式执行，降低软件开发成本，提高程序员的生产力，从而使企业，研究人员和公众受益。