有关java volatile关键字的理解

volatile是一种程度较轻的同步机制，它的作用就是在于某个线程修改了变量之后，其他线程看到的变量值也同步了，提高了可见性。但是要通过volatile来实现真正的同步，也是有条件的

1、对变量的写操作不依赖于当前值。

2、该变量没有包含在具有其他变量的不变式中。

满足了以上两个条件，才能通过volatile实现真正的同步

第一个条件指的是n++，n=n+1这种情况

第二个条件通过以下例子来形容

清单 1. 非线程安全的数值范围类

                
@NotThreadSafe 
public class NumberRange {
    private int lower, upper;

    public int getLower() { return lower; }
    public int getUpper() { return upper; }

    public void setLower(int value) { 
        if (value > upper) 
            throw new IllegalArgumentException(...);
        lower = value;
    }

    public void setUpper(int value) { 
        if (value < lower) 
            throw new IllegalArgumentException(...);
        upper = value;
    }
}

这种方式限制了范围的状态变量，因此将 lower 和 upper 字段定义为 volatile 类型不能够充分实现类的线程安全；从而仍然需要使用同步。否则，如果凑巧两个线程在同一时间使用不一致的值执行 setLower 和 setUpper 的话，则会使范围处于不一致的状态。例如，如果初始状态是 (0, 5)，同一时间内，线程 A 调用 setLower(4) 并且线程 B 调用 setUpper(3)，显然这两个操作交叉存入的值是不符合条件的，那么两个线程都会通过用于保护不变式的检查，使得最后的范围值是 (4, 3) —— 一个无效值。至于针对范围的其他操作，我们需要使 setLower() 和 setUpper() 操作原子化 —— 而将字段定义为 volatile 类型是无法实现这一目的的。