对自动生成的补丁而言，最大的障碍往往不是语法正确性，而是对子系统语义和并发约束的理解是否到位。