CAREER: Program Analysis and Transformations for Asynchrony

职业：异步程序分析和转换

• 批准号: 2115865
• 负责人: Daniel Dig
• 金额: $ 52.08万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-10-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2115865&HistoricalAwards=false
• 关键词: CAREER; Program; Analysis; Transformations; Asynchrony

Asynchronous programming is in demand today because responsiveness isimportant on all modern devices: desktop, mobile, or web. Asynchronousprogramming is especially important in mobile and wearable apps, whichare expected by 2016 to reach 300 billion downloads annually. Onecontemporary development task is refactoring long-running, blockingsynchronous code (e.g., accessing the web, database, or file system)into non-blocking asynchronous code. While major programming languagesmake asynchrony possible, they do not make it easy.This proposal aims to significantly enrich educational resources andprogrammers? toolset for adding, modernizing, tuning, and suggestingasynchrony. The PI plans to pursue research activities in four areas:(1) Mining and recommending refactorings; (2) Automated refactorings foradding asynchrony into mobile apps, for modernizing legacy asynchronouscode, and for converting between async variants; (3) Detecting andfixing async errors; (4) Extending async refactorings to other domains,with the intent of discovering theories and reusable principles.This project has the potential to revolutionize how mobile appprogrammers use asynchrony, to educate them about successful usage ofasynchrony, and to significantly reduce the cost and increase thequality of their code.

异步编程在今天很受欢迎，因为响应性在所有现代设备上都很重要：桌面设备、移动设备或web设备。异步编程在移动和可穿戴应用中尤为重要，预计到2016年，这些应用的年下载量将达到3000亿次。当前的一个开发任务是将长时间运行的、阻塞的同步代码（例如，访问web、数据库或文件系统）重构为非阻塞的异步代码。虽然主要的编程语言使异步成为可能，但它们并不容易实现。本提案旨在显著丰富教育资源和程序员。用于添加、更新、调优和建议异步的工具集。PI计划在四个领域开展研究活动：(1)挖掘和推荐重构；(2)自动重构，将异步添加到移动应用程序中，用于现代化遗留异步代码，以及在异步变体之间进行转换；(3)检测和修复异步错误；(4)将异步重构扩展到其他领域，以发现理论和可重用原则。这个项目有可能彻底改变移动应用程序程序员使用异步的方式，教会他们如何成功地使用异步，并显著降低成本，提高代码质量。