Java 同步机制

Java 提供了两种锁机制来控制多个线程对共享资源的互斥访问,第一个是 JVM 实现的 synchronized,而另一个是 JDK 实现的 ReentrantLock

一、synchronized

  • JVM基于进入和退出Monitor对象来实现方法同步和代码块同步。
  • 代码块同步是使用monitorentermonitorexit指令实现的。
  • 任何对象(数组也是对象)都有一个monitor与之关联,当一个monitor被持有后,对象将处于锁定状态。
  • 线程执行到monitortenter指令时,将会尝试获取对象所对应的monitor的所有权,即尝试获得对象的锁。
1. 同步一个代码块
public void func() {
    synchronized (this) {
        // ...
    }
}

它只作用于同一个对象,如果调用两个对象上的同步代码块,就不会进行同步。

代码示例:

// 死锁示例 :
public class Main {
    private static String a = "a";
    private static String b = "b";

    public static void main(String[] args) throws Exception {
        Thread t1 = new Thread(new Runnable() {
            @Override
            public void run() {
                synchronized (a) {
                    try{
                        Thread.sleep(2000);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                    synchronized (b) {
                        System.out.println(a + b);
                    }
                }
            }
        });

        Thread t2 = new Thread(new Runnable() {
            @Override
            public void run() {
                synchronized (b) {
                    try{
                        Thread.sleep(2000);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                    synchronized (a) {
                        System.out.println(a + b);
                    }
                }
            }
        });
        t1.start();
        t2.start();
    }
}
2. 同步一个方法
public synchronized void func () {
    // ...
}

它和同步代码块一样,作用于同一个对象。即如果此类有多个synchronized函数,则一个对象一个时间只有一个synchronized函数执行。即进入synchronized前需要获得对象锁。

同步方法示例:

public class SynchGenerator implements Runnable {
    private int i = 0;
    public synchronized int next() { // 输出均为偶数
    //public int next() {  //  输出有奇数
        ++i;
        Thread.yield();
        ++i;
        return i;
    }
    @Override
    public void run() {
        System.out.println(next());
    }
    public static void main(String[] args) {
        SynchGenerator s = new SynchGenerator();
        ExecutorService es = Executors.newCachedThreadPool();
        for (int i = 0; i < 100; ++i) {
        // 启动一百个线程执行s这个对象的next()方法
            es.execute(s); 
        }
        es.shutdown();
    }
}

对方法增加synchronized关键词后输出均为偶数,不加则有奇数输出。

3. 同步一个类
public void func() {
    synchronized (SynchronizedExample.class) {
        // ...
    }
}

作用于整个类,也就是说两个线程调用同一个类的不同对象上的这种同步语句,也会进行同步

4. 同步一个静态方法
public synchronized static void fun() {
    // ...
}

作用于整个类

二、ReentrantLock (可重入锁)

ReentrantLockjava.util.concurrentJ.U.C)包中的锁。

ReentrantLock 是通过AQS(AbstractqueuedSynchronizer, 队列同步器)实现的,其中AQS的同步队列是基于双向链表的FIFO实现。

JDK中的Unsafe类,它提供了硬件级别的原子操作,即提供了CAS操作。多个线程同时进来,他们会首先会通过CAS去修改state变量的状态,修改成功的线程获得锁,其他线程入队。

tryLock() 尝试非阻塞的获取锁,调用后立刻返回true(可以获取锁)或者false

ReentrantLock 代码示例:

public class LockExample {

    private Lock lock = new ReentrantLock();

    public void func() {
        lock.lock();  
        // lock()不要在try语句块中,因为如果出现异常到finally中无锁可以释放。
        try {
            for (int i = 0; i < 10; i++) {
                System.out.print(i + " ");
            }
        } finally {
            lock.unlock(); 
            // unlock() 放在finally中,确保释放锁,从而避免发生死锁。
        }
    }

    public static void main(String[] args) {
        LockExample lockExample = new LockExample();
        ExecutorService executorService = Executors.newCachedThreadPool();
        executorService.execute(() -> lockExample.func());
        executorService.execute(() -> lockExample.func());
    }
}

三、synchronized和ReentrantLock比较

  • 锁的实现: synchronized 是 JVM 实现的,而 ReentrantLock 是 JDK 实现的。

  • 性能: 新版本 Java 对 synchronized 进行了很多优化,例如自旋锁等,synchronized 与 ReentrantLock 性能大致相同

  • 超时放弃: 当持有锁的线程长期不释放锁的时候,正在等待的线程可以选择放弃等待,改为处理其他事情。ReentrantLock 可中断等待,而 synchronized 不行

  • 等待可中断:ReenTrantLock提供了一种能够中断等待锁的线程的机制,通过lock.lockInterruptibly()来实现这个机制。而 synchronized 不行。

  • 尝试非阻塞地获取锁:ReenTrantLock 通过 tryLock() 提供这个功能,如果当前锁没有线程获得则获得此锁,否则直接返回,不阻塞等待。

  • 公平锁: 公平锁是指多个线程在等待同一个锁时,必须按照申请锁的时间顺序来依次获得锁。synchronized 中的锁是非公平的,ReentrantLock 默认情况下也是非公平的,但是也可以是公平的。ReentrantLock lock()获得锁的过程可以是公平的,但signal()唤醒的过程是随机的。

  • 锁绑定多个条件: 一个 ReentrantLock 可以同时绑定多个 Condition 对象。 ReenTrantLock提供了一个Condition(条件)类,用来实现分组唤醒需要唤醒的线程们,而不是像synchronized要么随机唤醒一个线程要么唤醒全部线程。

  • 可重入锁:也叫做递归锁,指的是在同一线程内,外层函数获得锁之后,内层递归函数仍然可以获取到该锁。ReentrantLock 和 synchronized 都是可重入锁

  • 使用选择: 除非需要使用 ReentrantLock 的高级功能,否则优先使用 synchronized。这是因为 synchronized 是 JVM 实现的一种锁机制,JVM 原生地支持它,而 ReentrantLock 不是所有的 JDK 版本都支持。并且使用 synchronized 不用担心没有释放锁而导致死锁问题,因为 JVM 会确保锁的释放。

  • 解锁顺序:lock更灵活,可以自由定义多把锁的加锁解锁顺序,synchronized要按照先加的后解顺序。(在执行完synchronized块后自行解锁,所有会按照synchronized的嵌套顺序解锁。)

ReentrantLock多的功能:公平锁、锁绑定条件、等待可中断、超时放弃、尝试非阻塞地获取锁。

本文参考自 github.com/CyC2018/CS-Notes

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值