在线阅读 --自然科学版 2020年3期《面向并发程序的重构一致性检测方法