一种自动化的Java程序锁分解重构方法

摘要

许多并发程序存在同步粒度过粗的问题,对此,人们提出可以通过锁分解等代码重构来逐步演化同步结构,提高程序并行性.然而,手工重构一方面识别重构契机较为困难,另一方面代码转换也容易出错.为克服手工重构中存在的问题,本文提出了一种自动化的锁分解重构方法.它可以根据已有的同步代码,自动识别锁分解重构契机,并对相关代码加以转换.实验表明,所提出方法可有效识别真实程序中的可重构代码,并准确实施转换,这将为并发程序的演化提供支持.