同步依赖分析相关论文
多核处理器的普及和快速发展使得多线程并发程序近年来变的越来越流行。为使并发程序变得简单和高效,研究人员将软件重构技术应用......
针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变......
