共1个violate能保证可见性但无法提供操作的原子性相关