Java中的锁

作者: xiaolyuh | 来源:发表于2019-07-09 17:44 被阅读1次

    锁是用来控制多个线程访问共享资源的方式,一般来说,一个锁能够防止多个线程同时 访问共享资源(但是有些锁可以允许多个线程并发的访问共享资源,比如读写锁)。

    Lock和synchronized的主要区别:

    • synchronized它是隐式的获取和释放锁,使用起来更方便,但是不灵活。
    • Lock接口获取和释放锁是由我们自己控制,更加灵活
    • Lock接口支持超时获取锁和可中断获取锁

    Lock的使用的方式

    Lock lock = new ReentrantLock(); lock.lock(); try
    { 
        // TODO
    } finally {
        lock.unlock();
    }
    

    如果在没有特殊需求的话建议尽量使用synchronized,不容易出错。

    Lock的API

    Lock的API.jpg

    公平锁和非公平锁。

    如果在绝对时间上,先对锁进行获取的请求一定先被满足(FIFO),那么这个锁是公平锁,反之,是非公平锁。

    公平的锁机制往往没有非公平的效率高,公平性锁保证了锁的获取按照FIFO原则,而代价是进行大量的线程切换。非公平性锁虽然可能造成线程“饥饿”,但极少的线程切换,保证了其更大的吞吐量。

    ReentrantLock支持获取锁时的公平和非公平性选择;synchronized是非公平锁。

    重入锁

    能够支持一个线程对 资源的重复加锁 的锁叫做可重入锁。ReentrantLock和synchronized都是可重入锁。

    实现重进入

    重进入是指任意线程在获取到锁之后能够再次获取该锁而不会被锁所阻塞,该特性的实现需要解决以下两个问题。

    1. 线程再次获取锁。锁需要去识别获取锁的线程是否为当前占据锁的线程,如果是,则再 次成功获取。
    2. 锁的最终释放。线程重复n次获取了锁,随后在第n次释放该锁后,其他线程能够获取到该锁。锁的最终释放要求锁对于获取进行计数自增,计数表示当前锁被重复获取的次数,而锁被释放时,计数自减,当计数等于0时表示锁已经成功释放。

    ReentrantLock

    ReentrantLock是通过组合自定义同步器来实现锁的获取与释放。
    非公平性获取锁:

    final boolean nonfairTryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        if (c == 0) {
            if (compareAndSetState(0, acquires)) {
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        else if (current == getExclusiveOwnerThread()) {
            int nextc = c + acquires;
            if (nextc < 0) // overflow
                throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }
    

    该方法增加了再次获取同步状态的处理逻辑:通过判断当前线程是否为获取锁的线程来 决定获取操作是否成功,如果是获取锁的线程再次请求,则将同步状态值进行增加并返回 true,表示获取同步状态成功。

    非公平性释放锁:

    protected final boolean tryRelease(int releases) {
        int c = getState() - releases;
        if (Thread.currentThread() != getExclusiveOwnerThread())
            throw new IllegalMonitorStateException();
        boolean free = false;
        if (c == 0) {
            free = true;
            setExclusiveOwnerThread(null);
        }
        setState(c);
        return free;
    }
    

    如果该锁被获取了n次,那么前(n-1)次tryRelease(int releases)方法必须返回false,而只有同 步状态完全释放了,才能返回true。可以看到,该方法将同步状态是否为0作为最终释放的条 件,当同步状态为0时,将占有线程设置为null,并返回true,表示释放成功。

    公平性获取锁:

    protected final boolean tryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        if (c == 0) {
            if (!hasQueuedPredecessors() &&
                compareAndSetState(0, acquires)) {
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        else if (current == getExclusiveOwnerThread()) {
            int nextc = c + acquires;
            if (nextc < 0)
                throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }
    
    public final boolean hasQueuedPredecessors() {
        // The correctness of this depends on head being initialized
        // before tail and on head.next being accurate if the current
        // thread is first in queue.
        Node t = tail; // Read fields in reverse initialization order
        Node h = head;
        Node s;
        return h != t &&
            ((s = h.next) == null || s.thread != Thread.currentThread());
    }
    

    该方法与nonfairTryAcquire(int acquires)比较,唯一不同的位置为判断条件多了 hasQueuedPredecessors()方法,即加入了同步队列中当前节点是否有前驱节点的判断,如果该 方法返回true,则表示有线程比当前线程更早地请求获取锁,因此需要等待前驱线程获取并释 放锁之后才能继续获取锁。


    同步队列的基本结构.jpg

    读写锁

    之前提到锁(如ReentrantLock)基本都是排他锁,这些锁在同一时刻只允许一个线程进行访问,而读写锁在同一时刻可以允许多个读线程访问,但是在写线程访问时,所有的读 线程和其他写线程均被阻塞。读写锁维护了一对锁,一个读锁和一个写锁,通过分离读锁和写锁,使得并发性相比一般的排他锁有了很大提升。大多应用于读多写少的情况。

    ReentrantReadWriteLock

    • 公平性选择
    • 重入:获取读锁后能再次获取读锁,获取写锁后能再次获取读锁和写锁
    • 锁降级:遵循先获取写锁然后获取读锁,再释放写锁,写锁就降级成了读锁了

    读写状态的设计

    读写锁将锁状态变量切分成了两个部分,高16位表示读,低16位表示写。


    读写锁状态的划分方式.jpg

    当前同步状态表示一个线程已经获取了写锁,且重进入了两次,同时也连续获取了两次读锁。读写锁是如何迅速确定读和写各自的状态呢?答案是通过位运算。假设当前同步状态 值为S,写状态等于S&0x0000FFFF(将高16位全部抹去),读状态等于S>>>16(无符号补0右移 16位)。当写状态增加1时,等于S+1,当读状态增加1时,等于S+(1<<16),也就是 S+0x00010000。

    相关文章

      网友评论

        本文标题:Java中的锁

        本文链接:https://www.haomeiwen.com/subject/oazqhctx.html