乐观锁和悲观锁的应用(Java应用向)

一、两种锁的原理        

悲观锁原理:

在修改数据之前将其锁定,并在操作完成后释放锁定,以确保数据的一致性和完整性。

乐观锁原理:

不加锁直接进行操作,但在更新数据时会进行版本比对,版本对应时才能更新,不对应则放弃更新,以确保数据的一致性。

本质区别:

悲观锁是线程阻塞的形式实现的,乐观锁的线程没有被阻塞,更像是一种权限的认证。

二、悲观锁的实现

2.1 synchronized关键字修饰

先介绍下synchronized,这是Java原生的关键字,不是某个包,因此源码我也找不到很多(博主很菜,勿喷)。

synchronized可以用于以下3种情景:

2.1.1. 修饰实例方法

你只要记住,修饰实例方法其实锁的是该对象,用简单的话解释就是:

该实例有一把锁,要想运行这个方法,需要拿到实例的锁(这锁是唯一的,监视器锁 monitor)。

例如:

线程1执行methodA()时,要获取example的锁,之后这个唯一的锁就被线程1占用了

线程2执行的不是methodA()而是methodB(),因此不用借example的锁,可以直接运行。

线程3不知好歹,也要执行methodA(),但这时example的锁已经被线程1占用了,线程3只能等待线程1执行完释放锁,它再来获取锁,才能执行methodA()

public class SynchronizedExample {
    public synchronized void methodA() {
        System.out.println("线程A");
    }

    public void methodB() {
        System.out.println("线程B");
    }

    public static void main(String[] args) {
        SynchronizedExample example = new SynchronizedExample();

        // 线程 1 执行 methodA
        Thread t1 = new Thread(() -> example.methodA(), "Thread-1");

        // 线程 2 执行 methodB
        Thread t2 = new Thread(() -> example.methodB(), "Thread-2");
        
        // 线程 3 也要执行 methodA
        Thread t3 = new Thread(() -> example.methodA(), "Thread-3");

        t1.start();// 正常运行
        t2.start();// 正常运行
        t3.start();// 等待t1完成后才能执行methodA()
    }
}

2.1.2  修饰静态方法

同样只用记住: 修饰静态方法其实锁的是该类,用简单的话解释就是:

该类有一把锁,要想运行这个方法,需要拿到类的锁(这锁是唯一的,监视器锁 monitor)。

例如:

依次启动5个线程执行被修饰的静态方法updateSharedResource()

只有一个线程可以拿到SynchronizdExample类的监视锁

其他4个线程先阻塞

等拿到锁的线程释放后才能请求获得锁 (等待的线程是用集合存储的,无顺序,因此是非公平锁)

class SynchronizedExample {
    private static int count= 0;

    // synchronized修饰的静态方法
    public static synchronized void updateSharedResource() {
        count++;
        System.out.println("Shared resource value: " + sharedResource);
    }
}

public class LockExample {
    public static void main(String[] args) {
        // 多线程并发调用静态方法
        for (int i = 0; i < 5; i++) {
            new Thread(() -> {
                SynchronizedExample.updateSharedResource();
            }).start();
        }
    }
}

注意这两种锁不是互斥的,因为对象monitor和类monitor没有直接关系

2.1.3. 修饰代码块

虽然是修饰代码块,但本质还是对类或实例的锁.原理不再讲,同上,用法:

 synchronized ( 类/实例 ) {
            执行前要获取类/实例的代码
  }

以下程序进行到counter++时才会获取实例锁,打印Doing some non-critical work...时不需要

public class SynchronizeExample {
    private int counter = 0;

    public void increment() {
        // 不需要同步的代码
        System.out.println("Doing some non-critical work...");

        // 需要同步的代码
        synchronized (this) {
            counter++;
        }
    }

    public int getCounter() {
        return counter;
    }
}

2.2 调用ReentrantLock类

2.2.1 介绍

ReentrantLock类是在java.util.concurrent.locks包下,实现了Lock, Serializable两个接口

JavaGuide提到: ReentrantLock类比Synchronized更灵活,增加了轮询、超时、中断、公平锁和非公平锁等高级功能

ReentrantLock的核心在于内部类Sync,它继承于AQS(AbstractQueuedSynchronizer),分为公平锁和非公平锁两种.  默认是非公平,

和Synchronized一样都是可重入锁(Reentrant意思就是可重入)

连最基本的lock功能都是靠Sync实现,其实ReentrantLock锁就是Sync的一层封装

