今天要说的话题是并发编程之Synchronized
说Synchronized之前,得先聊一下CAS。首先,什么是CAS呢? compare and swap。
例如,两个线程都去内存之中,取A的值,并且进行更新,每次更新的时候,先比较一下A的值和我之前拿的值是否是一样的,如果一样就更新成功,如果不一样,就把A的新值重新拿出来,然后进行下一轮CAS操作。
那么这样会引发什么问题呢?
这就是我们常说的ABA问题,怎么解决呢,可以采用乐观锁的思路,加上版本号来解决。
CAS的底层是基于什么做的呢?从上面可以看出,有两个动作,首先取出值进行比较,然后决定是否更新,这个其实是需要原子性的,也就是说,在取值比较到更新这个过程中,cpu不能够对这个内存值进行写的操作。
Lock cmpxchg,这个就是CAS的底层实现的命令,也可以提前告诉你,synchronize底层也是用这条命令实现的。