volatile 修饰的变量, 能够保证 "内存可⻅性".
代码在写⼊ volatile 修饰的变量的时候,
•
改变线程⼯作内存中volatile变量副本的值
•
将改变后的副本的值从⼯作内存刷新到主内存
代码在读取 volatile 修饰的变量的时候,
•
从主内存中读取volatile变量的最新值到线程的⼯作内存中
•
从⼯作内存中读取volatile变量的副本

t1 读的是⾃⼰⼯作内存中的内容.
当 t2 对 flag 变量进⾏修改, 此时 t1 感知不到 flag 的变化.
如果给 flag 加上 volatile

volatile 不保证原⼦性
volatile 和 synchronized 有着本质的区别. synchronized 能够保证原⼦性, volatile 保证的是内存可⻅ 性.
代码⽰例
这个是最初的演⽰线程安全的代码.
•
给 increase ⽅法去掉 synchronized
•
给 count 加上 volatile 关键字.