2.2.2 基本用法: 

主要看increment()方法.

import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

public class ReentrantLockExample {
    private final Lock lock = new ReentrantLock();
    private int counter = 0;

    // 必须手动释放锁
    public void increment() {
        lock.lock(); // 获取锁
        try {
            counter++;
        } finally {
            lock.unlock(); // 手动释放锁
        }
    }
}

2.2.3 特殊功能

2.2.3.1 等待可中断

很容易实现,用lockInterruptibly()上锁而不是lock().

区别:

lockInterruptibly()在阻塞时运行被其他线程要求中断,结束阻塞

lock()一直阻塞下去,直到获取锁

2.2.3.2 支持超时等待

tryLock(timeout)方法而不是lock()

tryLock()的阻塞超时,则结束阻塞

lock()一直阻塞下去,直到获取锁

2.2.3.3 可以用公平锁

很简单,构造ReentrantLock时传参实现

多个线程阻塞时,锁被释放,线程按先来后到顺序获取锁

2.2.3.4 选择性通知

ReentrantLock实例中可以维护多个Condition,以自定义的条件区分等待队列,相当于有多个监视器锁.而Synchronized只有一个监视器

那公平锁的阻塞线程会进入哪个队列呢?

答案是看它是要获取哪个锁,原生的lock进入原生等待队列,用condition.await()进入该condition的队列

最后总结下悲观锁:

原理是一个线程获取锁,其他线程阻塞

两种具体实现:

1. synchronized关键字

一个线程获取对象/类的监视器锁,其他线程等待锁释放,释放后也不是按申请锁的时间顺序再分配锁的(非公平锁)

2. ReentrantLock类

new一个ReentrantLock对象

要么用lock方法(或其他的高级lock),写业务代码,再用unlock方法手动释放

要么自定义Condition来额外维护线程条件队列,调用await()方法把线程从等待队列转移到condition的条件队列,再用singnal()唤醒

三、乐观锁的实现

3.1 版本号机制

原理: 数据库中加上version字段,更新数据时再次读取version,看是否等于操作前读取的version

3.2 CAS算法

原理: 

  • V:要更新的变量值(Var)
  • E:预期值(Expected)
  • N:拟写入的新值(New)

当且仅当 V 的值等于 E 时,CAS 通过原子方式用新值 N 来更新 V 的值。如果不等,说明已经有其它线程更新了 V,则当前线程放弃更新。(来自Java并发常见面试题总结(中) | JavaGuide)

3.3 实现和应用

Java中一般使用 版本号+CAS+atomic包 实现乐观锁(atomic包同样位于java.util.concurrent下,本意为原子操作,因此不会被其他线程打断)

直接上代码:

import java.util.concurrent.atomic.AtomicInteger;

class OptimisticLockExample {
    private AtomicInteger count = new AtomicInteger(0);
    private AtomicInteger version = new AtomicInteger(0);

    public void increment() {
        int currentCount;
        int currentVersion;
        do {
            // 获取当前的计数值和版本号
            currentCount = count.get();
            currentVersion = version.get();

            // count.compareAndSet(currentCount, currentCount + 1) 比较count的当前值是否等于currentCount
            // 如果相等,则将count的值更新为currentCount + 1,并返回true;否则返回false
            // version.compareAndSet(currentVersion, currentVersion + 1) 同理,对version进行操作
        } while (!count.compareAndSet(currentCount, currentCount + 1) || !version.compareAndSet(currentVersion, currentVersion + 1));
        System.out.println("乐观锁更新后计数: " + count.get() + ", 版本号: " + version.get());
    }
}


public class LockIntroductionExample {
    public static void main(String[] args) {

        OptimisticLockExample optimisticExample = new OptimisticLockExample();

        optimisticExample.increment();
    }
}

以AtomicInteger举例,它有以下方法:

get()                                      返回当前值                          

set()                                       设置为某值

getAndSet()                           先返回当前值,再重新赋值

compareAndSet()                  与参数值1作比较,相同则赋值为参数2

getAndIncrement()                先返回当前值,再加1

getAndDecrement()等           先返回当前值,再减1

除了线程安全,没有什么特别的地方,只是普通的加减

那这些原子操作是怎么实现的呢?

源码中显示:

都是通过sun.misc.Unsafe类实现的,Unsafe类的方法都是native,也就是说通过JNI调用的底层C++代码

我们知道C++代码会进一步编译成汇编,然后直接操作于硬件,当然就可以实现原子性

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值