实现同步的基本模式:
1、首先,声明共享变量为volatile;
2、然后,使用CAS的原子条件更新来实现线程之间的同步;
3、同时,配合以volatile的读/写和CAS所具有的volatile读和写的内存语义来实现线程之间的通信。
CAS的原理:
CAS 操作 compare and swap ,比较和更新,CAS的语义为:“我认为v的值应该为A,如果是,将V的值更新为B”,CAS 有三个操作数,内存值V,期望值A,更新值B,当且仅当V=A 时,才实现V=B的操作。 当多线程使用CAS同时更新一个变量时,只有其中一个变量能更新变量的值,其他线程失败,失败的线程并不会被挂起,而是被告知竞争失败,并再次尝试。
volatile关键字的作用:
在当前的Java内存模型下,线程可以把变量保存在本地内存(比如机器的寄存器)中,而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个变量的值,而另外一个线程还继续使用它在寄存器中的变量值的拷贝,造成数据的不一致。要解决这个问题,就需要把变量声明为volatile,这就指示JVM,这个变量是不稳定的,每次使用它都到主存中进行读取。一般说来,多任务环境下,各任务间共享的变量都应该加volatile修饰符。
Volatile修饰的成员变量在每次被线程访问时,都强迫从共享内存中重读该成员变量的值。而且,当成员变量发生变化时,强迫线程将变化值回写到共享内存。这样在任何时刻,两个不同的线程总是看到某个成员变量的同一个值。
参考AtomicInteger类: