当我们说volatile
关键字主要用于保证变量的可见性,但不保证操作的原子性或互斥性,我们可以用一个日常生活中的例子来形象地说明:
想象一下,你和你的室友共享一个冰箱,你们俩都有可能往冰箱里放食物或者拿走食物。为了让对方知道自己做了什么,你们决定在冰箱门上贴一张便条,上面写着:“冰箱里放了什么,谁动了冰箱”。
可见性
volatile
的可见性:就像这张便条一样,volatile
变量的作用是确保当一个线程(比如你)更新了变量的值(比如往冰箱里放了一盒牛奶),那么这个更新对其他线程(比如你的室友)是立即可见的。也就是说,只要你的室友去查看冰箱(读取变量),他就能看到最新的便条(最新的变量值),知道冰箱里现在有什么。
原子性与互斥性
-
原子性:如果我们在便条上写“从冰箱里拿出一盒牛奶”,那么这个操作就不是原子的。假设冰箱里原来有两盒牛奶,如果我们不能一次性完成“拿出一盒牛奶”的动作,那么在我们拿起一盒牛奶但还没来得及写下便条的时候,如果室友也想拿牛奶,他可能会看到冰箱里还是两盒牛奶,于是他也拿走一盒,最后冰箱里可能一盒牛奶都不剩,而你们俩却各自认为只拿走了一盒。这就是缺乏原子性的问题。
-
互斥性:如果冰箱的门可以同时被两个人打开,那么你和室友可能会同时伸手进去拿牛奶,造成混乱。互斥性就像一把锁,确保一次只有一个可以使用冰箱,这样就不会有冲突。
总结
volatile
就像冰箱门上的便条,确保了你对冰箱(变量)的任何更改(写操作)都会立即被你的室友(其他线程)看到(读操作),但volatile
并不能确保你们不会同时伸手进冰箱(操作的原子性),也不能防止两个人同时打开冰箱门(互斥性)。因此,volatile
可以保证变量的可见性,但不能保证复合操作(如增加或减少变量值)在多线程环境下的正确性,后者通常需要更强大的同步机制,如synchronized
关键字或显式锁来实现。
volatile
适用于一个线程写,多个线程读的场景。