volatile在不符合以下两种情况下需要加锁来保证原子性:
1)运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值
2)变量不需要与其他的状态变量共同参与不变的约束。
在线程内部来看,所有操作都是有序的,如果从另一个线程中观察这个线程,所有操作都是无序的
synchronized保证:原子性、有序性、可见性
1)运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值
2)变量不需要与其他的状态变量共同参与不变的约束。
在线程内部来看,所有操作都是有序的,如果从另一个线程中观察这个线程,所有操作都是无序的
synchronized保证:原子性、有序性、可见性