Java中并发编程需要注意的特性:原子性、可见性、有序性
原子性:是指在一次的操作或者多次操作中, 要么所有的操作全部都得到了执行并且不会受到任何因素的干扰而中断, 要么所有 的操作都不执行。 比如加了synchronize的代码块
可见性:是指当一个线程修改了共享变量后,其他线程能够立即得知这个修改。相反,一般的变量在使用时需要把变量从主内存控件加载到工作内存空间(可以映射为堆内存和栈内存模型),工作内存空间是线程私有,然后使用外之后才能更新到主内存,这期间的操作不是原子操作,所以在高并发下,存在存储不一致问题
有序性:是指处理器为了提高程序的运行效率, 可能会对输入的代码指令做一定的优化, 它不会百分之百的保证代码的执行顺序 严格按照编写代码中的顺序来进行,但是它会保证程序的最终运算结果是编码时所期望的那样
volatile 的应用场景,使用volatile必须具备的条件:
1、对变量的写操作不依赖于当前值,i++这种操作不能保证原子性
2、该变量没有包含在具有其他变量的不变式中
所以,只有在状态真正独立于程序内其他内容时才能使用volatile