一直以来没能理解为什么static不能代替volatile,同时volatile的可见性到底是怎么一回事?
查阅了相关资料:
1。首先要明确static是干嘛的,static成员变量在类初次被加载的时候初始化,而且在内存中只有一份,所有实例共享,也就是大家都是操作的同一个变量,但是他是不能保证线程安全的。这个可以写个小demo,很好证明。
2。static 和 volatile是描述不同维度的关键字,两个并不冲突。volatile的变量对所有线程保证其可见性,但是不能保证原子性。
3。上面最后一句话可以这么理解,多线程环境下对volatile变量(比如:Integer)的自增运算是非线程安全的。但是set和get操作是线程安全的。
4。volatile有两点特性:
1,任何的线程对volatile变量的修改都会强制更新到主内存,使其他线程取到最新的值,这就是可见性。
2,保证其他线程对变量的修改操作都已完成,且后来的修改也必须在本次修改之后。
5。因为Integer的自增运算是三部完成,先读取数据到本地(get),本地+1,写入主内存(set)。基于上面第4点,且这几个操作不是连续的,本地+1操作期间可能就存在主内存中的值被其他线程修改,所以是非线程安全的。