volatile是一种比sychronized关键字更轻量级的同步机制
访问volitile变量时,不会执行加锁操作
访问非volitile变量时,每个线程会从系统内存(主内存)拷贝变量到工作内存中,然后修改工作内存中的变量值,操控的变量可能不同,造成混乱。
volatile修饰的变量,是直接拿的主内存的值,就是说这个值永远是最新的,对其他线程是可见的。
volatile的读写操作是原子性的。voalile变量进行频繁的++操作,就会失去原子性。假如线程A和线程B,同时对0进行++操作100次,结果可能小于200.
使用volitile之后,有两个特性:
保证此变量对多个线程的可见性,当某一个线程修改了变量,新值会立即同步到主内存;
禁止指令重排序,内存屏障(保证读和写的原子性,不能被任何其他操作打断):读-LoadLoad-LoadStore;SotreStore-写-StoreLoad。
LoadLoad:后面的读和前面的读,不会重排序
LoadStore:后面的写和前面的读,不会重排序
StoreStore:前面的写和后面的写,不会重排序
StoreLoad:后面的读和前面的写,不会重排序
写完修改了工作内存中的变量,然后把这个变量赋值到主内存;通知旧值失效(缓存(工作内存)失效)。
什么叫作缓存失效机制?
定义一个volatile boolean flag = false;
第一个线程进行写操作,run{while(!flag){System.out.println("一直打印...")}},5秒后(Thread.sleep(5000)),将flag赋值为true;
第二个线程,读到的flag==fasle,那么也会一直打印,如果此时看到flag已经是true了,这个时候,此线程中的工作内存变量(flag==false),会失效。
如果没有采用缓存失效机制,那么线程得到的flag值,不具备时效性,会打印多余的内容,影响结果。