SHF: Small: Interactive Refactoring for Multicore Parallelism

SHF：小型：多核并行性的交互式重构

• 批准号: 1219027
• 负责人: Daniel Dig
• 金额: $ 25万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-09-01 至 2014-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1219027&HistoricalAwards=false
• 关键词: SHF; Small; Interactive; Refactoring; Multicore

In the multicore era, a major programming task is to make existing sequential programs parallel. One approach to parallelizing an existing sequential program is to rewrite it from scratch. However, the most common way is to parallelize a program incrementally, by changing the existing code. Each small step can be seen as a behavior-preserving transformation, i.e., a refactoring. While refactoring is more economical than rewriting, it is still tedious because it requires changing many lines of code, and it is error-prone and non-trivial because programmers need to ensure non-interference of parallel operations.This project aims to significantly enrich educational resources and programmers' toolset for refactoring sequential programs for parallelism and improving the performance of already parallel programs. The PIs plan to pursue research activities in three areas:(1) mining refactorings by studying the evolution of widely used open-source programs; (2) automating refactorings for parallelism that programmers frequently use; and (3) suggesting refactorings that offer several candidate programs with different trade-offs in terms of performance or thread-safety. This project has the potential to revolutionize how programmers parallelize software, to educate them about successful parallelization techniques, and to significantly reduce the cost and increase the quality of their code.

在多核时代，一个主要的编程任务是使现有的顺序程序并行。 并行化现有顺序程序的一种方法是从头重写它。 然而，最常见的方法是通过改变现有代码来增量地并行化程序。 每一小步都可以被看作是一个行为保持转换，即，重构 虽然重构比重写更经济，但由于需要修改许多行代码，因此仍然很繁琐，而且由于程序员需要确保并行操作的不干扰，因此容易出错且不平凡。本项目旨在大大丰富教育资源和程序员工具集，用于重构并行顺序程序并提高已经并行的程序的性能。 PI计划在三个领域开展研究活动：（1）通过研究广泛使用的开源程序的演变来挖掘重构;（2）为程序员经常使用的并行性自动化重构;（3）建议重构，提供几个候选程序，在性能或线程安全性方面进行不同的权衡。 这个项目有可能彻底改变程序员如何并行化软件，教育他们成功的并行化技术，并显着降低成本，提高代码质量。