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)如何有效地加强分布式应用程序的网络易变性？该项目将开发自动重构技术，语义保留在程序员？S控制下执行的转换。这些技术将(1)将单片应用重新模块化为服务模块以利用自然的分布边界，(2)根据程序分析的指导来优化分布中间件以减少远程调用的总延迟并有效地将对象图作为参数传输，以及(3)增强分布式应用应对网络波动的能力。这些技术将有助于实现高效和可靠的分布式执行，同时降低软件开发成本和提高程序员的生产率，从而使企业、研究人员和普通公众受益。