Java锁机制

1 乐观锁与悲观锁

乐观锁和悲观锁是一种广义的概念，体现了看待线程同步的不同角度，在Java和数据库中都有此概念的实际应用。

对于同一个数据的并发操作，悲观锁认为自己在使用数据的时候，一定有其他线程会修改数据，因此在获取数据的时候，会先加锁，确保数据不会被其他线程修改，在Java中synchronized关键字和Lock的实现类都是悲观锁。

而乐观锁认为自己在使用数据的时候，不会有其他线程修改数据，所以不会添加锁，只是在更新数据的时候，判断之前有没有别的线程更新了这个数据，如果数据已经被其他线程更新，则根据不同的实现方法执行不同的操作，例如报错，或自动重试。

乐观锁在Java中是通过使用无锁编程来实现的，最常使用的是CAS算法，Java原子类的递增操作就是通过CAS自旋来实现的。

                   

根据以上概念的描述，我们可以发现：

• 悲观锁适合写操作多的场景，先加锁可以保证写操作时数据正确
• 乐观锁适合读操作多的场景，不加锁的特点使其读操作的性能大幅度提升

以下是悲观锁和乐观锁的调用方式示例：

通过调用方法示例，我们可以发现悲观锁基本都是在显式的锁定之后再操作同步资源，而乐观锁则直接去操作同步资源。

那么为什么乐观锁能够做到不锁定同步资源，也可以正确的实现线程同步呢？

以下介绍乐观锁的主要实现方式“CAS”技术原理来解惑：

CAS全称：Compare And  Swap 比较与交换，是一种无锁算法，在不使用锁(没有线程被阻塞)的情况下，实现多线程之间的变量同步，JUC包中的原子类就是通过CAS算法来实现了乐观锁。

CAS算法涉及到三个操作数：

1. 需要读写的内存值V
2. 进行比较的值A
3. 要写入的新值B

当且仅当V的值等于A时，CAS通过原子方式用新值B来更新V的值(比较和更新整体是一个原子操作)，否则不会执行任何操作，一般来说，更新是一个不断“重试”的操作。

以下是JUC包下原子类AtomicInteger的源码,原子类通过CAS来实现乐观锁：

根据定义可以看出各属性的作用：

• unsafe:获取并操作内存的数据
• valueOffset:存储value在AtomicInteger中的偏移量
• value:存储AtomicInteger的int值，该属性需要借助volatile关键字保证其在线程间是可见的

CAS存在的三个问题:

1. ABA问题

CAS需要在操作值的时候检查内存值是否发生变化，没有发生变化才会更新内存值。但是如果内存值原来是A，后来变成了B，然后又变成了A，那么CAS进行检查时会发现值没有发生变化，但是实际上是有变化的。ABA问题的解决