面向并发的自动化代码重构技术研究

项目名称： 面向并发的自动化代码重构技术研究

项目编号： No.60903026

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 生物科学

项目作者： 钱巨

作者单位： 南京航空航天大学

项目金额： 18万元

中文摘要： 重构是软件演化的一个重要手段。既有重构研究主要局限在顺序程序领域，而多核体系结构的兴起已经使得并发化成为未来软件发展的一个重要方向，为支持并发相关的程序演化，必须对面向并发的代码重构技术展开更深入的讨论。并发相关的程序演化主要分为两个方面：顺序代码的并发化和并发代码自身的优化调整。本课题拟围绕这两个方面对源代码级的并行化重构技术和并发代码的优化重构技术展开深入研究。在并行化重构方面，结合动、静态程序分析技术，着重针对非科学计算型程序，研究共享内存模型下粗粒度的任务级（非循环代码）并行化方法。在并发代码自身的优化重构方面，针对不同的并发编程模型和新型的并发设施，研究自动化的重构转换技术；针对同步设施，研究自动的同步代码优化重构方法。这些研究的展开将能够为多核体系结构下的软件演化提供有力支持。

中文关键词： 并发；重构；程序分析；测试；调试

英文摘要：

英文关键词： concurrent；refactoring；program analysis；testing；debugging